数理逻辑重要公式离散数学.ppt

基本等值式双重否定律:??A?A结合律:(A?B)?C?A?(B?C)(A?B)?C?A?(B?C)分配律:A?(B?C)?(A?B)?(A?C)A?(B?C)?(A?B)?(A?C)交换律:A?B?B?A,A?B?B?A等幂律：A?A?A,A?A?A等值公式1

德·摩根律:?(A?B)??A??B?(A?B)??A??B吸收律:A?(A?B)?A,A?(A?B)?A零律:A?1?1,A?0?0同一律:A?0?A,A?1?A排中律:A??A?1矛盾律:A??A?02

蕴涵等值式:A?B??A?B等价等值式:A?B?(A?B)?(B?A)假言易位:A?B??B??A等价否定等值式:A?B??A??B归谬论:(A?B)?(A??B)??AA,B,C代表任意的命题公式3

推理定律——重言蕴涵式4