主要公开日志

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

• 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)中前提与结论之间的逻辑关系性质。一个'''有效推理…”）
• 2025年11月11日 (二) 11:06 Admin 留言 贡献移动页面重言蕴含至重言蕴涵
• 2025年11月11日 (二) 11:04 Admin 留言 贡献移动页面蕴含至蕴涵
• 2025年11月11日 (二) 10:49 Gsxab 留言 贡献创建了页面蕴涵命题 （重定向页面至蕴涵） 标签：新重定向
• 2025年11月11日 (二) 10:48 Gsxab 留言 贡献创建了页面蕴涵式 （重定向页面至蕴涵） 标签：新重定向
• 2025年11月11日 (二) 08:03 Gsxab 留言 贡献创建了页面真值函数 （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:zhen1zhi2han2shu4}} {{#seo: |keywords=真值函数 |description=本文讲述了逻辑学中真值函数的概念，使用这一术语的场景，以及真值函数的和非真值函数的区别。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-11 }} {{InfoBox |name=真值函数 |eng_name=truth function }} '''真值函数'''('''truth function''')指从真值到真值的映…”）
• 2025年11月9日 (日) 14:29 Gsxab 留言 贡献创建了页面否定范式 （创建页面，内容为“分类:命题逻辑 分类:形式语言实例{{DEFAULTSORT:fou3ding4fan4shi4}} {{#seo: |keywords=代数范式, ANF, Zhegalkin范式, Жегалкина范式, Zhegalkin多项式, Жегалкина多项式, 里德-马勒展开式 |description=代数范式(ANF)是命题公式的标准表示形式，仅使用合取和异或运算。每个布尔函数都有唯一的代数范式，在密码学、电路设计和编码理论中有重要应用，也称为Zheg…”）
• 2025年11月9日 (日) 13:42 Gsxab 留言 贡献创建了页面充要条件 （重定向页面至充分条件、必要条件） 标签：新重定向
• 2025年11月9日 (日) 13:42 Gsxab 留言 贡献创建了页面必要条件 （重定向页面至充分条件、必要条件） 标签：新重定向
• 2025年11月9日 (日) 13:41 Gsxab 留言 贡献创建了页面充分条件 （重定向页面至充分条件、必要条件） 标签：新重定向
• 2025年11月9日 (日) 13:24 Gsxab 留言 贡献创建了页面代数范式 （创建页面，内容为“分类:命题逻辑 分类:逻辑代数{{DEFAULTSORT:dai4shu4fan4shi4}} {{#seo: |keywords=代数范式, ANF, Zhegalkin范式, Жегалкина范式, Zhegalkin多项式, Жегалкина多项式, 里德-马勒展开式 |description=代数范式(ANF)是命题公式的标准表示形式，仅使用合取和异或运算。每个布尔函数都有唯一的代数范式，在密码学、电路设计和编码理论中有重要应用，也称为Zhegalkin…”）
• 2025年11月9日 (日) 10:56 Gsxab 留言 贡献创建了页面真理定义 （重定向页面至Tarski 真理定义） 标签：新重定向
• 2025年11月9日 (日) 10:52 Admin 留言 贡献删除页面塔斯基真理定义 （内容为：“#重定向 Tarski 真理定义 分类:命题逻辑 分类:谓词逻辑 分类:以 Tarski 命名”，唯一贡献者是“Gsxab”（讨论））
• 2025年11月9日 (日) 10:45 Gsxab 留言 贡献创建了页面重言等价 （重定向页面至等值（逻辑）） 标签：新重定向
• 2025年11月9日 (日) 10:45 Gsxab 留言 贡献创建了页面重言等值 （重定向页面至等值（逻辑）） 标签：新重定向
• 2025年11月7日 (五) 14:32 Gsxab 留言 贡献创建了页面主合取范式 （重定向页面至主析取范式、主合取范式） 标签：新重定向
• 2025年11月7日 (五) 14:32 Gsxab 留言 贡献创建了页面主析取范式 （重定向页面至主析取范式、主合取范式） 标签：新重定向
• 2025年11月7日 (五) 14:31 Gsxab 留言 贡献创建了页面成真指派、成假指派（命题逻辑） （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:cheng2zhen1zhi3pai4cheng2jia3zhi3pai4}} {{#seo: |keywords=成真指派, 成假指派, 逻辑语义学 |description=本文详细介绍成了真指派（满足指派）和成假指派的定义、性质、计算方法，及其与主析取范式、主合取范式、可满足性问题的内在联系。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-07 }} {{InfoBox |name=成真指派 |en…”）
• 2025年11月7日 (五) 14:09 Gsxab 留言 贡献创建了页面成假指派（命题逻辑） （重定向页面至成真指派、成假指派（命题逻辑）） 标签：新重定向
• 2025年11月7日 (五) 14:08 Gsxab 留言 贡献创建了页面成真指派（命题逻辑） （重定向页面至成真指派、成假指派（命题逻辑）） 标签：新重定向
• 2025年11月7日 (五) 11:21 Gsxab 留言 贡献创建了页面合取范式 （重定向页面至析取范式、合取范式） 标签：新重定向
• 2025年11月7日 (五) 11:21 Gsxab 留言 贡献创建了页面析取范式 （重定向页面至析取范式、合取范式） 标签：新重定向
• 2025年11月7日 (五) 05:26 Gsxab 留言 贡献创建了页面双条件命题 （重定向页面至等价（逻辑）） 标签：新重定向
• 2025年11月6日 (四) 13:36 Gsxab 留言 贡献创建了页面可假式 （重定向页面至命题公式分类#可假式） 标签：新重定向
• 2025年11月6日 (四) 13:35 Gsxab 留言 贡献创建了页面可真式 （重定向页面至命题公式分类#可满足式） 标签：新重定向
• 2025年11月6日 (四) 13:32 Gsxab 留言 贡献创建了页面可满足式 （重定向页面至命题公式分类#可满足式） 标签：新重定向
• 2025年11月6日 (四) 11:30 Gsxab 留言 贡献创建了页面说谎者悖论 （重定向页面至Tarski 真理定义） 标签：新重定向
• 2025年11月4日 (二) 10:08 Gsxab 留言 贡献创建了页面或非 （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:huo4fei1}} {{#seo: |keywords=或非, 皮尔士箭头, NOR |description=本文介绍或非的定义、性质与表示方法，包括或非作为二元逻辑联结词的概念，其真值表定义，在经典逻辑中的运算性质，及其在功能完备性中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-04 }} {{InfoBox |name=或非 |eng_name=non-disjunction |alias…”）
• 2025年11月4日 (二) 08:36 Gsxab 留言 贡献创建了页面与非 （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:yu3fei1}} {{#seo: |keywords=与非, 谢费尔竖线, NAND |description=本文介绍与非的定义、性质与表示方法，包括与非作为二元逻辑联结词的概念，其真值表定义，在经典逻辑中的运算性质，及其在功能完备性中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-04 }} {{InfoBox |name=与非 |eng_name=non-conjunction |alias…”）