lecture 5 & 6yzhan442/teaching/cse259/lectures/cse259-… · cse 259 logic in computer science...

CSE 259 Logic in Computer Science (Spring 2017) – Yu (“Tony”) Zhang [Slides adapted from CSE 294 Logic in Computer Science – Joohyung Lee]

Lecture 5 & 6

Natural deduction for propositional logic

1


Natural Deduction Rules: Implication Introduction

2


Implication Introduction Examples

3


Implication Introduction Examples

4


Lewis Carroll Puzzle (I) Derive an inescapable conclusion using all of these: a)  All babies are illogical b)  Nobody is despised who can manage a crocodile c)  Illogical persons are despised

•  B: it is a baby •  L: it is logical •  M: it can manage a crocodile •  D: it is despised

a)  𝐵→¬𝐿 b)  𝑀→¬𝐷 c)  ¬𝐿→𝐷

5


Announcement

6

•  1. Homework 2: comments on Blackboard, later will be paper-based, tonight •  2. Recitation: attend your own session unless there is a reason (in which case you

need to inform your TA (Arpit) to avoid points being deducted) •  3. Homework should be prepared in Latex on Overleaf; 50% deduction this time. •  4. Homework 3 will be there by Friday. •  5. First quiz: Monday (Feb 6) •  6. Piazza registration: 37 already registered.


Natural Deduction Rules: Disjunction

7


Natural Deduction Rules: Disjunction

8


Natural Deduction Rules: Disjunction •  Example: (𝑝∨𝑞)∨𝑟⊢𝑝∨(𝑞∨𝑟)

9


Natural Deduction Rules: Disjunction •  Example: (𝑝∨𝑞)∨𝑟⊢𝑝∨(𝑞∨𝑟)

10


Natural Deduction Rules: Negation

11


Natural Deduction Rules: Negation

12


Lewis Carroll Puzzle (I) Derive an inescapable conclusion using all of these: a)  All babies are illogical b)  Nobody is despised who can manage a crocodile c)  Illogical persons are despised

•  B: it is a baby •  L: it is logical •  M: it can manage a crocodile •  D: it is despised

a)  𝐵→¬𝐿 b)  𝑀→¬𝐷 c)  ¬𝐿→𝐷

13

lecture 5 & 6yzhan442/teaching/cse259/lectures/cse259-… · cse 259 logic in computer science...

Documents