链接至“Tarski 真理定义”的页面
以下页面链接至Tarski 真理定义：
显示34项。
- 命题 （←链接）
- 真 （←链接）
- 假 （←链接）
- 逻辑联结词 （←链接）
- 否定 （←链接）
- 合取 （←链接）
- 析取 （←链接）
- 蕴涵 （←链接）
- 等价（逻辑） （←链接）
- 命题公式 （←链接）
- 真值表 （←链接）
- 互斥析取 （←链接）
- 等值（逻辑） （←链接）
- 置换（逻辑） （←链接）
- 范式（命题公式） （←链接）
- 析取范式、合取范式 （←链接）
- 主析取范式、主合取范式 （←链接）
- 原子命题、复合命题 （←链接）
- 解释（谓词逻辑） （←链接）
- 命题语言 （←链接）
- 满足（命题逻辑） （←链接）
- 指派（命题逻辑） （←链接）
- 解释（命题逻辑） （←链接）
- 命题变元代入 （←链接）
- 充分条件、必要条件 （←链接）
- 命题公式分类 （←链接）
- 基本语义定义 （重定向至章节“真理定义（谓词逻辑）”） （←链接）
- 真 （←链接）
- 假 （←链接）
- 项（谓词逻辑） （←链接）
- 谓词 （←链接）
- 量词 （←链接）
- 全称量词 （←链接）
- 存在量词 （←链接）
- 计数量词 （←链接）
- 唯一量词 （←链接）
- 谓词公式 （←链接）
- 原子公式 （←链接）
- 个体词（谓词逻辑） （←链接）
- 函项 （←链接）
- 解释（谓词逻辑） （←链接）
- 谓词语言 （←链接）
- 赋值（谓词逻辑） （←链接）
- 满足（谓词逻辑） （←链接）
- Tarski 真理定义 （←链接）
- 模型 （←链接）
- 逻辑蕴涵 （←链接）
- 个体变项代入 （←链接）
- 可自由代入（个体变项） （←链接）
- 命题变元代入 （←链接）
- 等项替换 （←链接）
- 易字 （←链接）
- 易字变形 （←链接）
- 前束范式 （←链接）
- Skolem 范式 （←链接）
- 闭式 （←链接）
- 谓词公式分类 （←链接）
- 等词 （←链接）
- 结构（谓词逻辑） （←链接）
- 逻辑等值 （←链接）
- 置换定理（谓词逻辑） （←链接）
- 模板:谓词逻辑 （←链接）
- 函数完备性（逻辑联结词） （←链接）
- 与非 （←链接）
- 或非 （←链接）
- 说谎者悖论 （重定向至章节“说谎者悖论”） （←链接）
- 真理定义 （重定向页面） （←链接）
- 否定范式 （←链接）
- 模板:命题逻辑 （←链接）