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:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“We recognize caste in dogs because we rank ourselves by the familiar dog system, a ladderlike social arrangement wherein one individual outranks all others, the next outranks all but the first, and so on down the hierarchy. But the cat system is more like a wheel, with a high-ranking cat at the hub and the others arranged around the rim, all reluctantly acknowledging the superiority of the despot but not necessarily measuring themselves against one another.”
—Elizabeth Marshall Thomas. Strong and Sensitive Cats, Atlantic Monthly (July 1994)
“Collective guilt is borne by what is conventionally called the scapegoat. Now the scapegoat for white societywhich is based on myths of progress, civilization, liberalism, education, enlightenment, refinementwill be precisely the force that opposes the expansion and the triumph of these myths. This brutal opposing force is supplied by the Negro.”
—Frantz Fanon (19251961)
“Now what sort of man or woman or monster would stroke a centipede I have ever seen? And here is my good big centipede! If such a man exists, I say kill him without more ado. He is a traitor to the human race.”
—William Burroughs (b. 1914)