主题 / 不一致推出任意 知识卡片不一致推出任意专业/工作 内容在不一致的逻辑系统中,可以从矛盾推出任意命题,因此数据库一旦违反约束,查询结果就失去可信基础。[[黄金法则]]不是洁癖,而是防止整个推理系统坍塌。 参考来源《SQL与关系数据库理论——如何编写健壮的SQL代码(原书第2版)》第10章 SQL与逻辑 ← 上一张卡片谓词是真值函数:n元谓词分类与两条推理规则 下一张卡片 →量词化的精确定义与量词跟联结词的逻辑区别