Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic Propositional Logic
Consider the sentence below.
There is a country that borders both India and Pakistan.
Which of the following logical expressions express the above sentence correctly when the predicate Country(x) represents that x is a country and Borders(x, y) represents that the countries x and y share the border?
1
∃c Country(c) ∧ Border (c, India) ∧ Border (c, Pakistan)
2
∃c Country(c) ⇒ [Border (c, India) ∧ Border (c, Pakistan)]
3
[∃c Country(c)] ⇒ [Border (c, India) ∧ Border (c, Pakistan)]
4
∃c Border (Country(c), India ∧ Pakistan)