Explore relationships

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.

Use + to expand a branch. Click a topic name to open its summary.