rr;0=0(┐0→┐0)→┐0=1由真值表我们可以很明显的看出,两个真值形式并不等值,但却也不存在矛盾,因此我们可以判定,邓析的“两可”之说并不构成矛盾。  第二,也可以运用范式的方法来证明这两个真值形式并不矛盾。根据数理逻辑的定理“除重言式外任一真值形式都有唯
(15/25)
下页
上页
返回列表
返回