L01-Propositional-Logic.pdf - Part I Logic L01 Propositional Logic L02 Predicate Logic L03 Inference Rules and Proof Techniques 1 What is Logic Puzzles

L01-Propositional-Logic.pdf - Part I Logic L01...

This preview shows page 1 - 9 out of 34 pages.

Part I Logic L01 Propositional Logic L02 Predicate Logic L03 Inference Rules and Proof Techniques 1
Image of page 1
What is Logic? Puzzles Prerequisite of law schools (LSAT) Riders A, B, C, D, E, F, and G take busses 1, 2, 3 to work. Neither E nor G takes bus 1 on a day when B does. G does not take bus 2 on a day when D does. When A and F take the same bus, it is always bus 3. C always takes bus 3. Who takes which bus? Rules of mathematical reasoning Automated reasoning and artificial intelligence Four color theorem Still in progress 2
Image of page 2
Page 3 L01: Propositional Logic Outline Propositions Compound Propositions Propositional Equivalences Reading Kenneth Rosen, section 1.1-1.3
Image of page 3