可满足式：修订间差异
重定向页面至命题公式分类#可满足式 标签：新重定向 |
已移除至命题公式分类#可满足式的重定向 标签：移除重定向 |
||
| 第1行： | 第1行： | ||
[[分类:消歧义页面]]{{DEFAULTSORT:ke3man3zu2shi4}} | |||
[[分类: | 本条目可能指代几种不同含义，见对应词条： | ||
* 命题公式的一个分类，见[[可满足式（命题逻辑）]]。 | |||
* 谓词公式的一个分类，见[[可满足式（谓词逻辑）]]。 | |||
2026年1月8日 (四) 03:35的最新版本
本条目可能指代几种不同含义，见对应词条：
- 命题公式的一个分类，见可满足式（命题逻辑）。
- 谓词公式的一个分类，见可满足式（谓词逻辑）。