1
GATE CSE 1992
MCQ (Single Correct Answer)
+1
-0.3
Which of the following predicate calculus statements is/are valid?
A
$$\left( {\forall \,x} \right){\rm P}\left( x \right) \vee \left( {\forall \,x} \right)Q\left( x \right) \to \left( {\forall \,x} \right)$$
$$\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\}$$
B
$$\left( {\exists \,x} \right){\rm P}\left( x \right) \wedge \left( {\exists \,x} \right)Q\left( x \right) \to \left( {\exists \,x} \right)$$
$$\left\{ {{\rm P}\left( x \right) \wedge Q\left( x \right)} \right\}$$
C
$$\left( {\forall \,x} \right)\,\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\} \to \left( {\forall \,x} \right)\,\,$$
$${\rm P}\left( x \right) \vee \left( {\forall \,x} \right)\,\,Q\left( x \right)$$
D
$$\left( {\exists \,x} \right)\,\,\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\} \to \sim \left( {\forall \,x} \right)\,\,$$
$$\,{\rm P}\left( x \right) \vee \left( {\exists \,x} \right)Q\left( x \right)$$
GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP
Joint Entrance Examination
JEE MainJEE AdvancedWB JEEBITSATMHT CET
Medical
NEET
Graduate Aptitude Test in Engineering
GATE CSEGATE ECEGATE EEGATE MEGATE CEGATE PIGATE IN