什么是逻辑自洽与不自洽

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

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