Propositional logic is declarative
Propositional logic allows partial/disjunctive/negated information
- (unlike most data structure and database)
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
- (unlike natural language)
- E.g., cannot say "pits cause breezes in adjacent squares"
* except by writing one sentence for each squar
Propositional logic allows partial/disjunctive/negated information
- (unlike most data structure and database)
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
- (unlike natural language)
- E.g., cannot say "pits cause breezes in adjacent squares"
* except by writing one sentence for each squar
No comments:
Post a Comment