UA-54609520-1

ifpthenq.net Intro to Symbolic Logic

Intro to Symbolic Logic

Unit 1: The Basics of Propositional Logic

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

Videos

1.1 Intro to Symbolizing Conditionals

1.1 Answers for exs. on page 1.1

1.2 Intro to Symbolizing Conjunctions

1.2 Answers for exs. on page 1.2

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

Validity and Soundness

Video

1.4 Intro: Validity and Soundness

Exercises:
1.4 Dog Arguments (Multiple Choice)
1.4 Concepts (True/False)

Intro to Proofs: Using →out

Videos

1.6 Intro: Proofs #9

1.6 Answer for #17

1.6 Answer for #19

Exercise:
1.6 Using Arrow Out (Multiple Choice)

Proofs Using &out and &in

Videos

1.8 Intro: &in/&out

1.8 Answer for #4

1.8 Answer for #10

1.8 Answer for #23

1.8 Answer for #25

Exercise:
1.8 Using All Three Proof Rules (Multiple Choice)

Complex Conditionals (Multiple Arrows)

Video

1.11 Answers for on page 1.11

Exercise:
1.10 Symbolizing Complex Conditionals (Symbolize)

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.