题目4单选题
"有效论证"可定义为:在论证的所有可能性中,不能出现"所有前提为真,但结论为假"的情况.据此解释以下论证是否"有效"? p → q ¬p --------------- ∴ ¬qA. 有效:假设命题变元 p 为真、q 为假,则出现了"1 个前提为真、1 个前提为假,结论为真"的情况B. 无效:假设命题变元 p 为真、q 为真,则出现了"1 个前提为真、1 个前提为假,结论为假"的情况C. 无效:假设命题变元 p 为假、q 为真,则出现了"2 个前提都为真,但结论为假"的情况D. 有效:假设命题变元 p 为假、q 为假,则出现了"2 个前提都为真,结论也为真"的情况