双対

双対という概念に遭遇しました。これについて考えていきます。 双対とド・モルガンの法則 定義 【双対】命題を論理式として表したとき、論理和 ∨ と論理積 ∧ とをすべて入れ替え、全称記号 ∀ と存在記号 ∃ とをすべて入れ替えたものをもとの論...