1. 1 Propositional Logic 2

2. Double Negation 2 not-(not-A)=Anot-(not-A)=A A= Ibrahim makes good coffee not-A= Ibrahim does not make good coffee not-(not-A)=Ibrahim makes good coffee

3. Negation of Conjunction 3 not-(A and B) = not-A or not-B Ibrahim got A in physics AND a B in Math Either Ibrahim didn’t get A in physics or he didn’t get B in Math not [(Ibrahim got A in physics) AND (a B in Math)] not [(Ibrahim got A in physics) AND (a B in Math)] =(Ibrahim didn’t get A in physics) OR (he didn’t get B in Math) =[not (Ibrahim get A in physics)] OR [not-(he get B in Math)] =not-A or not-B

4. Negation of disjunction 4 not-(A or B)=not-A and not-B Ibrahim will either go to medicine school or become a doctor not andnot Ibrahim will not go to medicine school and he will not become a doctor neither nor Ibrahim will neither go to medicine school nor he will become a doctor

5. Negation not-(A and B)= (not-A) or (not-B) not-(A or B)= (not-A) and (not-B) “DeMorgan’s Rules” 5

6. Negation of Conditional 6 not-(if A then B) If I pay for dinner then you will pay for drinks I pay for dinner but you don’t pay for drinks (I pay for dinner) AND (you don’t pay for drinks) Not-(if A then B) = A and not B = A and not B = A and not B  if A then not B  if A then not B

7. Negation of Conditional 7 AB TTT TFF FTT FTF A?B TFT TTF FFT FFF A Not-B TFF TTT FTF FTT The conditional contradictory of conditional if A then not B

8. Disjunctions A or B 8 AB TTT TFF FTT FTF A?B TFT TTF FFT FFF A andNot-B TFF TTT FFF FFT The conditional contradictory of conditional =

9. Negation not-(not-A) = A not-(A and B) = (not-A) or (not-B) not-(A or B) = (not-A) and (not-B) not-(if A then B) = (A) and (not-B) 9 Contradictories of compound claims

10. Complex Statements ((P & Q) ¬ R) Ex.: ¬((A B) ¬(B A)) 10 PQRP&Q¬ R((P & Q) ¬ R) TTTTFF TTFTTT TFTFFT TFFFTT FTTFFT FTFFTT FFTFFT FFFFTT

11. Necessary and sufficient A B If I become rich then I will be happy sufficient “I become rich” is sufficient to guarantee that “I’ll be happy” “If A then B” = “A is sufficient for B” 11

12. Necessary and sufficient A B If I become rich then I will be happy necessary “I’ll be happy” is necessary for “I become rich” “If A then B” = “B is necessary for A” relationships of necessity and relationships of sufficiency are converses of one another 12

13. Necessary and sufficient A is sufficient for B = If A then B A is sufficient for B = If A then B if A is true then B is guaranteed A is necessary for B = If B then A If not-A then not-B “Oxygen is necessary for combustion.” “If there’s combustion then there’s oxygen.” 13

14. Necessary and sufficient “Oxygen is necessary for combustion” “If there’s combustion then there’s oxygen.” “If there’s no oxygen then there’s no combustion”. “If I have a driver’s license then I passed a driver’s test.” “Having a driver’s license is necessary for passing a driver’s test.” =“Passing a driver’s test is necessary for having a driver’s license.” =“Having a driver’s license is sufficient for passing a driver’s test.” 14

15. Necessary and sufficient A is necessary for B A if B If B then A A is sufficient for B A only if B If A then B BICONDITIONAL 15 A is necessary and sufficient for B If (B then A) And (If A then B) A if and only if B

16. All A are B “All humans are mortal.” “All whales are mammals.” “All lawyers are decent people.” 16 “Humans are mortal” “whales are mammals” “lawyers are decent people.” All A are B = A are B

17. Contradictory ALL A are B” The contradictory of a universal generalization is pretty straightforward “ALL A are B” “ALL humans are mortal” كل البشر زائلون Contradictory: “SOME humans are NOT mortal”. or, “Some humans are immortal.” 17

18. Examples of Examples of Contradictory Here’s the general form: not-(All A are B) = Some A are not-B Ex.: “All dogs bark.” Contradictory : “Some dogs don’t bark”. “Canadians are funny.” Contradictory: “Some Canadians are not funny.” 18

19. Some A are B “Some dogs have long hair.” “Some people weigh over 200 pounds.” “Some animals make good pets.” 19 “some” means “at least one” “At least one dog has long hair”, or “There is a dog that has long hair”, or “There exists a long-haired dog”.

20. Contradictory “Some A are B” The contradictory of : “Some A are B” “Some Dogs have long hair” is: “No dogs have long hair”. Ex: 20 not-(Some A are B) = No A are B

21. ONLY A are B 21 “Only dogs make good pets.” “Only Great White sharks are dangerous.” “Only postal employees deliver U.S. mail.” “All good pets are dogs”. “All dangerous sharks are Great Whites”. “All people who deliver U.S. mail are postal employees”. Only A are B” = “All B are A” “Only A are B” = “All B are A” “A only if B” = “B if A”

22. Contradictory “Only A are B ” The contradictory of : “Only A are B ” “only dogs make good pets” is: “Some good pets are not dogs”. Ex: Ex: “Only movie stars are rich” “Only Starbucks makes good coffee”. 22 not-(Only A are B) = Some B are not A

23. 23 A valid sentence or tautology is a sentence that is True under all interpretations, no matter what the world is actually like or how the semantics are defined.  p  p is valid. A sentence is Satisfiable if and only if it is satisfied by at least one interpretation.  We have already seen several examples of satisfiable sentences. An Unsatisfiable sentence or contradiction is a sentence that is False under all interpretations. The world is never like what it describes  p  p is Unsatisfiable. Validity, Satisfiability, Unsatisfiability

24. 24 In one sense, valid sentences and unsatisfiable sentences are useless. Valid sentences do not rule out any possible interpretations; Unsatisfiable sentences rule out all interpretations; thus they say nothing about the world. On the other hand, they are very useful in that, they serve as the basis for legal transformations that we can perform on other logical sentences. Note that we can easily check the validity, satisfiability, or unsatisfiability of a sentence by looking at the truth table for the propositional constants in the sentence.

25. Ex. A truth table… p qr p  qp  rp  r  q(p  q)  (p  r)  (p  r  q) p  r  q(p  q)  (p  r)  (p  r  q) T TTTTTTTT T T F TFTTFT T F T FTTTFT TF F FFFTFT FT T TTTTTT FT F TTTTTT FF T TTTTTT FF F TTTTTT Valid

26. HomeWork 26 Say whether each of the following sentences is valid, satisfiable, or unsatisfiable a.(p ⇒ q) ∨ (q ⇒ p) b.p ∧ (p ⇒ ¬q) ∧ q c.(p ⇒ (q ∧ r)) ⇔ (p ⇒ q) ∧ (p ⇒ r) d.(p ⇒ (q ⇒ r)) ⇒ ((p ∧ q) ⇒ r) e.(p ⇒ q) ∧ (p ⇒ ¬q) f.(¬p ∨ ¬q) ⇒ ¬(p ∧ q) g.((¬p ⇒ q) ⇒ (¬q ⇒ p)) ∧ (p ∨ q) h.(¬p ∨ q) ⇒ (q ∧ (p ⇔ q)) i.((¬r ⇒ ¬p ∧ ¬q) ∨ s) ⇔ (p ∨ q ⇒ r ∨ s) j.(p ∧ (q ⇒ r)) ⇔ ((¬p ∨ q) ⇒ (p ∧ r))

27. 27 Thank You!