四、真值表法的局限性 1、完全真值表法的局限性 判定多变项命题公式过于繁琐。 2、归谬赋值法的局限性 仅能判定蕴涵式,且当被判定公式的后件为合取式或等值式是 须分情 况讨论多有不便 3、真值树法的局限性 判定结构复杂的公式时,树冠过大操作不便。 4、问题 是否有一种方法既能解决命题逻辑有效性的判定问题又能解决有 效性的推导问题?四、真值表法的局限性 1、完全真值表法的局限性 判定多变项命题公式过于繁琐。 2、归谬赋值法的局限性 仅能判定蕴涵式，且当被判定公式的后件为合取式或等值式是 须分情 况讨论多有不便。 3、真值树法的局限性 判定结构复杂的公式时，树冠过大操作不便。 4、问题： 是否有一种方法既能解决命题逻辑有效性的判定问题又能解决有 效性的推导问题？