Unit 3 – Ifpthenq.net

Skip to content

Home
Unit 1
Unit 2
Unit 3
Unit 4
Unit 5
Packet

Unit 3: Completing the System

Symbolizing Biconditionals (↔)

3.1 Symbolizing Biconditionals

Exercises

3.1 Logical Synonym Review (Speed)

Proofs: Using ↔ out and ↔in

3.2 Answer for #3

3.2 Answer for #13

Exercises

None at this time

Symbolizing Disjunctions (v)

3.3 Answers for page 3.3

Exercises

3.3a Symbolizing Disjunctions and Biconditionals (Symbolize)
3.3b Logical Synonym Review (Speed)

Proofs Using vin and vout

3.6 Answer for #1

3.6 Answer for #6

3.6 Answer for #11

Exercises

None at this time

Proofs Using Derived Rules (Short Cut Rules)

Intro to 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.8a DeMorgan’s & Arrow Exchange (Multiple Choice)
3.8b Modus Tollens (Multiple Choice)
3.8c Disjunctive Argument (Multiple Choice)
3.8d All Top-Down Rules (Fill in the Blank)

© 2015-2026 curtis haaga Contact Me