UGC-NET | UGC NET CS 2015 Jun – II | Question 9
Match the following:
- (p → q) ⇔ (¬q → ¬p) is Contrapositive
- [(p ∧ q) → r] ⇔ [p → (q → r)] is exportation law.
- (p → q) ⇔ [(p ∧ ¬q) → o] is Reductio ad absurdum
- (p ↔ q)⇔[(p → q)∧(q → p)] is Equivalence.
So, option (A) is correct.
Quiz of this Question
Whether you're preparing for your first job interview or aiming to upskill in this ever-evolving tech landscape, GeeksforGeeks Courses
are your key to success. We provide top-quality content at affordable prices, all geared towards accelerating your growth in a time-bound manner. Join the millions we've already empowered, and we're here to do the same for you. Don't miss out - check it out now!