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 statement
“Not all that glitters is gold”
Predicate glitters(x) is true if x glitters and predicate gold(x) is true if x is gold. Which one of th...
Which one of the following well-formed formulae in predicate calculus is NOT valid?
Consider the first-order logic sentence
F: ∀ x (∃ y R(x,y)).
Assuming non-empty logical domains, which of the sentences below are implied by F?
I. ∃y (...
Total Unique Visitors
Loading......