CS 210: Mathematical Logic Notes
FOL Syntax 一阶逻辑（First-Order Logic）句法
- domain ：论域
- constants ：常量（我觉得理解为“元素”更好）
- variables：变量 用小写字母表示，如 $x,y,z$
- predicate：谓词 表示关系的符号，用大写字母表示，如 $P,Q,R$
- Quantifiers:：量词
- Functions：函数符号
FOL as a Formal language
Alphabet
Syntax
Terms(项)
terms are expressions referring to “objects”
- Examples :
Atoms
Atomic formulas refer to properties or relations of objects
Formulas
Precedence and Conventions
Parse Trees
