Interpretation/Examples/Propositional Calculus
Jump to navigation
Jump to search
Example of an Interpretation
The propositional calculus $\CC$ has a domain $\set {\T, \F}$ representing true and false.
The semantic rules of $\CC$ assign to each WFF of $\CC$ one or other of $\T$ and $\F$.
The connectives of $\CC$ are assumed in this context to have a fixed meaning.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): interpretation
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): interpretation