Agenda 2/17/26
- Review Ch6 - The language of predicate logic (QL), pp.235-279
- Why QL? Don't we have PL?
- QL Symbols
- QL Syntax
- QL Semantics
- QL Model: Domain and valuation function
- QL Valuation
- Two simplifications: (1) scope limited to closed wffs, (2) name for every item in the domain
- QL Translation
- Simple translation
- Translation with single quantifiers
- Translation with overlapping quantifiers
- Quantificational ambiguities
Next Time
- Three options: (1) read chs. 7 and 8, (2) read ch. 7, (3) read ch. 8.
- Creating your own "logic-like" class