MCQOPTIONS
Saved Bookmarks
| 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. | |