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:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)