Scholarlink

This chapter begins with a concise overview of logic, followed by a discussion on the principles of logical thinking and writing in daily life, as well as strategies to avoid logical fallacies. Then some basic concepts are presented, such as countability of set theory and recursion of computability theory. This presentation includes all important notations used throughout the book, such as Backus–Naur Form (BNF).

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

Introduction to Logic

  • 章节

  • 发表日期：

    2025年

查看全文
  • Hantao Zhang,
  • Jian Zhang

摘要

This chapter begins with a concise overview of logic, followed by a discussion on the principles of logical thinking and writing in daily life, as well as strategies to avoid logical fallacies. Then some basic concepts are presented, such as countability of set theory and recursion of computability theory. This presentation includes all important notations used throughout the book, such as Backus–Naur Form (BNF).