主要公开日志

所有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=假言命题 }} '''假言命题'''是古典逻辑中对命题的一个分类。假言命题指描述条件…”）
2025年11月25日 (二) 12:54 Gsxab 留言贡献创建了页面模板:传统逻辑（创建页面，内容为“ {| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=2 style='border-bottom-width:2px' | 传统逻辑 |- | 直言命题 | 直言推理：直言三段论、直接推理 |- | 假言命题 | 假言推理：假言三段论、肯定前件、否定后件 |- | 选言命题 | 选言推理：选言三段论、构造性两难推理 |}”）
2025年11月25日 (二) 12:48 Gsxab 留言贡献创建了页面直言三段论（创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:zhi2yan2san1duan4lun4}} {{#seo: |keywords=直言三段论,三段论 |description=直言三段论是古典逻辑的核心推理形式，由两个包含一个共同项（中项）的直言命题作为前提，推出一个新的直言命题作为结论。文章阐述了三段论的结构、格、式以及判定其有效性的规则。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-25…”）
2025年11月25日 (二) 09:25 Gsxab 留言贡献移动页面直言命题的直接推理至直接推理
2025年11月25日 (二) 09:06 Gsxab 留言贡献创建了页面大写拉丁元音字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为大写拉丁字母元音。即： * <math>A</math> * <math>E</math> * <math>I</math> * （<math>O</math>） * <math>U</math> {{ISOBasicLatinAlphabet}}”）
2025年11月25日 (二) 09:05 Gsxab 留言贡献创建了页面小写拉丁元音字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为小写拉丁字母元音。即： * <math>a</math> * <math>e</math> * <math>i</math> * （<math>o</math>） * <math>u</math> {{ISOBasicLatinAlphabet}}”）
2025年11月25日 (二) 08:40 Gsxab 留言贡献创建了页面逻辑方阵（重定向页面至直言命题#逻辑方阵）标签：新重定向
2025年11月25日 (二) 07:41 Admin 留言贡献删除页面Pierce 律（内容为：“#重定向 Peirce 律”，唯一贡献者是“Gsxab”（讨论））
2025年11月25日 (二) 07:35 Gsxab 留言贡献创建了页面分类:命题逻辑定理（创建页面，内容为“在分类:命题逻辑的演绎中，有一些常见的中间定理，这些定理都有各自特定的名称。本分类下容纳这些定理的名称和说明。分类:命题逻辑分类:证明论{{DEFAULTSORT:ming4ti2luo2ji2ding4li2}}”）
2025年11月25日 (二) 07:07 Gsxab 留言贡献创建了页面移出律（创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:yi2chu1lu:4}} {{#seo: |keywords=移出律,exportation,柯里化 |description=移出律是命题逻辑的重要定理，表明(P∧Q→R)与(P→(Q→R))逻辑等价。这一定理揭示了合取与蕴涵的深刻联系。在柯里霍华德同构中，是函数柯里化的逻辑学对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-25 }} {{InfoBox |name=移出律 |eng-nam…”）
2025年11月25日 (二) 07:06 Gsxab 留言贡献移动页面Pierce 律至Peirce 律
2025年11月25日 (二) 06:08 Gsxab 留言贡献创建了页面Pierce 律（创建页面，内容为“分类:命题逻辑定理分类:以 Peirce 命名{{DEFAULTSORT:peirce lu:4}} {{#seo: |keywords=皮尔士律, Peirce's law |description=皮尔士律（Peirce 律）是命题逻辑的重要定理，形式为 ((P→Q)→P)→P 。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-25 }} {{InfoBox |name=皮尔士律 |eng-name=Peirce's law |aliases=皮尔士定律 }} '''<ins>皮尔士</ins>律'''('''Peirce's law''')…”）
2025年11月23日 (日) 06:25 Gsxab 留言贡献创建了页面换质换位律（重定向页面至假言易位律）标签：新重定向
2025年11月23日 (日) 06:23 Gsxab 留言贡献移动页面换质换位式至假言易位律
2025年11月23日 (日) 06:20 Gsxab 留言贡献创建了页面假言易位式（重定向页面至假言易位律）标签：新重定向
2025年11月23日 (日) 05:48 Gsxab 留言贡献创建了页面De Morgan 律（逻辑）（创建页面，内容为“分类:命题逻辑定理分类:谓词逻辑定理分类:模态逻辑定理{{DEFAULTSORT:de morgan lu:4}} {{#seo: |keywords=德摩根律,de Morgan 律 |description=德摩根律是命题逻辑的重要定理，描述了否定词对合取和析取的分配规律，包括两条等价关系：¬(P∧Q)↔(¬P∨¬Q)和¬(P∨Q)↔(¬P∧¬Q)。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-23 }} {{InfoBox |…”）
2025年11月23日 (日) 05:09 Gsxab 留言贡献创建了页面德摩根律（逻辑）（重定向页面至De Morgan 律（逻辑））标签：新重定向
2025年11月22日 (六) 15:26 Gsxab 留言贡献创建了页面矛盾（重定向页面至矛盾律）标签：新重定向
2025年11月22日 (六) 15:24 Gsxab 留言贡献创建了页面爆炸原理（创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:bao4zha4yuan2li3}} {{#seo: |keywords=爆炸原理,爆炸律 |description=爆炸原理是命题逻辑的重要定理，表明从矛盾可以推出任何命题，即P∧¬P→Q。这一命题说明了理论中不存在矛盾的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-22 }} {{InfoBox |name=爆炸原理 |eng-name=principle of explosion |aliases=ex falso quodlib…”）
2025年11月21日 (五) 14:36 Gsxab 留言贡献创建了页面分类:推理理论（创建页面，内容为“推理理论是关于推理的逻辑学分支。这一分支研究推理本身是否有效、为何有效，并研究如何形式化表征推理模式。它关注的是推理的模式，即前提和结论间满足的关系。这些推理模式中，有一些模式能够在前提为真的情况下保证结论总为真，称为有效推理，哪些推理是有效的、如何进行有效的推理，是推理理论研究的核心内容。这里的推理形…”）
2025年11月21日 (五) 14:25 Gsxab 留言贡献创建了页面有效性（重定向页面至有效推理）标签：新重定向
2025年11月18日 (二) 15:44 Gsxab 留言贡献移动页面双重否定式至双重否定律（逻辑）
2025年11月17日 (一) 17:46 Gsxab 留言贡献创建了页面有效推理（创建页面，内容为“分类:推理理论{{DEFAULTSORT:you3xiao4tui1li3}} {{InfoBox |name=有效推理 |eng_name=valid inference |aliases=论证有效性,逻辑有效性,deductive validity }} {{InfoBox |name=推理有效性 |eng_name=validity of inference |aliases=论证有效性,逻辑有效性,deductive validity }} '''推理有效性'''('''validity of inference''')指一个推理(reasoning)或论证(argument)中前提与结论之间的逻辑关系性质。一个'''有效推理…”）