主要公开日志

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

• 2025年11月30日 (日) 17:01 Gsxab 留言 贡献创建了页面假言推理 （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2tui1li3}} {{#seo: |keywords=假言推理,肯定前件,否定后件 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} '''假言推理'''指古典逻辑中对假言命题进行的直接推理。 == 条件推理…”）