相关更改

输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。

最近更改选项显示过去1 | 3 | 7 | 14 | 30天的最后50 | 100 | 250 | 500个更改
隐藏注册用户 | 隐藏匿名用户 | 隐藏我的编辑 | 显示机器人 | 隐藏小编辑
显示2026年2月1日 (星期日) 15:18之后的新更改

缩写列表：

新: 该编辑创建了新页面（见新页面列表）
小: 该编辑为小编辑
机: 该编辑由机器人执行
(±123): 该页面字节数的前后变化

2026年1月26日 (星期一)

06:18

独立性差异历史 +505 Gsxab 留言贡献

			06:16		一致性 4次更改历史 +816 [Gsxab （4×）]
					06:16 （当前 \| 之前） 0 Gsxab 留言贡献
					04:19 （当前 \| 之前） +23 Gsxab 留言贡献
					04:16 （当前 \| 之前） +700 Gsxab 留言贡献
					02:41 （当前 \| 之前） +93 Gsxab 留言贡献

2026年1月25日 (星期日)

13:18

一致性差异历史 +79 Gsxab 留言贡献

			13:17		完备性（逻辑） 2次更改历史 +759 [Gsxab （2×）]
					13:17 （当前 \| 之前） −14 Gsxab 留言贡献
					13:13 （当前 \| 之前） +773 Gsxab 留言贡献

13:15

模板:证明论差异历史 +32 Gsxab 留言贡献

13:03

可靠性差异历史 +135 Gsxab 留言贡献

2026年1月23日 (星期五)

			13:03		可靠性 2次更改历史 +766 [Gsxab （2×）]
					13:03 （当前 \| 之前） 0 Gsxab 留言贡献
					13:02 （当前 \| 之前） +766 Gsxab 留言贡献

			12:35		元定理 3次更改历史 +308 [Gsxab （3×）]
					12:35 （当前 \| 之前） 0 Gsxab 留言贡献
					12:35 （当前 \| 之前） +299 Gsxab 留言贡献
					07:15 （当前 \| 之前） +9 Gsxab 留言贡献

12:31

保存重言性差异历史 +1,602 Gsxab 留言贡献

			12:16		保存真实性 5次更改历史 +1,392 [Gsxab （5×）]
					12:16 （当前 \| 之前） +36 Gsxab 留言贡献
					12:04 （当前 \| 之前） 0 Gsxab 留言贡献
					12:04 （当前 \| 之前） +674 Gsxab 留言贡献
					11:41 （当前 \| 之前） +132 Gsxab 留言贡献
					11:28 （当前 \| 之前） +550 Gsxab 留言贡献

2026年1月22日 (星期四)

			06:02		公理（逻辑） 3次更改历史 +567 [Gsxab （3×）]
					06:02 （当前 \| 之前） +37 Gsxab 留言贡献（→分类）
					05:56 （当前 \| 之前） −2 Gsxab 留言贡献
					05:55 （当前 \| 之前） +532 Gsxab 留言贡献

			05:42		模板:证明论 2次更改历史 +13 [Gsxab （2×）]
					05:42 （当前 \| 之前） +13 Gsxab 留言贡献
					04:23 （当前 \| 之前） 0 Gsxab 留言贡献

05:16

定理差异历史 +24 Gsxab 留言贡献

05:03

演绎差异历史 +843 Gsxab 留言贡献

			04:23		证明 2次更改历史 +1,317 [Gsxab （2×）]
					04:23 （当前 \| 之前） +1,137 Gsxab 留言贡献
					03:55 （当前 \| 之前） +180 Gsxab 留言贡献

2026年1月21日 (星期三)

11:48

自然演绎系统差异历史 −9 Gsxab 留言贡献

2026年1月17日 (星期六)

15:33

Fitch 式自然演绎差异历史 +230 Gsxab 留言贡献

05:06

模板:证明论差异历史 +214 Gsxab 留言贡献

05:00

自然演绎系统差异历史 −5,152 Gsxab 留言贡献

			02:35		Gentzen 式自然演绎 2次更改历史 +18 [Gsxab （2×）]
					02:35 （当前 \| 之前） +5 Gsxab 留言贡献（→描述）
					02:34 （当前 \| 之前） +13 Gsxab 留言贡献（→描述）

2026年1月16日 (星期五)

			新 15:51		Fitch 式自然演绎 3次更改历史 +10,382 [Gsxab （3×）]
					15:51 （当前 \| 之前） +4,611 Gsxab 留言贡献
					15:02 （当前 \| 之前） +7 Gsxab 留言贡献
			新		15:02 （当前 \| 之前） +5,764 Gsxab 留言贡献（创建页面，内容为“分类:证明论{{DEFAULTSORT:fitch shi4zi4ran2yan3yi4}} {{#seo: \|keywords=费奇式自然演绎 \|description=费奇式自然演绎是自然演绎系统的一种记号，本文介绍了这种记号的写法，以及用于命题逻辑、谓词逻辑时的推理规则。 \|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} \|published_time=2026-01-16 }} {{InfoBox \|name=费奇式自然演绎 \|eng_name=Fitch's natural deduction \|aliases=Fitch's not…”）

			14:43		Gentzen 式自然演绎 11次更改历史 +1,224 [Gsxab （11×）]
					14:43 （当前 \| 之前） +63 Gsxab 留言贡献
					14:08 （当前 \| 之前） +6 Gsxab 留言贡献（→符号及术语说明）
					14:08 （当前 \| 之前） −13 Gsxab 留言贡献（→描述）
					14:03 （当前 \| 之前） +218 Gsxab 留言贡献（→特征）
					13:54 （当前 \| 之前） +188 Gsxab 留言贡献（→谓词逻辑）
					13:53 （当前 \| 之前） +27 Gsxab 留言贡献（→命题逻辑）
					13:52 （当前 \| 之前） +3 Gsxab 留言贡献（→符号及术语说明）
					13:49 （当前 \| 之前） +360 Gsxab 留言贡献（→描述）
					13:18 （当前 \| 之前） +246 Gsxab 留言贡献（→特征）
					13:10 （当前 \| 之前） 0 Gsxab 留言贡献（→符号及术语说明）
					13:09 （当前 \| 之前） +126 Gsxab 留言贡献（→符号及术语说明）

命名空间：	反选关联的命名空间
标签过滤：	反选
页面名称：	显示链到所给出的页面

			06:16		一致性 4次更改历史 +816 [Gsxab （4×）]
					06:16 （当前 \| 之前） 0 Gsxab 留言贡献
					04:19 （当前 \| 之前） +23 Gsxab 留言贡献
					04:16 （当前 \| 之前） +700 Gsxab 留言贡献
					02:41 （当前 \| 之前） +93 Gsxab 留言贡献

			12:35		元定理 3次更改历史 +308 [Gsxab （3×）]
					12:35 （当前 \| 之前） 0 Gsxab 留言贡献
					12:35 （当前 \| 之前） +299 Gsxab 留言贡献
					07:15 （当前 \| 之前） +9 Gsxab 留言贡献

			12:16		保存真实性 5次更改历史 +1,392 [Gsxab （5×）]
					12:16 （当前 \| 之前） +36 Gsxab 留言贡献
					12:04 （当前 \| 之前） 0 Gsxab 留言贡献
					12:04 （当前 \| 之前） +674 Gsxab 留言贡献
					11:41 （当前 \| 之前） +132 Gsxab 留言贡献
					11:28 （当前 \| 之前） +550 Gsxab 留言贡献

			06:02		公理（逻辑） 3次更改历史 +567 [Gsxab （3×）]
					06:02 （当前 \| 之前） +37 Gsxab 留言贡献（→分类）
					05:56 （当前 \| 之前） −2 Gsxab 留言贡献
					05:55 （当前 \| 之前） +532 Gsxab 留言贡献