Constructive dilemma
Constructive dilemma is a 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 P or R is true, then Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens. The rule can be stated: where the rule is that whenever instances of " ", " ", and " " appear on lines of a proof, "
primaryTopic
Constructive dilemma
Constructive dilemma is a 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 P or R is true, then Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens. The rule can be stated: where the rule is that whenever instances of " ", " ", and " " appear on lines of a proof, "
has abstract
Constructive dilemma is a name ...... e placed on a subsequent line.
@en
Dilema constructivo es una reg ...... ar " " en una línea posterior.
@es
Dilema construtivo é o nome de ...... r concluído na linha seguinte.
@pt
Un dilemme constructif est une ...... acé sur une ligne subséquente.
@fr
Wikipage page ID
Wikipage revision ID
638,343,034
comment
Constructive dilemma is a name ...... appear on lines of a proof, "
@en
Dilema constructivo es una reg ...... y " " en una línea posterior.
@es
Dilema construtivo é o nome de ...... numa linha de alguma prova, "
@pt
Un dilemme constructif est une ...... is que les instances de « », «
@fr
label
Constructive dilemma
@en
Dilema constructivo
@es
Dilema construtivo
@pt
Dilemme constructif
@fr