对偶原理

设 $f$ 是含有格中元素的命题, 若 $f$ 对一切格为真, 则 $f$ 的对偶命题 $f^{\ast }$ 也对一切格为真.