复习知识点：第1章1．命题、真命题、假命题2．命题符号化（连接词）
设P：天下大雨，Q：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符合
化为（D）
A．PQ
B．PQ
C．PQ
D．PQ
设P：只有你通过了大学英语六级考试，Q：你是英语专业的学生，R：你可以选修这门课程。
命题“只有你通过了大学英语六级考试而且不是英语专业的学生，才可以选修这门课程”
B
A．PQR
B．PQR
C．PQR
3．什么是命题公式4．命题公式的等价式5．利用逻辑等价关系证明下面的等价关系
PQQPPQPQ
D．PQR
证明：
PQQPPQPQQPPQPQQPPQPQQPPQPQQPPQPQQPPPQQTPQQPQQQPQTPQ
6．用真值表法求命题公式的主析取范式和主合取范式7．符号化以下语句，并推证结论的有效性。有些学生相信所有的老师，任何一个学生都不相信骗子，所以老师都不是骗子。
解：设论述域为全总个体域，Sx：x是学生，Tx：x是老师，Px：x是骗子，Lxy：x相信y。将前提和结论符号化为
xSxyTyLxyxSxyPyLxyxTxPx
（1）xSxyTyLxy（2）SayTyLay
PT1，ES
f（3）Sa（4）yTyLay（5）TbLab（6）xSxyPyLxy（7）SayPyLay（8）yPyLay（9）PbLab（10）LabPb（11）TbPb（12）xTxPx
T2，IT2，IT4，USPT6，UST37，IT8，UST9，ET510，IT11，UG
侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后，得到以下事实：
（1）是营业员甲或营业员乙作案。
（2）如果是甲作案，则案发在非营业时间。
（3）如果乙提供的证词可信，则案发时货柜未上锁。
（4）如果乙提供的证词不可信，则案发在营业时间。
（5）货柜在案发时上锁了。
侦查员推断是营业员乙作案，请用命题逻辑判断该推断是否正确。
解：设P：甲作案；Q：乙作案；R：发在营业时间；S乙的证词可信；
T：案发时货柜未上锁。
由题意可知，前提为：PQ，PR，ST，SR，T
推理过程：
（1）T
P
（2）ST
P
（3）S
T1，2，I
（4）SR
P
（5）R
T3，4，I
（6）PR
P
（7）P
T5，6，I
（8）PQ
P
f（9）PQ
T8，E
（10）Q
T7，9，I
所以PQ，PR，ST，SR，TQ
第2章
8．谓词的定义、量词包括：9．什么是谓词公式10．谓词公式的自由变元、约束变元、辖域11．自然语句的符号化：比如：所有的狼都吃人，设Tx表示为x是狼，Cx表示为x
吃人。xTxCx1r