Hatena Blog Tags

排中律

(サイエンス)
はいちゅうりつ

任意の命題 A に対して A\vee\neg A が必ず真であるという法則、原理。無矛盾律は排中律のド・モルガン双対の否定である。

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

関連ブログ