UA-54609520-1

ifpthenq.net Intro to Symbolic Logic

Intro to Symbolic Logic

Unit 2: Building on the Basics

Only If, and Necessary and Sufficient Conditions

Videos

2.1 Symbolizing Only if, and Nec. & Suff.

2.1 Answers for Exercises on page 2.1

Exercises:
2.1 Symbolizing Only if and Necessary and Sufficient Conditions (Symbolize)
2.1b Logical Synonym Review (Speed)

Proofs Using →in

Videos

2.3 Answer for #3

2.3 Answer for #21

2.3 Answer for #32

2.3 Answer for #33

Exercises:
None at this time

Symbolizing Negations (~)

Videos

2.6 Answers

2.9 Review Answers

Exercises:
2.6 Symbolizing Negations (Symbolize)
2.6b Main Connectives Again (Multiple Choice)
2.7 Complex Negations (Multiple Choice)

Proofs Using ~out and ~in

Videos

2.10 Answer for #10

2.10 Answer for #24

2.10 Answer for #19

2.10 Answer for #20

2.10 Answer for #22

Exercises:
None at this time

Proofs Using Advanced Strategies

Videos

2.12 Answer for #3
Prove an Antecedent

2.12 Answer for #7
Prove an Antecedent

2.12 Answer for #11
Prove an Antecedent

Exercises:
None at this time

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.