Quantifiers and explicit domains
Universal and existential quantifiers must bind a domain. Under classical truth semantics, a universal statement over the empty domain is true and an existential statement is false.
atlas-quantifier · canonical_mko
Quantifiers and explicit domains
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data