Disjunction Introduction - Formal Notation

Formal Notation

The disjunction introduction rule may be written in sequent notation:

where is a metalogical symbol meaning that is a syntactic consequence of 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:  Disjunction Introduction

Famous quotes containing the word formal:

    Then the justice,
    In fair round belly with good capon lined,
    With eyes severe and beard of formal cut,
    Full of wise saws and modern instances;
    And so he plays his part.
    William Shakespeare (1564–1616)