P∨Q¬P∴Q

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

🧩+🧩⇒💡

#reasoning #deduction #premise #conclusion #logical puzzle #argument form