跳转到内容

Advertising:

新页面

新页面
隐藏注册用户 | 隐藏机器人 | 显示重定向
（最新 | 最旧） 查看（较新50条 | ）（20 | 50 | 100 | 250 | 500）

2026年1月9日 (星期五)

2025年12月24日 (星期三)

  • 12:412025年12月24日 (三) 12:41 结构（谓词逻辑） （历史 | 编辑） [3,866字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:jie2gou4}} {{#seo: |keywords=结构, 逻辑语义学 |description=本文介绍谓词逻辑中结构的定义、性质与应用，包括结构作为个体常项、函项、谓词符号对应到论域中个体及其关系的映射概念，其在谓词逻辑语义学中的作用。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2023-09-02 }} {{InfoBox |name=结构 |eng_name=structure |aliases…”）

2025年12月3日 (星期三)

  • 06:192025年12月3日 (三) 06:19 否定后件 （历史 | 编辑） [2,186字节] 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,拒取式 }…”）
  • 05:222025年12月3日 (三) 05:22 肯定前件 （历史 | 编辑） [2,291字节] 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:482025年12月2日 (二) 16:48 二难推理 （历史 | 编辑） [1,866字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2xuan3yan2tui1li3}} {{#seo: |keywords=选言假言推理,二难推理 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} '''选言假言推理'''指古典逻辑中结合一个选言命题及与其选言支数目相…”）
  • 15:452025年12月2日 (二) 15:45 选言命题 （历史 | 编辑） [2,115字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:xuan3yan2ming4ti2}} {{#seo: |keywords=选言命题 |description=选言命题是古典逻辑理论中存在选择的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-12-02 }} '''选言命题'''是古典逻辑中对命题的一个分类。选言命题指描述选择关系的命题，包括相容的选…”）
  • 08:592025年12月2日 (二) 08:59 逆命题、否命题、逆否命题 （历史 | 编辑） [2,895字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:ni4fou3ming4ti2}} {{#seo: |keywords=逆命题, 否命题, 逆否命题, 四种命题的关系 |description=对条件命题（假言命题），直接对命题进行变形得到几种命题分别被称为逆命题、否命题、逆否命题。和原命题在一起的这四种命题间，互为逆否的两对总是有相同的真值。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=202…”）

2025年11月30日 (星期日)

  • 17:012025年11月30日 (日) 17:01 假言推理 （历史 | 编辑） [3,137字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2tui1li3}} {{#seo: |keywords=假言推理,肯定前件,否定后件 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} '''假言推理'''指古典逻辑中对假言命题进行的直接推理。 == 条件推理…”）
  • 09:382025年11月30日 (日) 09:38 假言命题 （历史 | 编辑） [6,132字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:古典逻辑{{DEFAULTSORT:jia3yan2ming4ti2}} {{#seo: |keywords=假言命题 |description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-30 }} {{InfoBox |name=假言命题 }} '''假言命题'''是古典逻辑中对命题的一个分类。假言命题指描述条件…”）

2025年11月25日 (星期二)

2025年11月23日 (星期日)

2025年11月22日 (星期六)

  • 15:242025年11月22日 (六) 15:24 爆炸原理 （历史 | 编辑） [1,894字节] 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月17日 (星期一)

  • 17:462025年11月17日 (一) 17:46 有效推理 （历史 | 编辑） [1,458字节] 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日 (星期二)

  • 08:032025年11月11日 (二) 08:03 真值函数 （历史 | 编辑） [1,017字节] 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:292025年11月9日 (日) 14:29 否定范式 （历史 | 编辑） [2,909字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑 分类:形式语言实例{{DEFAULTSORT:fou3ding4fan4shi4}} {{#seo: |keywords=代数范式, ANF, Zhegalkin范式, Жегалкина范式, Zhegalkin多项式, Жегалкина多项式, 里德-马勒展开式 |description=代数范式(ANF)是命题公式的标准表示形式，仅使用合取和异或运算。每个布尔函数都有唯一的代数范式，在密码学、电路设计和编码理论中有重要应用，也称为Zheg…”）
  • 13:242025年11月9日 (日) 13:24 代数范式 （历史 | 编辑） [6,212字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑 分类:逻辑代数{{DEFAULTSORT:dai4shu4fan4shi4}} {{#seo: |keywords=代数范式, ANF, Zhegalkin范式, Жегалкина范式, Zhegalkin多项式, Жегалкина多项式, 里德-马勒展开式 |description=代数范式(ANF)是命题公式的标准表示形式，仅使用合取和异或运算。每个布尔函数都有唯一的代数范式，在密码学、电路设计和编码理论中有重要应用，也称为Zhegalkin…”）

2025年11月7日 (星期五)

  • 14:312025年11月7日 (五) 14:31 成真指派、成假指派（命题逻辑） （历史 | 编辑） [2,142字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:cheng2zhen1zhi3pai4cheng2jia3zhi3pai4}} {{#seo: |keywords=成真指派, 成假指派, 逻辑语义学 |description=本文详细介绍成了真指派（满足指派）和成假指派的定义、性质、计算方法，及其与主析取范式、主合取范式、可满足性问题的内在联系。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-07 }} {{InfoBox |name=成真指派 |en…”）

2025年11月6日 (星期四)

2025年11月4日 (星期二)

  • 10:082025年11月4日 (二) 10:08 或非 （历史 | 编辑） [3,187字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:huo4fei1}} {{#seo: |keywords=或非, 皮尔士箭头, NOR |description=本文介绍或非的定义、性质与表示方法，包括或非作为二元逻辑联结词的概念，其真值表定义，在经典逻辑中的运算性质，及其在功能完备性中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-04 }} {{InfoBox |name=或非 |eng_name=non-disjunction |alias…”）
  • 08:362025年11月4日 (二) 08:36 与非 （历史 | 编辑） [3,253字节] 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日 (星期一)

  • 10:542025年11月3日 (一) 10:54 函数完备性（逻辑联结词） （历史 | 编辑） [5,401字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:han2shu4wan2bei4xing4}} {{#seo: |keywords=函数完备集, 功能完备集, 完备集 |description=本文介绍逻辑联结词的完备集（也称函数完备集或功能完备集）的定义、性质与例子，包括函数完备集作为可以表达所有真值函数的逻辑联结词集合的概念，以及常见功能完备集。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-…”）

2025年11月2日 (星期日)

  • 07:222025年11月2日 (日) 07:22 稠密 （历史 | 编辑） [1,483字节] 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:432025年10月31日 (五) 11:43 序嵌入 （历史 | 编辑） [2,313字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:序理论{{DEFAULTSORT:xu4qian4ru4}} {{#seo: |keywords=序嵌入, 序理论, 序保持映射, 嵌入 |description=本文介绍序嵌入的定义、性质和应用，包括序嵌入作为序结构间同构的概念、在不同序类型中的特征，及其在数学中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=序嵌入 |eng_name=order embedding |aliases=序嵌入映…”）
  • 10:502025年10月31日 (五) 10:50 序同构 （历史 | 编辑） [2,543字节] Gsxab​（留言 | 贡献） （创建页面，内容为“分类:序理论{{DEFAULTSORT:序同构}} {{#seo: |keywords=序同构, 序理论, 序保持映射, 同构 |description=本文介绍序同构的定义、性质和应用，包括序同构作为序结构间同构的概念、在不同序类型中的特征，及其在数学中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-10-31 }} {{InfoBox |name=序同构 |eng_name=order isomorphism |aliases=序同构映…”）
（最新 | 最旧） 查看（较新50条 | ）（20 | 50 | 100 | 250 | 500）
检索自“https://knowledge.gsxab.top/wiki/特殊:新建页面”

Advertising: