PāØQ¬Pā“Q
(š/š)š«šā”ļøš
1ļøā£š2ļøā£āāØ2ļøā£
š¤(š °ļø|š ±ļø)...š āāļøš °ļø...ā š ±ļø
#formal logic #disjunctive syllogism #modus tollendo ponens #propositional calculus #logical symbols #argument form #disjunction #inference