主要公开日志

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

2026年1月13日 (二) 10:48 Gsxab 留言贡献创建了页面量词 De Morgan 律（重定向页面至De Morgan 律（逻辑）#谓词逻辑德摩根律）标签：新重定向
2026年1月13日 (二) 10:30 Gsxab 留言贡献创建了页面分类:谓词逻辑定理（创建页面，内容为“在分类:谓词逻辑的演绎推理中，有一些常见的公理或中间定理，其根据推理框架的不同可能扮演不同的身份。这些定理都有各自特定的名称，本分类下容纳这些定理的名称和说明。分类:谓词逻辑分类:证明论{{DEFAULTSORT:wei4ci2luo2ji2ding4li2}}”）
2026年1月12日 (一) 06:34 Gsxab 留言贡献创建了页面MyWiki:一般免责声明（创建页面，内容为“== 免责声明 == 本页面为'''个人笔记整理'''，请在使用时注意以下事项： === 内容准确性 === * 本笔记内容主要为个人学习过程中的记录与整理 * '''不保证信息的正确性、完整性和时效性''' * 可能存在事实错误、理解偏差或过时信息 * 请勿将本笔记内容作为权威参考依据 === 资料来源说明 === * 部分内容根据公开资料、学术文献或个人学习材料整理 * 撰…”）
2026年1月12日 (一) 05:01 Gsxab 留言贡献创建了页面MyWiki:隐私政策（创建页面，内容为“== 引言 == 本隐私政策适用于{{SITENAME}}的运营。我们深知个人信息的重要性，并承诺保护您的隐私。请在使用本网站前仔细阅读本政策，了解我们如何收集、使用和保护您的信息。 == 信息收集 == === 自动收集的信息 === 当您访问{{SITENAME}}时，我们的服务器会自动记录以下信息： * '''IP地址'''及设备信息（如浏览器类型、操作系统）。 * '''访问时间'''、浏…”）
2026年1月12日 (一) 04:21 Gsxab 留言贡献创建了页面MyWiki:关于（创建页面，内容为“本站是用户: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 留言贡献创建了页面约束变元（重定向页面至量词#变元符号分类）标签：新重定向