1.

Let p and q be two propositions. Consider the following two formulae in propositional logic.S1 : (¬p ∧ (p ∨ q)) → qS2 : q → (¬p ∧ (p ∨ q))Which one of the following choices is correct?

A. Neither S1 nor S2 is a tautology.
B. S1 is not a tautology but S2 is a tautology.
C. Both S1 and S2 are tautologies.
D. S1 is a tautology but S2 is not a tautology.
Answer» E.


Discussion

No Comment Found