GATE CSE · Engineering Mathematics
Generate GATE-level questions covering set theory, relations, functions, propositional logic, predicate logic, mathematical induction, counting principles (permutations, combinations, pigeonhole principle), recurrence relations, and generating functions.
Concept summary for GATE CSE 2027 · 2 practice questions available
Mathematics of discrete (countable) structures - logic, sets, relations, functions, combinatorics, and proof techniques.
Connectives
Implication p→q: False ONLY when p=T and q=F
Equivalent forms: ¬p∨q = ¬q→¬p (contrapositive)
Tautology: Always true. Contradiction: Always false. Contingency: Sometimes true.
Properties of relation R on set A:
| Property | Condition |
|---|---|
| Reflexive | (a,a) ∈ R for all a |
| Irreflexive | (a,a) ∉ R for all a |
| Symmetric | (a,b) ∈ R → (b,a) ∈ R |
| Antisymmetric | (a,b) ∈ R and (b,a) ∈ R → a=b |
| Transitive | (a,b) and (b,c) ∈ R → (a,c) ∈ R |
Equivalence relation: Reflexive + Symmetric + Transitive
Partial order (POSET): Reflexive + Antisymmetric + Transitive
Total order: POSET where every pair is comparable
Contrapositive equivalence is heavily tested. Implication p→q is only false when p=T,q=F - memorize this. For counting problems, identify whether order matters (permutation) or not (combination) first. Equivalence classes partition the set - size of largest equivalence class is often asked.