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

2024-12-16 22:26:19
推荐回答(1个)
回答1:

这个是个永真式子, 但是归谬赋值法不知道咋么做。

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

一定是永真的。