描述 形式演绎逻辑简介, 涵盖命题逻辑(真功能逻辑)和一阶谓词逻辑(量化理论). 典型的主题包括:符号化技术, 真值表, 有效性和可靠性, 以及自然演绎的技巧. 符号表示法被广泛使用. 不需要1341作为先决条件. 学分 3学分 水平 较低的部门