主要公开日志

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

• 2025年11月18日 (二) 15:44 Gsxab 留言 贡献移动页面双重否定式至双重否定律（逻辑）
• 2025年9月5日 (五) 17:02 Gsxab 留言 贡献创建了页面双重否定式 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=双重否定式 |eng_name=double negation |aliases=DN }} {{#seo: |keywords=双重否定式 |description=双重否定式是常见命题逻辑定理之一，¬¬p→p的称呼，通常简称DN。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-09-06 }} '''双重否定式'''('''double negation''', '''DN''')是命题逻辑定理之一，指一个命题两次否定等价于其自身。…”）