问答网

当前位置: 首页 > 知识问答 > 什么是逻辑自洽与不自洽

什么是逻辑自洽与不自洽

知识问答 浏览5次

逻辑自洽是指一组命题中,每一个命题都可以从其他命题中推出,而且不存在矛盾的情况。

逻辑不自洽是指一组命题中,存在矛盾的情况,也就是某一个命题既可以从其他命题中推出,也可以从其他命题中推出反例。