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":
... 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) ...
... 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 (15641616)