Formal Notation
The biconditional elimination rule may be written in sequent notation:
and
where is a metalogical symbol meaning that, in the first case, and in the other are syntactic consequences of 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 formal system.
Read more about this topic: Biconditional Elimination
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)