Sheffer Stroke - Formal System Based On The Sheffer Stroke

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:

    True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....
    Marcel Proust (1871–1922)

    Columbus stood in his age as the pioneer of progress and enlightenment. The system of universal education is in our age the most prominent and salutary feature of the spirit of enlightenment, and it is peculiarly appropriate that the schools be made by the people the center of the day’s demonstration. Let the national flag float over every schoolhouse in the country and the exercises be such as shall impress upon our youth the patriotic duties of American citizenship.
    Benjamin Harrison (1833–1901)

    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.