跳转到内容

Advertising:

相关更改

←置换定理（谓词逻辑）

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

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

缩写列表：

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

2026年1月9日 (星期五)

			14:12		置换（逻辑） 2次更改历史 +15 [Gsxab （2×）]
					14:12 （当前 \| 之前） 0 Gsxab 留言贡献
					14:10 （当前 \| 之前） +15 Gsxab 留言贡献

			12:33		模板:谓词逻辑 6次更改历史 +250 [Gsxab （6×）]
					12:33 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） +165 Gsxab 留言贡献
					12:21 （当前 \| 之前） 0 Gsxab 留言贡献
					12:21 （当前 \| 之前） +78 Gsxab 留言贡献
					12:08 （当前 \| 之前） +7 Gsxab 留言贡献

12:09

易字变形差异历史 +62 Gsxab 留言贡献

			12:07		易字 2次更改历史 −1,135 [Gsxab （2×）]
					12:07 （当前 \| 之前） +17 Gsxab 留言贡献
					12:07 （当前 \| 之前） −1,152 Gsxab 留言贡献

			新 08:42		逻辑等值 2次更改历史 +2,120 [Gsxab （2×）]
					08:42 （当前 \| 之前） +1 Gsxab 留言贡献
			新		08:42 （当前 \| 之前） +2,119 Gsxab 留言贡献（创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:luo2ji2deng3zhi2}} {{#seo: \|keywords=逻辑等值 \|description=本文介绍谓词逻辑中逻辑等值关系的定义、性质，及其在模型论中的重要性。 \|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} \|published_time=2026-01-09 }} {{InfoBox \|name=逻辑等值 \|eng_name=logical equivalence }} '''逻辑等值'''('''logical equivalence''')指两个谓词公式之间，在所有可能的赋…”）

			08:42		逻辑蕴涵 4次更改历史 +584 [Gsxab （4×）]
					08:42 （当前 \| 之前） 0 Gsxab 留言贡献
					08:22 （当前 \| 之前） −1 Gsxab 留言贡献
					08:13 （当前 \| 之前） +122 Gsxab 留言贡献
					05:01 （当前 \| 之前） +463 Gsxab 留言贡献

2026年1月8日 (星期四)

15:02

逻辑蕴涵差异历史 +712 Gsxab 留言贡献

			12:30		谓词语言 2次更改历史 −31 [Gsxab （2×）]
					12:30 （当前 \| 之前） 0 Gsxab 留言贡献（→形式语言定义）
					12:29 （当前 \| 之前） −31 Gsxab 留言贡献

12:27

赋值（谓词逻辑）差异历史 0 Gsxab 留言贡献（→对全体自由变量的赋值（Tarski 语义学））

12:27

结构（谓词逻辑）差异历史 0 Gsxab 留言贡献（→对全体非逻辑符号的解释（Tarski 语义学））

12:26

谓词公式差异历史 0 Gsxab 留言贡献（→定义）

12:20

模板:谓词逻辑差异历史 0 Gsxab 留言贡献

08:30

函项差异历史 +271 Gsxab 留言贡献

检索自“https://knowledge.gsxab.top/wiki/特殊:最近链出更改”

Advertising: