© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
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
