2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 84： | 行 84： | ||
| F || F || F | | F || F || F | ||
|} | |} | ||
===&聯集（與、且、也）=== | |||
「雖然……但是……」也使用該連詞。 | |||
這個連詞有對稱性 (symmetrical)，具有交換律，也就是A&B↔B&A | |||
{| class="wikitable" | |||
|+ &的真值表 | |||
|- | |||
! A !! B !! A&B | |||
|- | |||
| T || T || T | |||
|- | |||
| T || F || F | |||
|- | |||
| F || T || F | |||
|- | |||
| F || F || F | |||
|} | |||
===∨交集（或）=== | |||
這裏指的是'''inclusive OR'''，就是兩者都包含也算在內。如果只能二選一的，就用 exclusive OR(XOR)。 | |||
A XOR B = (A∨B) & ¬(A&B) | |||
有對稱性，具有交換律，也就是A∨B↔B∨A | |||
{| class="wikitable" | |||
|+ ∨的真值表 | |||
|- | |||
! A !! B !! A∨B | |||
|- | |||
| T || T || T | |||
|- | |||
| T || F || T | |||
|- | |||
| F || T || T | |||
|- | |||
| F || F || F | |||
|} | |||
===→條件 (conditional)=== | |||
A→B | |||
其中前件(antecedent)為A，結果(consequent)為B。 | |||