不可满足式（命题逻辑）：修订间差异

2026年1月8日 (四) 03:33的最新版本

重定向到：

2026年1月8日 (四) 03:31的版本查看源代码 Gsxab（留言 \| 贡献） 6,428次编辑重定向页面至命题公式分类#不可满足式标签：新重定向	2026年1月8日 (四) 03:33的最新版本查看源代码 Gsxab（留言 \| 贡献） 6,428次编辑已将重定向目标从命题公式分类#矛盾式更改为命题公式分类#不可满足式标签：已更改重定向目标手工回退
（未显示同一用户的1个中间版本）
（没有差异）