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:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“I confidently predict the collapse of capitalism and the beginning of history. Something will go wrong in the machinery that converts money into money, the banking system will collapse totally, and we will be left having to barter to stay alive. Those who can dig in their garden will have a better chance than the rest. I’ll be all right; I’ve got a few veg.”
—Margaret Drabble (b. 1939)
“The common erotic project of destroying women makes it possible for men to unite into a brotherhood; this project is the only firm and trustworthy groundwork for cooperation among males and all male bonding is based on it.”
—Andrea Dworkin (b. 1946)
“A stroke of the pen is better than a stroke of the sword, no?”
—Ernest Pascal, and Walter Lang. Wilhelm (Stanley Andrews)