主要公开日志

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

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…”）
2025年11月3日 (一) 16:33 Gsxab 留言贡献创建了页面模板:Any （创建页面，内容为“style='background-color: rgba(127,127,127,0.1)' | ?”）
2025年11月3日 (一) 15:22 Admin 留言贡献删除页面模板:T （内容为：“#重定向模板:True”，唯一贡献者是“Gsxab”（讨论））
2025年11月3日 (一) 15:22 Admin 留言贡献删除页面模板:F （内容为：“style='background-color: rgba(255,0,0,0.1)' | F”，唯一贡献者是“Gsxab”（讨论））
2025年11月3日 (一) 14:20 Gsxab 留言贡献移动页面模板:T至模板:True
2025年11月3日 (一) 14:17 Gsxab 留言贡献创建了页面模板:False （创建页面，内容为“style='background-color: rgba(255,0,0,0.1)' | F”）
2025年11月3日 (一) 14:16 Gsxab 留言贡献创建了页面模板:F （创建页面，内容为“style='background-color: rgba(255,0,0,0.1)' | F”）
2025年11月3日 (一) 14:12 Gsxab 留言贡献创建了页面模板:T （创建页面，内容为“style='background-color: rgba(0,255,0,0.1)' | T”）
2025年11月3日 (一) 11:07 Gsxab 留言贡献移动页面原子命题至原子命题、复合命题
2025年11月3日 (一) 10:54 Gsxab 留言贡献创建了页面函数完备性（逻辑联结词）（创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:han2shu4wan2bei4xing4}} {{#seo: |keywords=函数完备集, 功能完备集, 完备集 |description=本文介绍逻辑联结词的完备集（也称函数完备集或功能完备集）的定义、性质与例子，包括函数完备集作为可以表达所有真值函数的逻辑联结词集合的概念，以及常见功能完备集。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-…”）
2025年11月2日 (日) 07:22 Gsxab 留言贡献创建了页面稠密（创建页面，内容为“分类:序理论{{DEFAULTSORT:chou2mi4xing4}} {{#seo: |keywords=稠密, 稠密性, 稠密序, 稠密子集 |description=本文介绍序理论中稠密性的定义、性质和应用，包括稠密序、稠密子集的概念，及其在数学基础、模型论和实数理论中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-02 }} {{InfoBox |name=稠密性 |eng_name=density |aliases=序稠密性 }} {{I…”）
2025年10月31日 (五) 11:43 Gsxab 留言贡献创建了页面序嵌入（创建页面，内容为“分类:序理论{{DEFAULTSORT:xu4qian4ru4}} {{#seo: |keywords=序嵌入, 序理论, 序保持映射, 嵌入 |description=本文介绍序嵌入的定义、性质和应用，包括序嵌入作为序结构间同构的概念、在不同序类型中的特征，及其在数学中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=序嵌入 |eng_name=order embedding |aliases=序嵌入映…”）
2025年10月31日 (五) 10:50 Gsxab 留言贡献创建了页面序同构（创建页面，内容为“分类:序理论{{DEFAULTSORT:序同构}} {{#seo: |keywords=序同构, 序理论, 序保持映射, 同构 |description=本文介绍序同构的定义、性质和应用，包括序同构作为序结构间同构的概念、在不同序类型中的特征，及其在数学中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=序同构 |eng_name=order isomorphism |aliases=序同构映…”）
2025年10月31日 (五) 07:37 Gsxab 留言贡献创建了页面三歧性（创建页面，内容为“分类:二元关系{{DEFAULTSORT:san1qi2xing4}} {{#seo: |keywords=三歧性 |description=本文介绍二元关系中三歧性的定义、性质和应用，包括三歧性作为不对称且完全关系的特征，及其在严格全序和数学基础中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=三歧性 |eng_name=trichotomy |aliases=三分律 }} {{InfoBox |name=三歧的 |e…”）
2025年10月31日 (五) 06:20 Gsxab 留言贡献创建了页面不可数（重定向页面至可数集）标签：新重定向
2025年10月31日 (五) 06:19 Gsxab 留言贡献创建了页面可列（重定向页面至可数集）标签：新重定向
2025年10月31日 (五) 06:19 Gsxab 留言贡献创建了页面可数（重定向页面至可数集）标签：新重定向
2025年10月31日 (五) 06:19 Gsxab 留言贡献创建了页面不可数集（重定向页面至可数集）标签：新重定向
2025年10月31日 (五) 06:06 Gsxab 留言贡献创建了页面Ε 数（创建页面，内容为“分类:序数理论{{DEFAULTSORT:epsilon shu4}} {{#seo: |keywords=ε数 |description=本文描述了ε数的定义和性质，讲解了其在序数运算法中的特殊作用。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=艾普西隆数 |eng_name=epsilon number }} {{小写字母开头}} '''ε 数'''('''additively indecomposable ordinal''')是一类在序数[[乘方（序数）|乘方]…”）
2025年10月30日 (四) 16:26 Gsxab 留言贡献创建了页面Cantor 标准型（创建页面，内容为“分类:序数理论分类:以 Cantor 命名{{DEFAULTSORT:cantor biao1zhun3xing2}} {{#seo: |keywords=康托尔标准型, 康托尔范式, Cantor标准型, Cantor范式 |description=本文介绍 Cantor 标准型的定义、性质和应用，包括序数的唯一表示形式、例子及其在序数算术和集合论中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-30 }} {{InfoBox |name=Cantor 标…”）
2025年10月30日 (四) 14:31 Gsxab 留言贡献创建了页面乘方（序数）（创建页面，内容为“分类:序数理论{{DEFAULTSORT:cheng2fang1}} {{#seo: |keywords=序数乘方, 序数乘方, 序型乘方 |description=本文介绍序数乘方的定义、性质和应用，包括通过良序集映射的集合和超限递归两种定义方式，以及序数乘方的结合律、分配律、非交换性等基本性质。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-30 }} {{InfoBox |name=乘方 |eng_name=exponentia…”）
2025年10月30日 (四) 11:04 Gsxab 留言贡献创建了页面乘性不可分解序数（创建页面，内容为“分类:序数理论{{DEFAULTSORT:cheng1xing4bu4ke3fen1jie3xu4shu4}} {{#seo: |keywords=乘性不可分解序数, δ数 |description=本文描述了乘性不可分解序数或δ数的定义和性质，讲解了其在序数乘法中的特殊作用。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-30 }} {{InfoBox |name=乘性不可分解序数 |eng_name=multiplicatively indecomposable ordinal |aliases=德尔塔数,del…”）
2025年10月30日 (四) 10:44 Gsxab 留言贡献创建了页面模板:序数（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' ! colspan=3 style='border-bottom-width:2px' | 序数 |- ! 构造 | colspan=2 | 0 、后继序数、极限序数 |- ! 分类 | colspan=2 | 有限序数（自然数）、可数序数、不可数序数 |- ! rowspan=6 | 运算 ! style="font-size:small" | 名称 ! style="font-size:small" | 不可分解点或不动点 |- | 后继、上确界 | - |- | 加法（序数）|…”）