#logic example #choice elimination #disjunction #modus tollendo ponens #reasoning process #valid argument #syllogism