Destructive dilemma is the name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either Q is false or S is false, then either P or R must be false. In sum, if two conditionals are true, but one of their consequents is false, then one of their antecedents has to be false. Destructive dilemma is the disjunctive version of modus tollens. The disjunctive version of modus ponens is the constructive dilemma. The rule can be stated:
where the rule is that wherever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line.
Read more about Destructive Dilemma: Formal Notation, Natural Language Example, Proof, Example Proof
Famous quotes containing the words destructive and/or dilemma:
“The mystic purchases a moment of exhilaration with a lifetime of confusion; and the confusion is infectious and destructive. It is confusing and destructive to try and explain anything in terms of anything else, poetry in terms of psychology.”
—Basil Bunting (1900–1985)
“Many women are surprised by the intensity of their maternal pull and the conflict it brings to their competing roles. This is the precise point at which many women feel the stress of the work/family dilemma most keenly. They realize that they may have a price to pay for wanting to be both professionals and mothers. They feel guilty for not being at work, and angry for being manipulated into feeling this guilt. . . . They don’t quite fit at home. They don’t quite fit at work.”
—Deborah J. Swiss (20th century)