链接至“谓词公式分类”的页面
以下页面链接至谓词公式分类：
已显示27项。
- 真值 （←链接）
- 项（谓词逻辑） （←链接）
- 谓词 （←链接）
- 量词 （←链接）
- 全称量词 （←链接）
- 存在量词 （←链接）
- 计数量词 （←链接）
- 唯一量词 （←链接）
- 谓词公式 （←链接）
- 原子公式 （←链接）
- 个体词（谓词逻辑） （←链接）
- 函项 （←链接）
- 解释（谓词逻辑） （←链接）
- 赋值（谓词逻辑） （←链接）
- 逻辑蕴含 （←链接）
- 个体变项代入 （←链接）
- 可自由代入（个体变项） （←链接）
- 命题变元代入 （←链接）
- 等项替换 （←链接）
- 易字 （←链接）
- 易字式 （←链接）
- 易字变形 （←链接）
- 前束范式 （←链接）
- Skolem 范式 （←链接）
- 闭式 （←链接）
- 等词 （←链接）
- 模板:谓词逻辑 （←链接）