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

跳至導覽 跳至搜尋

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

於 2022年2月4日 (五) 15:43 的修訂

增加 244 位元組 、 2022年2月4日 (五) 15:43
無編輯摘要
行 139： 行 139：
)。
)。


===↔雙向條件（若且唯若，if and only if）===
即「(A→B)&(B→A)」。
{| class="wikitable"
|+ ↔的真值表
|-
! A !! B !! A↔B
|-
| T || T || T
|-
| T || F || F
|-
| F || T || F
|-
| F || F || T
|}
===2.3其他符號化===


{{ForAllX}}
{{ForAllX}}


[[category:邏輯學]]
[[category:邏輯學]]
取自「https://kianting.info/wiki/w/特殊:手機版差異/1019」

導覽選單