A disjunctive syllogism is a valid argument form in propositional calculus, where p and q are propositions: (p v q; ¬p)/(∴q).
確定! 回上一頁