Modus Ponens - Formal Notation

Formal Notation

The modus ponens rule may be written in sequent notation:

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

or as the statement of a truth-functional tautology or theorem of propositional logic:

where, and are propositions expressed in some logical system.

Read more about this topic:  Modus Ponens

Famous quotes containing the word formal:

    The manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.
    Franz Grillparzer (1791–1872)