跳转到内容

Advertising:

“谓词公式分类”的版本历史

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

2026年1月8日 (星期四)

2025年12月27日 (星期六)

2023年9月2日 (星期六)

  • 当前之前 13:302023年9月2日 (六) 13:30 Gsxab 留言 贡献 1,124字节 +1,124 创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=有效式 |eng_name=effective formula }} {{InfoBox |name=不可满足式 |eng_name=unsatisfiable formula }} {{InfoBox |name=可满足式 |eng_name=satisfiable formula }} 根据谓词公式在全部解释和赋值下的真值，可以将谓词公式分为以下几类。 * '''有效式'''('''effective formula''')：任何赋值下，谓词公式的真值都…”
检索自“https://knowledge.gsxab.top/wiki/谓词公式分类”

Advertising: