相容选言推理否定肯定式、析取引入式的有效性以及肯定否定式的无效性可以通过下面的真值表得到证明：( )

admin2014-12-04 65

问题相容选言推理否定肯定式、析取引入式的有效性以及肯定否定式的无效性可以通过下面的真值表得到证明：( )

选项

答案[*]在上面的真值表中，[*]都是永真式，这证明相容选言推理否定肯定式是有效式。p→p∨q、q→p∨q都是永真式，这证明相容选言推理析取引入式是有效式。[*]都不是永真式，这证明相容选言推理的肯定否定式是无效式。

解析

转载请注明原文地址:https://kaotiyun.com/show/bajR777K

普通逻辑

相关试题推荐

随机试题

最新回复(0)