from 論理と集合から始める数学の基礎 読書会

命題代数の双対性

命題代数の法則について、\landと\lor、\lorと\landを書き換え、さらにtをfに、fをtに書き換えると別の法則となる

このような性質を双対性という

対合律\lnot \lnot p \iff pは特別

書き換えるべき\land,\lor,t,fが何もないので入れ替えても変化しない

自己双対という

自分が双対となる