跳转到内容

Advertising:

新页面

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

2026年1月9日 (星期五)

2026年1月8日 (星期四)

2026年1月7日 (星期三)

2025年12月25日 (星期四)

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月23日 (星期二)

2025年12月21日 (星期日)

2025年12月19日 (星期五)

2025年12月3日 (星期三)

2025年12月2日 (星期二)

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日 (星期二)

（最新 | 最旧） 查看（较新50条 | ）（20 | 50 | 100 | 250 | 500）
检索自“https://knowledge.gsxab.top/wiki/特殊:新建页面”

Advertising: