Answer:
b. Form: p ^ q valid, specialization
Step-by-step explanation:
From the question, we understand that:
p = "Sandra knows C++"
q = "Sandra knows Java"
The relationship between p and q in the question is and.
This implies
p and q
p and q can be represented as:
p ^ q
i.e. p ^ q is valid
The above represents the premise.
Premise: p ^ q
From the list of given options, option B answers the question