第2章 一阶逻辑
命题逻辑的基本元素：简单命题
苏格拉底三段论：
所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。
符符号化：P：所有的人都是要死的，
2.1一阶逻辑的基本概念
谓词常元，谓词变元
个体常元：具体的，特定的个体，a,b,c
个体变元：
授课教师
离散数学
课程特色
PPT(110)
视频(115)
第2章 一阶逻辑
命题逻辑的基本元素：简单命题
苏格拉底三段论：
所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。
符符号化：P：所有的人都是要死的，
2.1一阶逻辑的基本概念
谓词常元，谓词变元
个体常元：具体的，特定的个体，a,b,c
个体变元：
