Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic First Order Logic
Consider the following English sentence:
“Agra and Gwalior are both in India”.
A student has written a logical sentence for the above English sentence in First-Order Logic
using predicate In(x, y), which means x is in y, as follows :
In(Agra, India) ∨ In(Gwalior, India)
Which one of the following is correct with respect to the above logical sentence?1
It is syntactically valid but does not express the meaning of the English sentence.
2
It is syntactically valid and expresses the meaning of the English sentence also.
3
It is syntactically invalid but expresses the meaning of the English sentence.
4
It is syntactically invalid and does not express the meaning of the English sentence.