两个特称判断中一个为真时，另一个或真或假；一个为假时，另一个必真
举一反三
- 一个充分条件假言判断“p→q”为假,那么一定为( ) A: p真q真 B: p真q假 C: p假q真 D: p假q假
- 一个有效三段论的结论是假的,其前提不可能() A: 都真 B: 都假 C: 一真一假 D: 都不假 E: 不都真
- 在真核生物中一个基因就是一个转录单位。
- “有效论证”可定义为：在论证的所有可能性中，不能出现”所有前提为真，但结论为假“的情况。据此解释以下论证是否”有效“？ p → q ¬p --------------- ∴ ¬q A: 无效：假设命题变元 p 为真、q 为真，则出现了”1 个前提为真、1 个前提为假，结论为假“的情况 B: 有效：假设命题变元 p 为真、q 为假，则出现了”1 个前提为真、1 个前提为假，结论为真“的情况 C: 无效：假设命题变元 p 为假、q 为真，则出现了”2 个前提都为真，但结论为假“的情况 D: 有效：假设命题变元 p 为假、q 为假，则出现了”2 个前提都为真，结论也为真“的情况
- 一个形式有效的三段论结论是假的，则其大小前提不可能是（ ）。 A: 都真 B: 都假 C: 不都真 D: 不都假 E: 一真一假