Introduction to Mathematical Logic¶
Mendelson, E. (1964). Introduction to Mathematical Logic.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Quantifier
- In mathematics and logic the universal and existential quantifiers, together with numerical and uniqueness quantifiers, are foundational, and the order of nested quantifiers is the structural difference between pointwise and uniform properties.
This sourceStandard reference for first-order logic: quantifier order (∀∃ versus ∃∀), the negation rules, and the falsification asymmetry between universal and existential statements.
- In mathematics and logic the universal and existential quantifiers, together with numerical and uniqueness quantifiers, are foundational, and the order of nested quantifiers is the structural difference between pointwise and uniform properties.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:9089163f512d · see in the full table