Unit 1: Basics of Propositional Logic

Intro to Symbolization: Conditionals (→) and Conjunctions (&)

• Exercises:
• 1.1a Symbolizing Conditionals (Symbolize)
• 1.1b Main Connectives (Multiple Choice)
• 1.2 Symbolizing Conjunctions (Symbolize)
• 1.2 Logical Synonym Review (Speed)

Validity and Soundness

• Exercises:
• 1.4a Arguments (Multiple Choice)
• 1.4b Concepts (True/False)

Intro to Proofs: Using →out

• Exercise:
• 1.6 Using Arrow Out (Multiple Choice)

Intro to Proofs Continued: Using &out and &in

• Exercise:
• 1.8 Using All Proof Rules So Far (Multiple Choice)

Complex Conditionals (Multiple Arrows)

• Exercise:
• 1.10 Symbolizing Complex Condtionals (Symbolize)