链接至“模板:谓词逻辑”的页面
以下页面链接至模板:谓词逻辑：
显示35项。
- 真值 （嵌入） （←链接）
- 真 （嵌入） （←链接）
- 假 （嵌入） （←链接）
- 项（谓词逻辑） （嵌入） （←链接）
- 谓词 （嵌入） （←链接）
- 量词 （嵌入） （←链接）
- 全称量词 （嵌入） （←链接）
- 存在量词 （嵌入） （←链接）
- 计数量词 （嵌入） （←链接）
- 唯一量词 （嵌入） （←链接）
- 谓词公式 （嵌入） （←链接）
- 原子公式 （嵌入） （←链接）
- 个体词（谓词逻辑） （嵌入） （←链接）
- 函项 （嵌入） （←链接）
- 解释（谓词逻辑） （嵌入） （←链接）
- 谓词语言 （嵌入） （←链接）
- 赋值（谓词逻辑） （嵌入） （←链接）
- 满足（谓词逻辑） （嵌入） （←链接）
- Tarski 真理定义 （嵌入） （←链接）
- 模型 （嵌入） （←链接）
- 逻辑蕴涵 （嵌入） （←链接）
- 个体变项代入 （嵌入） （←链接）
- 可自由代入（个体变项） （嵌入） （←链接）
- 命题变元代入 （嵌入） （←链接）
- 等项替换 （嵌入） （←链接）
- 易字 （嵌入） （←链接）
- 易字变形 （嵌入） （←链接）
- 前束范式 （嵌入） （←链接）
- Skolem 范式 （嵌入） （←链接）
- 闭式 （嵌入） （←链接）
- 谓词公式分类 （嵌入） （←链接）
- 等词 （嵌入） （←链接）
- 结构（谓词逻辑） （嵌入） （←链接）
- 逻辑等值 （嵌入） （←链接）
- 置换定理（谓词逻辑） （嵌入） （←链接）