1.

Consider the first-order logic sentence

A. There exists at least one model of πœ‘ with universe of size less than or equal to 3.
B. There exists no model of πœ‘ with universe of size less than or equal to 3.
C. There exists no model of πœ‘ with universe of size greater than 7
D. Every model of πœ‘ has a universe of size equal to 7
AnswerΒ» B. There exists no model of πœ‘ with universe of size less than or equal to 3.


Discussion

No Comment Found