主要公开日志

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

• 2026年1月9日 (五) 14:17 Gsxab 留言 贡献创建了页面置换定理（谓词逻辑） （创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:zhi4huan4ding4li3}} {{#seo: |keywords=置换, 置换定理 |description=本文介绍谓词逻辑中的置换，以及与置换相关的置换定理及其性质。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-09 }} {{InfoBox |name=置换规则 |eng_name=substitution rule |aliases=置换定理 }} 置换指原子公式替换为其他公式的操作，谓…”）
• 2026年1月9日 (五) 12:26 Gsxab 留言 贡献创建了页面置换定理 （创建页面，内容为“分类:消歧义页面{{DEFAULTSORT:zhi4huan4ding4li3}} 本条目可能指代几种不同含义，见对应词条： * 命题公式的一个变形规则，见置换定理（命题逻辑）。 * 谓词公式的一个变形规则，见置换定理（谓词逻辑）。 另参见置换和排列。”）
• 2026年1月9日 (五) 12:24 Gsxab 留言 贡献创建了页面置换定理（命题逻辑） （重定向页面至置换（逻辑）） 标签：新重定向
• 2026年1月9日 (五) 08:42 Gsxab 留言 贡献创建了页面逻辑等值 （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:luo2ji2deng3zhi2}} {{#seo: |keywords=逻辑等值 |description=本文介绍谓词逻辑中逻辑等值关系的定义、性质，及其在模型论中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-09 }} {{InfoBox |name=逻辑等值 |eng_name=logical equivalence }} '''逻辑等值'''('''logical equivalence''')指两个谓词公式之间，在所有可能的赋…”）
• 2026年1月8日 (四) 08:33 Admin 留言 贡献移动页面逻辑蕴含至逻辑蕴涵
• 2026年1月8日 (四) 08:31 Admin 留言 贡献删除页面函项（谓词逻辑） （内容为：“#重定向 函项 分类:谓词逻辑”，唯一贡献者是“Gsxab”（讨论））
• 2026年1月8日 (四) 03:35 Gsxab 留言 贡献创建了页面可满足式（谓词逻辑） （重定向页面至谓词公式分类#可满足式） 标签：新重定向
• 2026年1月8日 (四) 03:35 Gsxab 留言 贡献创建了页面可满足式（命题逻辑） （重定向页面至命题公式分类#可满足式） 标签：新重定向
• 2026年1月8日 (四) 03:33 Gsxab 留言 贡献创建了页面不可满足式（谓词逻辑） （重定向页面至谓词公式分类#不可满足式） 标签：新重定向
• 2026年1月8日 (四) 03:31 Gsxab 留言 贡献创建了页面不可满足式（命题逻辑） （重定向页面至命题公式分类#不可满足式） 标签：新重定向
• 2026年1月8日 (四) 03:30 Gsxab 留言 贡献创建了页面仅可满足式（谓词逻辑） （重定向页面至谓词公式分类#仅可满足式） 标签：新重定向
• 2026年1月8日 (四) 03:29 Gsxab 留言 贡献创建了页面仅可满足式（命题逻辑） （重定向页面至命题公式分类#偶然式） 标签：新重定向
• 2026年1月8日 (四) 03:26 Gsxab 留言 贡献创建了页面有效式 （重定向页面至谓词公式分类#有效式） 标签：新重定向
• 2026年1月7日 (三) 08:41 Gsxab 留言 贡献创建了页面简单易字变形 （重定向页面至易字变形） 标签：新重定向
• 2026年1月6日 (二) 08:01 Maintenance script 留言 贡献创建了页面SMW/模式:Profile:Facetedsearch default profile （Semantic MediaWiki search import）
• 2025年12月25日 (四) 02:35 Gsxab 留言 贡献创建了页面约束变项 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:34 Gsxab 留言 贡献创建了页面自由变项 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:33 Gsxab 留言 贡献创建了页面自由出现 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:33 Gsxab 留言 贡献创建了页面约束出现 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:33 Gsxab 留言 贡献创建了页面出现 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:24 Gsxab 留言 贡献创建了页面作用变元 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:24 Gsxab 留言 贡献创建了页面约束变元 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月25日 (四) 02:24 Gsxab 留言 贡献创建了页面自由变元 （重定向页面至量词#变元符号分类） 标签：新重定向
• 2025年12月24日 (三) 12:41 Gsxab 留言 贡献创建了页面结构（谓词逻辑） （创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:jie2gou4}} {{#seo: |keywords=结构, 逻辑语义学 |description=本文介绍谓词逻辑中结构的定义、性质与应用，包括结构作为个体常项、函项、谓词符号对应到论域中个体及其关系的映射概念，其在谓词逻辑语义学中的作用。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2023-09-02 }} {{InfoBox |name=结构 |eng_name=structure |aliases…”）
• 2025年12月23日 (二) 15:42 Gsxab 留言 贡献创建了页面非逻辑符号 （重定向页面至谓词语言#相关术语） 标签：新重定向
• 2025年12月23日 (二) 15:41 Gsxab 留言 贡献创建了页面逻辑符号 （重定向页面至谓词语言#相关术语） 标签：新重定向
• 2025年12月21日 (日) 02:58 Gsxab 留言 贡献创建了页面闭项 （重定向页面至项（谓词逻辑）） 标签：新重定向
• 2025年12月19日 (五) 13:48 Gsxab 留言 贡献创建了页面量化命题 （重定向页面至量词） 标签：新重定向
• 2025年12月19日 (五) 13:48 Gsxab 留言 贡献创建了页面量化公式 （重定向页面至量词） 标签：新重定向
• 2025年12月5日 (五) 02:52 Admin 留言 贡献删除页面希尔伯特表示 （内容为：“#重定向 Hilbert 系统 分类:证明论 分类:命题逻辑 分类:谓词逻辑”，唯一贡献者是“Gsxab”（讨论））
• 2025年12月5日 (五) 02:52 Admin 留言 贡献删除页面希尔伯特系统 （内容为：“#重定向 Hilbert 系统 分类:证明论 分类:命题逻辑 分类:谓词逻辑”，唯一贡献者是“Gsxab”（讨论））
• 2025年12月3日 (三) 06:35 Gsxab 留言 贡献创建了页面构造式二难推理 （重定向页面至二难推理#构成式二难推理） 标签：新重定向
• 2025年12月3日 (三) 06:21 Gsxab 留言 贡献创建了页面否定后件律 （重定向页面至否定后件） 标签：新重定向
• 2025年12月3日 (三) 06:20 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,拒取式 }…”）
• 2025年12月3日 (三) 05:26 Gsxab 留言 贡献创建了页面肯定前件律 （重定向页面至肯定前件） 标签：新重定向
• 2025年12月3日 (三) 05:26 Gsxab 留言 贡献创建了页面肯定前件式 （重定向页面至肯定前件） 标签：新重定向
• 2025年12月3日 (三) 05:22 Gsxab 留言 贡献创建了页面肯定前件 （创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:ken3ding4qian2jian4}} {{#seo: |keywords=肯定前件,modus ponens |description=肯定前件是命题逻辑的基本推理规则，指出如果条件命题P→Q为真且其前件P为真，则可以推出后件Q为真。是演绎推理中最基本和最重要的规则之一。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-12-03 }} {{InfoBox |name=肯定前件 |eng-name=modus pone…”）
• 2025年12月2日 (二) 16:58 Gsxab 留言 贡献创建了页面破斥式二难推理 （重定向页面至二难推理#破斥式二难推理） 标签：新重定向
• 2025年12月2日 (二) 16:56 Gsxab 留言 贡献创建了页面构成式二难推理 （重定向页面至二难推理#构成式二难推理） 标签：新重定向
• 2025年12月2日 (二) 16:52 Gsxab 留言 贡献创建了页面选言假言推理 （重定向页面至二难推理） 标签：新重定向
• 2025年12月2日 (二) 16:48 Gsxab 留言 贡献创建了页面二难推理 （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2xuan3yan2tui1li3}} {{#seo: |keywords=选言假言推理,二难推理 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} '''选言假言推理'''指古典逻辑中结合一个选言命题及与其选言支数目相…”）
• 2025年12月2日 (二) 15:45 Gsxab 留言 贡献创建了页面选言命题 （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:xuan3yan2ming4ti2}} {{#seo: |keywords=选言命题 |description=选言命题是古典逻辑理论中存在选择的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-12-02 }} '''选言命题'''是古典逻辑中对命题的一个分类。选言命题指描述选择关系的命题，包括相容的选…”）
• 2025年12月2日 (二) 09:00 Gsxab 留言 贡献创建了页面选言推理 （重定向页面至选言三段论） 标签：新重定向
• 2025年12月2日 (二) 08:59 Gsxab 留言 贡献创建了页面逆命题、否命题、逆否命题 （创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:ni4fou3ming4ti2}} {{#seo: |keywords=逆命题, 否命题, 逆否命题, 四种命题的关系 |description=对条件命题（假言命题），直接对命题进行变形得到几种命题分别被称为逆命题、否命题、逆否命题。和原命题在一起的这四种命题间，互为逆否的两对总是有相同的真值。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=202…”）
• 2025年12月2日 (二) 08:10 Gsxab 留言 贡献创建了页面否命题 （重定向页面至逆命题、否命题、逆否命题） 标签：新重定向
• 2025年12月2日 (二) 08:10 Gsxab 留言 贡献创建了页面逆命题 （重定向页面至逆命题、否命题、逆否命题） 标签：新重定向
• 2025年12月2日 (二) 08:09 Gsxab 留言 贡献创建了页面逆否命题 （重定向页面至逆命题、否命题、逆否命题） 标签：新重定向
• 2025年11月30日 (日) 17:01 Gsxab 留言 贡献创建了页面假言推理 （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2tui1li3}} {{#seo: |keywords=假言推理,肯定前件,否定后件 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} '''假言推理'''指古典逻辑中对假言命题进行的直接推理。 == 条件推理…”）
• 2025年11月30日 (日) 09:38 Gsxab 留言 贡献创建了页面假言命题 （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2ming4ti2}} {{#seo: |keywords=假言命题 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} {{InfoBox |name=假言命题 }} '''假言命题'''是古典逻辑中对命题的一个分类。假言命题指描述条件…”）