Formal System Based On The Sheffer Stroke
The following is an example of a formal system based entirely on the Sheffer stroke, yet having the functional expressiveness of the propositional logic:
Read more about this topic: Sheffer Stroke
Famous quotes containing the words formal, system, based and/or stroke:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“A heresy can spring only from a system that is in full vigor.”
—Eric Hoffer (1902–1983)
“In tennis, at the end of the day you’re a winner or a loser. You know exactly where you stand.... I don’t need that anymore. I don’t need my happiness, my well-being, to be based on winning and losing.”
—Chris Evert (b. 1954)
“You can stroke people with words.”
—F. Scott Fitzgerald (1896–1940)