数理逻辑

命题表达式 命题语言的字符集由和变量和命题运算符构成，由于 \(\land, \lor, \leftrightarrow\) 都能用 \(\lnot, \to\) 代替，故定义符号表： \[\Sigma := \{ (, ), \lnot, \to, A_n | n \in \mathbb N \} ......