Next: cd, Previous: ds, Up: Inference Rules [Contents]
A law of logic, excluded middle asserts that something is either true, or it is not true.
Excluded middle requires zero references.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル