Ifpthenq.net

Unit 1: Basics of Propositional Logic

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

1.1 Intro to Symbolizing Conditionals

1.1 Answers

1.2 Intro to Symbolizing Conjunctions

1.2 Answers

Exercises

Validity and Soundness

1.4 Intro to Validity and Soundness

Exercises

Intro to Proofs: Using →out

1.6 Intro to →out #9

1.6 Answer for #17

1.6 Answer for #19

No Link

    Exercises

    Intro to Proofs Continued: Using &out and &in

    1.8 Intro to &in and &out

    1.8 Answer for #4

    1.8 Answer for #10

    1.8 Answer for #23

    1.8 Answer for #25

    No Link

    Exercises

    Complex Conditionals (Multiple Arrows)

    1.10 Symbolizing Complex Conditionals

    Exercises

    © 2015-2026 curtis haaga Contact Me