This is a proof of the Disjunctive Syllogism
B = Ted will get a Big Mac
W = Ted will get a Whopper with cheese
B W ~W B v W ~W & (B v W) ~W & (B v W) -> B
T T F T F T
T F T T T T
F T F T F T
F F T F F T
Last column: A conditional is false ONLY if the antecedent is true and the consequent is nevertheless false. Since B is true in the only case where not W and B or W is true, all of the cases are true in the last column.
John

My calculator said it, I believe it, that settles it
From
I > Ø