非完全在屋内，故只属于"我不在屋里"且不属于"我在屋里"」；双面真理说则同时支持"我在屋里"和"我不在屋里"为真。可以看出，相对于无矛盾律的严格前提相信逻辑函数单射；双面真理说则相信逻辑命题属于四值概念（见相干逻辑）。要注意的是，这里无矛盾律的主张并非排中律，因为这个命题有真值。
集合论.集合论和高阶逻辑的罗素悖论也给出了不一致（次协调）的信息的系统。
问题.在经典逻辑中，句子的集合formula_1被称为是否定矛盾（不协调）的，如果对于某些句子formul