A rule of inference in propositional Logic. Written as CD for short. Constructive dilemma is used to break up a dilemma. It goes like this:

(P→Q) ∧ (R→S)
P∨R
Therefore, Q∨S.

"If it rains, you'll get wet" (P→Q); and "If it's cold, you'll shiver" (R→S).
"Either it's raining" (P), or "it's cold" (R).
Therefore, you're either wet, or you're shivering.

In this case, 'or' is not 'xor', so you might very well be both wet and shivering.


Back up to Rules of Inference
Review your Logic symbols

Log in or registerto write something here or to contact authors.