Disjunctive Syllogism - Formal Notation

Formal Notation

The disjunctive syllogism rule may be written in sequent notation:

where is a metalogical symbol meaning that is a syntactic consequence of, and in some logical system;

and expressed as a truth-functional tautology or theorem of propositional logic:

where, and are propositions expressed in some formal system.

Read more about this topic:  Disjunctive Syllogism

Famous quotes containing the word formal:

    On every formal visit a child ought to be of the party, by way of provision for discourse.
    Jane Austen (1775–1817)