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

跳至導覽 跳至搜尋
無編輯摘要
行 51: 行 51:
|-
|-
| ↔ || 充要條件 || if and only if
| ↔ || 充要條件 || if and only if
|}
===¬否定===
{| class="wikitable"
|+ ¬的真值表
|-
! A !! ¬A
|-
| T || F
|-
| F || T
|}
|}


導覽選單