主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年12月3日 (三) 06:19 Gsxab 留言 贡献创建了页面否定后件 （创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:fou3ding4hou4jian4}} {{#seo: |keywords=否定后件,modus tollens |description=否定后件是命题逻辑的定理，与基本推理规则肯定前件对应，指出如果条件命题P→Q为真且其后件Q为假，则可以推出前件P为假。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-12-03 }} {{InfoBox |name=否定后件 |eng-name=modus tollens |aliases=MT,拒取式 }…”）