次の式の真理値表を完成させてください:A ∨ ¬A
これは排中律です:何かは真であるか、真でないかのいずれかです。真理値表の各行について⊤(真)または⊥(偽)を選択してください。
この練習問題で扱う内容を解説しているガイドです。