“所有与非典患者接触的人都被隔离了,所有被隔离的人都与小李接触过”,如果这个命题是真的,那么以下也为真的命题是()。
A、小李是非典患者
B、有些人先接触非典患者,然后接触小李,最后被隔离。
C、有人既接触过非典患者,也接触过小李
D、所有非典患者都与小李接触过
A、如果前提假且形式无效,则结论一定假。
B、如果有前提假而形式有效,结论一定假。
C、如果前提都真而形式有效,结论一定真。
D、如果结论真且形式有效,则前提一定真。如果结论假且前提都真,则形式一定无效。
E、如果结论假且前提都真,则形式一定无效。
选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立,然后确定论题真的一种间接论证方法。其依据的是()
A、选言推理的否定肯定式
B、充分条件假言推理的肯定前件式
C、必要条件假言推理的否定前件式
D、联言推理的合成式
用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。