2,728
次編輯
「形式邏輯筆記/第三章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 95： | 行 95： | ||
| i || ii || iii | | i || ii || iii | ||
|- | |- | ||
! A !! ¬A | ! A !! ¬A !! ¬¬A | ||
|- | |- | ||
| 1 || 0 || 1 | | 1 || 0 || 1 | ||
| 行 103： | 行 103： | ||
===一致性(cosistency)=== | ===一致性(cosistency)=== | ||
x>3和x≯3不一致。 | |||
若真值表一列，各行都爲1，那就具有一致性。 | |||
===驗證性(validity)=== | ===驗證性(validity)=== | ||
考慮這推論 | |||
*A | |||
*B | |||
*∴C | |||
因爲前兩行前提，就算為真，不能推論C一定為真。 | |||
但是這就可以了： | |||
*¬A→(B∨C) | |||
*¬A | |||
*∴C | |||
{| class="wikitable" | {| class="wikitable" | ||