

MCQOPTIONS
Saved Bookmarks
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. | |