Lecture 1 › Syntax and semantics of prop1 [0068] February 11, 2026 Definition 1. Syntax of prop1 [0066] February 11, 2026 Content Definition 2. Semantics of prop1 [0067] February 11, 2026 Content Example 3. prop1 example [006c] February 11, 2026 Example content... 4. Soundness and completeness [006e] February 11, 2026 Content