相关更改
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±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 留言 贡献 | ||||
|
|
10:52 | 变形规则 3次更改 历史 +132 [Gsxab （3×）] | |||
|
|
10:52 （当前 | 之前） +3 Gsxab 留言 贡献 | ||||
|
|
10:51 （当前 | 之前） +4 Gsxab 留言 贡献 | ||||
|
|
07:27 （当前 | 之前） +125 Gsxab 留言 贡献 | ||||
| 新 07:18 | 可演绎 差异历史 +68 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日 (星期三)
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 式自然演绎 12次更改 历史 +1,293 [Gsxab （12×）] | |||
|
|
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 留言 贡献 （→符号及术语说明） | ||||
|
|
13:07 （当前 | 之前） +69 Gsxab 留言 贡献 （→符号及术语说明） | ||||