Scholarlink

First-order logic extends propositional logic by introducing functions and quantifiers. This chapter shows that all semantic notions and proof methods are carried over from propositional logic to first-order logic. First-order logic is also compared to higher-order logics. The chapter describes how to obtain CNF (i.e., clauses) from general first-order formulas. Herbrand models for clauses are also introduced.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

First-Order Logic

  • 章节

  • 发表日期：

    2025年

查看全文
  • Hantao Zhang,
  • Jian Zhang

摘要

First-order logic extends propositional logic by introducing functions and quantifiers. This chapter shows that all semantic notions and proof methods are carried over from propositional logic to first-order logic. First-order logic is also compared to higher-order logics. The chapter describes how to obtain CNF (i.e., clauses) from general first-order formulas. Herbrand models for clauses are also introduced.