任意のブール代数の関係式 について:
「公理系 で が証明可能」「 に現われる全ての
を逆転した関係式 もまたその公理系 で 証明可能」が(式に関して限定した形での)正しい形です。
我々のブール代数
の公理系を とし,そこから,
をそれぞれ に入れ替えて作った
とする)用の公理系を とします。
このとき,
であることがわかります(これは厳密にやろうとすると,数理論理学の枠組みで,証明の長さによる
帰納法で証明すべきしろものです。
でも,これはそれほど厳密にやらなくてもわかりますから,
普通,証明は省略しているのです。
これはだいたい命題5から推測できます。
)
((*)の仮定は で,結論は で考えていることに注意.)また,
は からみれば と同じ公理系であり, を の関係式とみて,
(また厳密にいえば,証明の長さによる帰納法によって)
がいえる. ((**)の仮定は で,結論は で考えていることに注意.)従って,(*)と(**)から
が成立する.
もっと一般に,式に限らず,文(命題)についても双対の原理は成り立ちます。
上の式に関することも文(命題)として取り扱うことができるので
(例えば, 「 が成立する.」等),もう一度,一般的な形で述べておきます。
(ブール代数における双対の原理) が全てのブール代数で成立する命題ならば,その双対命題 も全てのブール代数で成立する.
[証明]
例によって,証明のスケッチです。
ブール代数
について,そこから, をそれぞれ
に入れ替えて作ったブール代数を
とする(命題5より).同じやり方で から,
ブール代数
を作ると,
は と等しくなる.さらに(何らかの帰納法により),
「 が で成立する」と,「 が
で成立する」は同値であることがわかる.ここで, が全てのブール代数で成立する命題と仮定する.
任意のブール代数 について,仮定から が で成立する.
従って, が
で成立する.これは, が で成立することを意味する.
[証明のスケッチ終わり]
上の双対命題 というのは, からその中に含まれる全ての
をそれぞれ で置き換えて作った命題です。
ブール代数における双対の原理を言い換えれば,(ブール代数における双対の原理)
「命題 がブール代数についての定理ならば,その双対命題 もブール代数についての定理である.」ということもできます。
双対の原理を適用するにあたって,少し注意することを述べます。
例えば,
は全てのブール代数について成立します(記号は適当に変えて.
ところが,これに双対の原理を直接適用して,
は間違いです。
は一般には成立しません.というのは, は略号なので,
というのは
の略記です。
従って,双対の原理を正しく適用した結果は,
です。
これは,一般的に成立するブール代数の式(定理)です。
ですから,双対の原理は適用する前に略記等がその命題か式に含まれていれば,それをもとの形に
直してから適用しなければなりません.ちょっと注意が必要ですね.