仅可满足式：修订间差异

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

本条目可能指代几种不同含义，见对应词条：

@@ 第1行： / 第1行： @@
-#重定向 [[命题公式分类]]
+[[分类:消歧义页面]]{{DEFAULTSORT:jin3ke3man3zu2shi4}}
-[[分类:命题逻辑]]
+本条目可能指代几种不同含义，见对应词条：
+* 命题公式的一个分类，见[[仅可满足式（命题逻辑）]]。
+* 谓词公式的一个分类，见[[仅可满足式（谓词逻辑）]]。