Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic Propositional Equivalence
Let p and q be two propositions. Consider the following two formulae in propositional logic.
S1 : (¬p ∧ (p ∨ q)) → q
S2 : q → (¬p ∧ (p ∨ q))
Which one of the following choices is correct?
1
Neither S1 nor S2 is a tautology.
2
S1 is not a tautology but S2 is a tautology.
3
Both S1 and S2 are tautologies.
4
S1 is a tautology but S2 is not a tautology.