2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 54： | 行 54： | ||
===¬否定=== | ===¬否定=== | ||
{| class="wikitable" | {| class="wikitable" | ||
|+ ¬的真值表 | |+ ¬的真值表 | ||
| 行 63： | 行 64： | ||
| F || T | | F || T | ||
|} | |} | ||
===&聯集（與、且、也）=== | |||
「雖然……但是……」也使用該連詞。 | |||
這個連詞有對稱性 (symmetrical)，具有交換律，也就是A&B↔B&A | |||
{| class="wikitable" | |||
|+ &的真值表 | |||
|- | |||
! A !! B !! A&B | |||
|- | |||
| T || T || T | |||
|- | |||
| T || F || F | |||
|- | |||
| F || T || F | |||
|- | |||
| F || F || F | |||
|} | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||