|
|
|
|
|
|
|
|
|
|
|
• |
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
|
|