#alternative possibilities #denying one premise #affirming the other #logic notation variant #disjunctive syllogism #modus tollendo ponens #implication #logical inference