Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic Propositional Logic
Given below are two statements:
Statement I: "Grandparent is a parent of one's parent".
Statement II: First Order Predicate Logic (FOPL) representation of above statement is
∀ g, c grandparent (g, c) ⇔ ∃ p parent (g, p) ∧ parent (p, c)
In the light of the above statements, choose the most appropriate answer from the options given below:
1
Both Statement I and Statement II are correct
2
Both Statement I and Statement II are incorrect
3
Statement I is correct but Statement II is incorrect
4
Statement I is incorrect but Statement II is correct