Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic First Order Logic
Consider the statements below:
“There is a country that borders both India and Nepal.”
Which of the following represents the above sentence correctly?1
∃c Border(Country(c), India ∧ Nepal)
2
∃c Country(c) ∧ Border(c, India) ∧ Border(c, Nepal)
3
[∃c Country(c)] ⇒ [Border(c, India) ∧ Border(c, Nepal)]
4
∃c Country(c) ⇒ [ Border(c, India) ∧ Border(c, Nepal)]