Computer Sciences > Gate 2017 Set-1 > Pridicate Calculus
The statement (¬ p) → (¬ q) is logically equivalent to which of the statements below?
I. p → q
II. q → p
III. (¬ q) ∨ p
IV. (¬ p) ∨ q
I. p → q
II. q → p
III. (¬ q) ∨ p
IV. (¬ p) ∨ q
Correct : d
Similar Questions
Consider the following expressions: (i) false (ii) Q (iii) true (iv) P ∨ Q (v) ¬Q ∨ P The number of expressions given above that are logically implied by...
Consider the following expressions: (i) false (ii) Q (iii) true (iv) P ∨ Q (v) ¬Q ∨ P The number of expressions given above that are logically implied by...
Consider the following expressions: (i) false (ii) Q (iii) true (iv) P ∨ Q (v) ¬Q ∨ P The number of expressions given above that are logically implied by...
Total Unique Visitors
Loading......