1. Preview of SL Logic Class 3

2. Either it is raining or it is snowing A A: It is raining B: It is snowing B  : Or 

3. Sentence Letters: A, B, C….. A 1, A 2…

4. Meet the Sentential Connectives! ~ Negation! & Conjunction!  The Conditional!  The Biconditional!  Disjunction!

5. The Connectives ~Negation. “Not” “~A” is read “Not A” &Conjunction. “And”. “A&B” is read “A and B”  Disjunction. “Or” “A  B” is read “A or B”  Conditional. “If…then” “A  B” is read “If A, then B”  Biconditional “If and only if” “A  B” is read “A if and only if B”

6. I go to school and I have a job A A: I go to school B: I have a job B &: And &

7. If my car breaks down, then I won’t be able to get to work A A: My car breaks down B: I won’t be able to get to work B →: If…then… →

8. It is not the case that I will be able to get to work I won’t be able to get to work A A: I will be able to get to work ~: It is not the case that ~ I will be able to get to work

9. If my car breaks down, then I won’t be able to get to work A: My car breaks down B: I will be able to get to work →: If…then… ~: Not A → ~B

10. I will get to work if and only if my car works. A A: I will get to work B: My car works B ↔: If and only if ↔

11. A: My car works B: I will go to work “I will go to work, if my car works’ A → B “I will go to work, only if my car works’ B → A “I will go to work if and only if my car works.” A ↔ B

12. If it snows, school will be cancelled and we can build a snow fort.

13. A: It snows B: School will be cancelled C: We can build a snow fort A → (B & C)

14. It’s like arithmetic! Not the same! A → (B & C) (A → B) & C 1 + (2 × 3) = 7 (1 + 2) × 3 = 9

15. All the elements of SL Sentence letters:A, B, C, A 1, B 234, … Sentential connectives: ~, &, , ,  Parentheses:(, )

16. The sentential connectives are truth functional. They are defined by the way the transform the truth of the sentences they connect.

17. Grass is green I am the Pope Either grass is green or I am the Pope. True False True T  F becomes T F T 

18. The Parts of a Conditional A → B If A, then B Consequent Antecedent

19. The Parts of a Conjunction A & B A and B Conjunct. Conjunct

20. The Parts of a Disjunction A v B A orB Disjunct. Disjunct