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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)