Consider the following argument. Sandra knows Java and Sandra knows C++. ∴ Sandra knows C++. Let p = "Sandra knows Java" and q = "Sandra knows C++." Is the argument valid or invalid? Select the answer that shows the symbolic form of the argument and justifies your conclusion.

a. form: p ∨ q valid, specialization
b. p form: p ∧ q valid, specialization
c. q form: p ∨ q invalid, inverse error
d. ~q form: q ∨ p invalid, converse error
e. ~p form: q ∧ p invalid, converse error

Respuesta :

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