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