Propositional Logic Semantics
• commitments to the meanings of
propositions
– (“P” without an interpretation is meaningless.)
– propositional symbol interpretations
• commitments to the meanings of
connectives, etc.
– (“Þ” without an interpretation is meaningless.)
– truth tables