不可满足式（命题逻辑）：修订间差异
重定向页面至命题公式分类#不可满足式 标签：新重定向 |
已将重定向目标从命题公式分类#不可满足式更改为命题公式分类#矛盾式 标签：已更改重定向目标 |
||
| 第1行： | 第1行： | ||
#重定向 [[命题公式分类# | #重定向 [[命题公式分类#矛盾式]] | ||
[[分类:命题逻辑]]{{DEFAULTSORT:bu4ke3man3zu2shi4}} | [[分类:命题逻辑]]{{DEFAULTSORT:bu4ke3man3zu2shi4}} | ||
2026年1月8日 (四) 03:33的版本
重定向到：