Skip to content

Latest commit

 

History

History
7 lines (5 loc) · 307 Bytes

File metadata and controls

7 lines (5 loc) · 307 Bytes

Consider a version of the semantics for first-order logic in which models with empty domains are allowed. Give at least two examples of sentences that are valid according to the standard semantics but not according to the new semantics. Discuss which outcome makes more intuitive sense for your examples.