Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic First Order Logic
A knowledge base contains just one sentence, ∃x AsHighAs (x, Everest). Consider the
following two sentences obtained after applying existential instantiation.
(a) AsHighAs (Everest, Everest)
(b) AsHighAs (Kilimanjaro, Everest)
Which of the following is correct with respect to the above sentences?
1
Both sentence (a) and sentence (b) are sound conclusions.
2
Both sentence (a) and sentence (b) are unsound conclusions.
3
Sentence (a) is sound but sentence (b) is unsound.
4
Sentence (a) is unsound but sentence (b) is sound.