Substitution
There is a general procedure, the substitution rule, that allows additional tautologies to be constructed from a given tautology (Kleene 1967 sec. 3). Suppose that S is a tautology and for each propositional variable A in S a fixed sentence SA is chosen. Then the sentence obtained by replacing each variable A in S with the corresponding sentence SA is also a tautology.
For example, let S be, a tautology. Let SA be and let SB be . It follows from the substitution rule that the sentence
is a tautology.
Read more about this topic: Tautology (logic)
Famous quotes containing the word substitution:
“Virtue is the adherence in action to the nature of things, and the nature of things makes it prevalent. It consists in a perpetual substitution of being for seeming, and with sublime propriety God is described as saying, I A—.”
—Ralph Waldo Emerson (1803–1882)
“To play is nothing but the imitative substitution of a pleasurable, superfluous and voluntary action for a serious, necessary, imperative and difficult one. At the cradle of play as well as of artistic activity there stood leisure, tedium entailed by increased spiritual mobility, a horror vacui, the need of letting forms no longer imprisoned move freely, of filling empty time with sequences of notes, empty space with sequences of form.”
—Max J. Friedländer (1867–1958)