1
GATE CSE 1992
Subjective
+5
-0
Uses Modus ponens $$\left( {A,\,\,A \to B\,|\,\, = B} \right)$$ or resolution to show that the following set is inconsistent:

(1) $$Q\left( x \right) \to P\left( x \right)V \sim R\left( a \right)$$
(2) $$R\left( a \right) \vee \sim Q\left( a \right)$$
(3) $$Q\left( a \right)$$
(4) $$ \sim P\left( y \right)$$
where $$x$$ and $$y$$ are universally quantifies variables, $$a$$ is a constant and $$P, Q, R$$ are monadic predicates.

GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP
Joint Entrance Examination
JEE MainJEE AdvancedWB JEEBITSAT
Medical
NEET
Graduate Aptitude Test in Engineering
GATE CSEGATE ECEGATE EEGATE MEGATE CEGATE PIGATE IN