Propositional Calculus - Alternative Calculus

Alternative Calculus

It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule.

Read more about this topic:  Propositional Calculus

Famous quotes containing the words alternative and/or calculus:

    “It is a secret from nobody that the famous random event is most likely to arise from those parts of the world where the old adage “There is no alternative to victory” retains a high degree of plausibility.”
    —Hannah Arendt (1906–1975)

    “I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
    —Judith Johnson Sherwin (b. 1936)