Es sei α {\displaystyle {}\alpha } eine aussagenlogische Aussage und es seien p 1 , … , p n {\displaystyle {}p_{1},\ldots ,p_{n}} die darin vorkommenden Aussagenvariablen. Es sei
eine fixierte Konjunktion dieser (negierten) Aussagenvariablen.
Dann ist