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 (17171797)
“The genius of any slave system is found in the dynamics which isolate slaves from each other, obscure the reality of a common condition, and make united rebellion against the oppressor inconceivable.”
—Andrea Dworkin (b. 1946)
“The fetish of the great university, of expensive colleges for young women, is too often simply a fetish. It is not based on a genuine desire for learning. Education today need not be sought at any great distance. It is largely compounded of two things, of a certain snobbishness on the part of parents, and of escape from home on the part of youth. And to those who must earn quickly it is often sheer waste of time. Very few colleges prepare their students for any special work.”
—Mary Roberts Rinehart (18761958)
“Fair maid, white and red,
Comb me smooth, and stroke my head;
And every hair a sheave shall be,
And every sheave a golden tree.”
—George Peele (15591596)