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