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:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)