Consider the sentence below. "There is a country that borders both India and Nepal." Which of the following represents the above sentence correctly?

1. A∃c Country(c) ∧ Border(c, India) ∧ Border(c, Nepal)
2. B∃c Country(c) ⇒ [Border(c, India) ∧ Border(c, Nepal)]
3. C[∃c Country(c)] ⇒ [Border(c, India) ∧ Border(c, Nepal)]
4. D∃c Border(Country(c), India ∧ Nepal)

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: A. ∃c Country(c) ∧ Border(c, India) ∧ Border(c, Nepal)

Explanation

An existential is paired with ∧; using ⇒ under ∃ is satisfied trivially by anything that isn't a country.