基本语义定义：修订间差异
无编辑摘要 |
已将重定向目标从Tarski 真理定义#真理定义（命题逻辑）更改为Tarski 真理定义#真理定义（谓词逻辑） 标签：已更改重定向目标 |
||
| 第1行： | 第1行： | ||
#重定向 [[Tarski 真理定义# | #重定向 [[Tarski 真理定义#真理定义（谓词逻辑）]] | ||
[[分类:谓词逻辑]]{{DEFAULTSORT:ji1ben3yu3yi4ding4yi4}} | [[分类:谓词逻辑]]{{DEFAULTSORT:ji1ben3yu3yi4ding4yi4}} | ||