主要公开日志

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

• 2025年11月25日 (二) 09:25 Gsxab 留言 贡献移动页面直言命题的直接推理至直接推理
• 2025年9月7日 (日) 13:21 Gsxab 留言 贡献创建了页面直言命题的直接推理 （创建页面，内容为“分类:古典逻辑 {{InfoBox |name=直接推理 |eng_name= }} {{#seo: |keywords=直言命题, 直接推理 |description=直接推理是古典逻辑理论中对于直接基于单个命题变形的推理的统称。直言命题是古典逻辑理论中对直接的、无条件命题所在分类的统称。直言命题的直接推理指通过直言命题“所有、有的S是P”变形得到其他新直言命题的规则。 |modified_time={{REVISIONYEAR}}-{{REV…”）