An interpretation of a truth-functional propositional calculus is an assignment to each propositional symbol of of one or the other (but not both) of the truth values truth (T) and falsity (F), and an assignment to the connective symbols of of their usual truth-functional meanings. An interpretation of a truth-functional propositional calculus may also be expressed in terms of truth tables.
For distinct propositional symbols there are distinct possible interpretations. For any particular symbol, for example, there are possible interpretations:
- is assigned T, or
- is assigned F.
For the pair, there are possible interpretations:
- both are assigned T,
- both are assigned F,
- is assigned T and is assigned F, or
- is assigned F and is assigned T.
Since has, that is, denumerably many propositional symbols, there are, and therefore uncountably many distinct possible interpretations of .
Read more about this topic: Propositional Calculus
Famous quotes containing the words interpretation of and/or calculus:
“I suppose I have a really loose interpretation of work, because I think that just being alive is so much work at something you dont always want to do.... The machinery is always going. Even when you sleep.”
—Andy Warhol (19281987)
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)