"...a theorem of propositional logic if and only if f(p1, p2 ,..., pn) is a tautology. … He (Emil L.Post) uses the word to discuss the adequacy of a system of functions to express all the possible truth tables (this is nowadays called truth-functional completeness). In this way he shows not only that through the connectives of Principia (∼ and ∨) one can generate all possible truth tables but also that there are only two connectives which can, singly generate all the truth tables."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Emil L.Post, in The Adventure of Reason: Interplay Between Philosophy of Mathematics and ..., p. 104.
https://en.wikiquote.org/wiki/Completeness
Revision History
No revisions have been submitted for this quote.
Categories
Completeness
28 quotes on TrueQuotesView all quotes by Completeness →
Related Quotes
"A home with a loving and loyal husband and wife is the supreme setting in which children can be reared in love and ri…"
"Sweet and gentle and sensitive man With an obsessive nature and deep fascination For numbers And a complete infatuati…"
"Poetry being the sign of that which all men desire, even though the desire be unconscious, intensity of life or compl…"
"I will grow. I will become something new and grand, but no grander than I now am. Just as the sky will be different i…"
"Always aim at complete harmony of thought and word and deed. Always aim at purifying your thoughts and everything wil…"
"Be a life long or short, its completeness depends on what it was lived for."
"It is the consistency of the information that matters for a good story, not its completeness. Indeed, you will often …"
"Every phase of our life belongs to us. The moon does not, except in appearance, lose her first thin, luminous curve, …"
"It is a union with a Higher Good by love, that alone is endless perfection. The only sufficient object for man must b…"
"Death not merely ends life, it also bestows upon it a silent completeness, snatched from the hazardous flux to which …"