UA-54609520-1

ifpthenq.net Intro to Symbolic Logic

Intro to Symbolic Logic

Unit 3: Completing the System

Symbolizing Biconditionals (↔)

Videos

3.1 Symbolizing Biconditionals

Exercises:
3.1 Logical Synonym Review (Speed)

Proofs Using ↔out and ↔in

Videos

3.2 Answer for #3

3.2 Answer for #13

Exercises:
None at this time

Symbolizing Disjunctions (v)

Videos

3.3 Answers for Exercises on page 3.3

Exercises:
3.3 Symbolizing Disjunctions and Biconditionals (Symbolize)
3.3 Logical Synonym Review (Speed)

Proofs: Using vin and vout

Videos

3.6 Answer for #1

3.6 Answer for #6

3.6 Answer for #11

Exercises:
None at this time

Proofs Using Derived Rules

Videos

Intro: Derived Rules

3.8 Answer for #8

3.8 Answer for #14

3.8 Answer for #17

3.8 Answer for #18

3.14 Answer for #6

Exercises:
3.8 Demorgan's & Arrow Exchange (Multiple Choice)
3.8 Modus Tollens (Multiple Choice)
3.8 Disjunctive Argument (Multiple Choice)
3.8 All Top-Down Rules (Fill in the Blank)

Note: The red cubes are for the benefit of my Saturday "hybrid" classes. They indicate required videos. Their content is not necessarily more important, but they include things which we may not cover in the classroom.