Informatik Theorie II WS2007/08 TS1: Propositional Logic 1 Propositional Logic Andreas Karwath Informatik Theorie II WS2007/08 TS1: Propositional Logic 2 Why Logic? Formalizing…
