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)
“New York is more now than the sum of its people and buildings. It makes sense only as a mechanical intelligence, a transporter system for the daily absorbing and nightly redeploying of the human multitudes whose services it requires.”
—Peter Conrad (b. 1948)
“A marriage based on full confidence, based on complete and unqualified frankness on both sides; they are not keeping anything back; there’s no deception underneath it all. If I might so put it, it’s an agreement for the mutual forgiveness of sin.”
—Henrik Ibsen (1828–1906)
“If thou and nature can so gently part,
The stroke of death is as a lover’s pinch,
Which hurts, and is desired.”
—William Shakespeare (1564–1616)