Biconditional Introduction - Formal Notation

Formal Notation

The biconditional introduction rule may be written in sequent notation:

where is a metalogical symbol meaning that is a syntactic consequence when and are both in a proof;

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

where, and are propositions expressed in some formal system.

Read more about this topic:  Biconditional Introduction

Other articles related to "formal, formal notation, notation":

List Of Mathematical Jargon - Descriptive Informalities
... to discuss recurring themes or concepts with unwieldy formal statements ... satisfied by arbitrarily large values, can be expressed in more formal notation by ∀x ∃y ≥ x P(y) ... large values, can be expressed in more formal notation by ∃x ∀y ≥ x P(y) ...
Commutativity Of Conjunction - Formal Notation
... of conjunction can be expressed in sequent notation as and where is a metalogical symbol meaning that is a syntactic consequence of, in the one case, and is a syntactic ...

Famous quotes containing the word formal:

    I will not let him stir
    Till I have used the approvèd means I have,
    With wholesome syrups, drugs, and holy prayers,
    To make of him a formal man again.
    William Shakespeare (1564–1616)