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