相关更改
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±123)
- 该页面字节数的前后变化
2026年1月16日 (星期五)
|
|
10:57 | 自然演绎系统 5次更改 历史 +1,125 [Gsxab （5×）] | |||
|
|
10:57 （当前 | 之前） −20 Gsxab 留言 贡献 | ||||
|
|
09:48 （当前 | 之前） +68 Gsxab 留言 贡献 （→谓词逻辑） | ||||
|
|
09:45 （当前 | 之前） +136 Gsxab 留言 贡献 （→谓词逻辑） | ||||
|
|
09:29 （当前 | 之前） +2 Gsxab 留言 贡献 | ||||
|
|
04:26 （当前 | 之前） +939 Gsxab 留言 贡献 | ||||
2026年1月15日 (星期四)
| 14:55 | 自然演绎系统 差异历史 +1,051 Gsxab 留言 贡献 | ||||
|
|
13:14 | 形式化公理系统（逻辑） 2次更改 历史 +412 [Gsxab （2×）] | |||
|
|
13:14 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
12:20 （当前 | 之前） +412 Gsxab 留言 贡献 | ||||
|
|
13:13 | 公理系统（逻辑） 3次更改 历史 +676 [Gsxab （3×）] | |||
|
|
13:13 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
13:12 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
13:10 （当前 | 之前） +676 Gsxab 留言 贡献 | ||||
2026年1月14日 (星期三)
| 03:48 | 形式化公理系统（逻辑） 差异历史 +82 Gsxab 留言 贡献 | ||||
|
|
03:38 | 公理系统（逻辑） 3次更改 历史 +336 [Gsxab （3×）] | |||
|
|
03:38 （当前 | 之前） +247 Gsxab 留言 贡献 | ||||
|
|
03:35 （当前 | 之前） 0 Gsxab 留言 贡献 | ||||
|
|
03:34 （当前 | 之前） +89 Gsxab 留言 贡献 | ||||
| 03:31 | 自然演绎系统 差异历史 +72 Gsxab 留言 贡献 | ||||
2026年1月13日 (星期二)
| 14:54 | 自然演绎系统 差异历史 +167 Gsxab 留言 贡献 | ||||
|
|
14:49 | 公理系统（逻辑） 2次更改 历史 +115 [Gsxab （2×）] | |||
|
|
14:49 （当前 | 之前） +37 Gsxab 留言 贡献 | ||||
|
|
14:48 （当前 | 之前） +78 Gsxab 留言 贡献 | ||||
| 14:36 | 形式化公理系统（逻辑） 差异历史 −3 Gsxab 留言 贡献 | ||||
|
|
12:06 | 分类:证明论 2次更改 历史 +574 [Gsxab （2×）] | |||
|
|
12:06 （当前 | 之前） +1 Gsxab 留言 贡献 | ||||
|
|
12:04 （当前 | 之前） +573 Gsxab 留言 贡献 | ||||
2026年1月8日 (星期四)
|
|
12:30 | 谓词语言 2次更改 历史 −31 [Gsxab （2×）] | |||
|
|
12:30 （当前 | 之前） 0 Gsxab 留言 贡献 （→形式语言定义） | ||||
|
|
12:29 （当前 | 之前） −31 Gsxab 留言 贡献 | ||||
|
|
04:57 | 个体变项代入 4次更改 历史 +500 [Gsxab （4×）] | |||
|
|
04:57 （当前 | 之前） +257 Gsxab 留言 贡献 | ||||
|
|
03:57 （当前 | 之前） +85 Gsxab 留言 贡献 | ||||
|
|
03:42 （当前 | 之前） −8 Gsxab 留言 贡献 | ||||
|
|
03:42 （当前 | 之前） +166 Gsxab 留言 贡献 | ||||
2026年1月6日 (星期二)
2026年1月4日 (星期日)
|
|
14:28 | 可自由代入（个体变项） 2次更改 历史 +858 [Gsxab （2×）] | |||
|
|
14:28 （当前 | 之前） +879 Gsxab 留言 贡献 | ||||
|
|
11:21 （当前 | 之前） −21 Gsxab 留言 贡献 | ||||
2025年12月23日 (星期二)
|
|
15:56 | 谓词语言 2次更改 历史 +634 [Gsxab （2×）] | |||
|
|
15:56 （当前 | 之前） +102 Gsxab 留言 贡献 | ||||
|
|
15:39 （当前 | 之前） +532 Gsxab 留言 贡献 | ||||