要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出()。
A: 矛盾
B: 命题
C: 结论
D: 前提
A: 矛盾
B: 命题
C: 结论
D: 前提
举一反三
- 要检验一个命题是否是矛盾式,即以该命题作为前提进行推导,看看能否推导出()。
- 在一元量化逻辑中,要检验一个量化命题是否蕴涵另一个命题,需要把第一个命题当做前提,而把另一个命题的否定命题当做另一个(),然后看看它能否推导出矛盾式。 A: 矛盾 B: 命题 C: 结论 D: 前提
- 要检验一个命题是否蕴涵另一个命题，需要把第一个命题当做前提，而把另一个命题的否定命题当做另一个（），然后看看它能否推导出矛盾式
- 要检验一个命题是否蕴含另一个命题,我们需要把第一个命题当做前提,而把另一个否定命题当做另一个命题,然后看看其是否能推导出()。 A: 矛盾式 B: 否定式 C: 等值式 D: 重言式
- 要检验一个命题是否蕴含另一个命题,我们需要把第一个命题当做前提,而把另一个否定命题当做另一个命题,然后看看其是否能推导出()