Formal Notation
The disjunctive syllogism rule may be written in sequent notation:
where is a metalogical symbol meaning that is a syntactic consequence of, and in some logical system;
and expressed as a truth-functional tautology or theorem of propositional logic:
where, and are propositions expressed in some formal system.
Read more about this topic: Disjunctive Syllogism
Famous quotes containing the word formal:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)