Pros and cons of propositional logic Propositional logic is declarative Propositional logic allows partial/disjunctive/negated information -(unlike most data structures and databases) Propositional logic is compositional: © -meaning of B1.1A P12 is derived from meaning of B1.1 and of P1.2 Meaning in propositional logic is context-independent -(unlike natural language,where meaning depends on context) Propositional logic has very limited expressive powerPros and cons of propositional logic ☺ Propositional logic is declarative ☺ Propositional logic allows partial/disjunctive/negated information – (unlike most data structures and databases) – ☺ Propositional logic is compositional: ☺ – meaning of B1,1  P1,2 is derived from meaning of B1,1 and of P1,2 – ☺ Meaning in propositional logic is context-independent – (unlike natural language, where meaning depends on context) –  Propositional logic has very limited expressive power