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