主要公开日志

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

• 2025年9月5日 (五) 17:38 Gsxab 留言 贡献创建了页面换质换位式 （创建页面，内容为“分类:命题逻辑 分类:谓词逻辑 {{InfoBox |name=换质换位式 |eng_name=contraposition |aliases=假言易位,逆否命题,Contrap,Trans }} {{#seo: |keywords=换质换位式 |description=换质换位式是常见命题逻辑定理之一，(p→q)↔(¬q→¬p)的称呼。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-09-06 }} '''换质换位式'''('''contraposition''', '''Contrap''', '''Trans''')是命…”）