排中律和矛盾律,有哪些本质区别?

排中律和矛盾律,有哪些本质区别?

命题逻辑中的排中律和矛盾律是:排中律: (形式上两个对立的命题至少一个成立,也就是对矛盾律应用德·摩根律后的结果)矛盾律: (形式上两个对立的命题不可能同时成立)

集合论里的排中律和矛盾律是:设全集为 排中律: 矛盾律: