Dualitätsprinzip (Meta-Theorem)
Wenn ein Theorem
wahr ist, ist auch sein Dual wahr.
Den Dual erhält
man durch die Änderung + by ·, · by +, 0 by 1 und 1 by 0. In der vorangegangen Tafel
hat jeder Theorem seinen Dual (rechts nach links und umgekehrt). Das wahre
Dualitätsprinzip gibt an, dass man Variablen negieren muss; dies ist aber in
der Grundanwendung nicht nötig.