Constructive Dilemma (CD)
Template
Sample argumentSymbolic Form
If it's (T)ed I'll (s)mile and if it's (B)ob I'll (c)ry .
Either it's Ted or Bob.
-----------------------
So I'll either smile or cry.
(T>S)&(B>C)
T + B
--------
S + C