形式逻辑考试:用真值表法和归谬赋值法检验((p→q)^_q)→-p是否有效?

如题所述

第1个回答  2016-04-11
这个是个永真式子, 但是归谬赋值法不知道咋么做。

这是逻辑里面标准的 假设三段论。

一定是永真的。本回答被网友采纳
相似回答