GATE Engineering Mathematics: Discrete Mathematics: Propositional and First Order Logic – Previous Year Questions
14 GATE previous year questions on Discrete Mathematics: Propositional and First Order Logic (Engineering Mathematics, Computer Science) with answers and explanations, from every paper.
- GATE 2017 CS Q11 – 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
- GATE 2017 CS Q12 – 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( x…
- GATE 2017 CS Q39 – Let p, q, and r be propositions and the expression (p q) r be a contradiction. Then, the expression (r p) q is
- GATE 2016 CS Q11 – Let p, q, r, s represent the following propositions. p: x \8, 9, 10, 11, 12\ q: x is a composite number r: x is a perfect square s: x is a prime…
- GATE 2015 CS Q19 – Which one of the following is NOT equivalent to p q?
- GATE 2018 CS Q38 – Consider the first-order logic sentence s\, t\, u\, v\, w\, x\, y\ (s,t,u,v,w,x,y) where (s,t,u,v,w,x,y) is a quantifier-free first-order logic…
- GATE 2019 CS Q45 – Consider the first order predicate formula : x[( z\ z x((z=x)(z=1))) w\,(w>x)( z\ z w((w=z)(z=1)))] Here 'a b' denotes that 'a divides b', where a and…
- GATE 2026 CS (CS2) Q11 – For two different persons x and y, the predicate M(x,y) denotes that x knows y. Consider the following statement: There is a person who does not know…
- GATE 2025 CS (CS2) Q15 – Let P(x) be an arbitrary predicate over the domain of natural numbers. Which ONE of the following statements is TRUE?
- GATE 2025 CS (CS1) Q48 – Which of the following predicate logic formulae/formula is/are CORRECT representation(s) of the statement: "Everyone has exactly one mother"? The…
- GATE 2024 CS (CS2) Q12 – Let p and q be the following propositions: p: Fail grade can be given. q: Student scores more than 50% marks. Consider the statement: "Fail grade…
- GATE 2023 CS Q26 – Geetha has a conjecture about integers, which is of the form x\,[P(x) y\, Q(x,y)], where P is a statement about integers, and Q is a statement about…
- GATE 2021 CS Q17 – Let p and q be two propositions. Consider the following two formulae in propositional logic. S 1: ( p (p q)) q S 2: q ( p (p q)) Which one of the…
- GATE 2020 CS Q49 – Which one of the following predicate formulae is NOT logically valid? Note that W is a predicate formula without any free occurrence of x.