|
Reading
Read what we will cover in the next class: 3.2, 3.3, 3.4.
When reading 3.2 pay special attention to the following concepts:
- scope of quantifier, free vs. bound variable, term t free for x in A.
When reading 3.3 pay special attention to the following concepts:
When reading 3.4 pay special attention to the following concepts:
- valuation, i-equivalent valuations, satisfaction, Proposition 3.23, true vs false wf,
Propositions 3.26 - 3.29, tautology & Proposition 3.31, closed wf, closed wfs and interpretations.
|
|