GATE | CS | 2004 | Discrete maths | Logic | Question 70

Last Updated :
Discuss
Comments

The following propositional statement is 
(P → (Q v R)) → ((P ^ Q) → R)

satisfiable but not valid
 

valid
 

a contradiction
 

none of the above
 

This question is part of this quiz :

Propositional and First Order Logic.,GATE-CS-2004,Propositional Logic PYQ Quiz GATE CS,Discrete mathematics PYQ GATE QUIZ
Tags:
Engineering Mathematics Questions
GATE
Discrete Mathematics
GATE CS
Share your thoughts in the comments