Destructive dilemma
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, "
Wikipage redirect
primaryTopic
Destructive dilemma
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, "
has abstract
Destructive dilemma is the nam ...... e placed on a subsequent line.
@en
Dilema destructivo es una regl ...... ar " " en una línea posterior.
@es
Dilema destrutivo, é o nome de ...... cado em uma linha subsequente.
@pt
Un dilemme destructif est une ...... acé sur une ligne subséquente.
@fr
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
650,823,891
comment
Destructive dilemma is the nam ...... appear on lines of a proof, "
@en
Dilema destructivo es una regl ...... formalmente como: ", " ", y "
@es
Dilema destrutivo, é o nome de ...... cado em uma linha subsequente.
@pt
Un dilemme destructif est une ...... es instances de « », « », et «
@fr
label
Destructive dilemma
@en
Dilema destructivo
@es
Dilema destrutivo
@pt
Dilemme destructif
@fr