3 Mar 2004
CS 3243 - Chapter 8
3
Pros and
cons of propositional logic
J Propositional logic is declarative
J
Propositional logic allows partial/disjunctive/negated information
¡(unlike most data
structures and databases)
J
Propositional logic is compositional:
¡meaning of B1,1 Ù P1,2 is derived from meaning of B1,1 and of P1,2
J Meaning in propositional logic is context-independent
¡(unlike natural
language, where meaning depends on context)
L Propositional logic has very limited expressive
power
¡(unlike natural
language)
¡E.g., cannot say
"pits cause breezes in adjacent squares“
n except by writing
one sentence for each square