#formal logic #disjunctive syllogism #modus tollendo ponens #propositional calculus #logical symbols #argument form #disjunction #inference