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)
“It would be enough for me to have the system of a jury of twelve versus the system of one judge as a basis for preferring the U.S. to the Soviet Union.... I would prefer the country you can leave to the country you cannot.”
—Joseph Brodsky (b. 1940)
“That’s my problem, chaplain: I’m yellow. PFC Bernstein—plumb, fat coward. Hey, can you get a Section 8 for being yellow?”
—James Poe, U.S. screenwriter, and Based On Play. Robert Aldrich. Bernstein (Robert Strauss)
“Every new stroke of civilization has cost the lives of countless brave men, who have fallen defeated by the “dragon,” in their efforts to win the apples of the Hesperides, or the fleece of gold. Fallen in their efforts to overcome the old, half sordid savagery of the lower stages of creation, and win the next stage.”
—D.H. (David Herbert)