Wednesday, November 18, 2015

Propositional Logic

We just wanted to emphasize once more, that as said today in the lab course, propositional logic (PL) does not support explicit predicates (relations) and therefore assertions have to be written as atomic formulas (symbols of the underlying alphabet).

[ There can be explicit relations among propositional formulas, but the only way to express relations is with the given logical connectives { ¬,∧,∨,→,↔,(,) } ]

The PL statement for the natural language statement "Anton likes cookies, but not cheesecake." would then be:
a ∧ ¬b
a meaning "Anton likes cookies",
b meaning "Anton likes cheesecake".

No comments:

Post a Comment