論理結合子
命題 、 から新しい命題 （ でない）、（ かつ ）、（ または ）、（ ならば ）、（ と は同値）を、次の表のとおりに定めます。
| T | T | F | T | T | T | T |
| T | F | F | F | T | F | F |
| F | T | T | F | T | T | F |
| F | F | T | F | F | T | T |
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 6 件
- 含意の言い換え✓命題 2.4・数学の国語
- 集合の相等は二重包含✓命題 3.4・数学の国語
- 空集合の基本性質✓命題 3.6・数学の国語
- ド・モルガンの法則（命題論理版）✓補題 4.3・数学の国語
- 量化子の否定✓定理 5.3・数学の国語
- 真理集合と論理の対応✓命題 6.3・数学の国語