「形式邏輯筆記/第三章」修訂間的差異

形式邏輯筆記/第三章 (檢視原始碼)

大小無變化、 2022年2月16日 (三) 20:32

2,728

次編輯

@@ 行 146： / 行 146： @@
 證明 U & T → V & W 非全真句，不用列出所有元素真僞值組合，只要如下：
-假設 U & T 為1，且 U & T → V & W 為0（有假的情況），那我們可以推論 V & W 為1。
+假設 U & T 為1，且 U & T → V & W 為0（有假的情況），那我們可以推論 V & W 為0。
 而 U & T 為1，U 與 T 均爲1，同理 V & W 為0，V 與 W 均爲0。
 這個組合可以存在，所以可證明。