Exercises for 7.4
Syntax and Semantics

 

       Syntax Exercises (numbers come from other text)
6.3ex I Drag...
6.3ex II PL Formula Check
6.3ex III PL Sentence Check
6.3ex IV PL Substitution Instance Check
6.3ex V Multiple Choice

       Semantics Exercises (numbers come from other text)
7.1ex I Semantics for quantified sentences.
7.1ex II Multiple Choice
7.1ex III Concepts
7.1ex IV Informal Proofs for Semantics
7.1ex V Informal Proofs for Validity and Invalidity