Scholarlink

The goal of this chapter is to develop the formal language of First-Order Logic from scratch. At the same time, we introduce some terminology of the so-called metalanguage, which is the language we use when we speak about the formal language (e.g., when we want to express that two strings of symbols are equal).

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

Syntax: The Grammar of Symbols

  • 章节

  • 发表日期：

    2025年

查看全文
  • Lorenz Halbeisen,
  • Regula Krapf

摘要

The goal of this chapter is to develop the formal language of First-Order Logic from scratch. At the same time, we introduce some terminology of the so-called metalanguage, which is the language we use when we speak about the formal language (e.g., when we want to express that two strings of symbols are equal).