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:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“An avant-garde man is like an enemy inside a city he is bent on destroying, against which he rebels; for like any system of government, an established form of expression is also a form of oppression. The avant-garde man is the opponent of an existing system.”
—Eugène Ionesco (b. 1912)
“A woman does not have to make decisions based on the need to survive. She can cut through issues, call shots as she sees them.... Many bad decisions are made by men in government because it is good for them personally to make bad public decisions.”
—Dianne Feinstein (b. 1933)
“The stroke of the whip maketh marks in the flesh: but the stroke of the tongue breaketh the bones. Many have fallen by the edge of the sword: but not so many as have fallen by the tongue.”
—Ecclesiasticus Apocrypha. Ecclesiasticus, 28:17-8.