y消去量词化为．8．谓词命题公式xPx→Qx∨Rx，y中的约束变元为．
三、公式翻译题1．请将语句“今天不是天晴”翻译成命题公式．
2．请将语句“如果天下雪，则我明天就去市里”翻译成命题公式．
3．请将语句“除非你去，否则我不去”翻译成命题公式．
4．请将语句“我去书店，仅当天不下雨”翻译成命题公式．
2
f★形成性考核作业★
5．请将语句“你去听课，他也去听课”翻译成命题公式．
6．请将语句“尽管他参加了考试，但他没有通过考试．”翻译成命题公式．
7．请将语句“有人不去工作”翻译成谓词公式．
8．请将语句“所有人都不去上课．”翻译成谓词公式．
9．请将语句“所有人都努力工作．”翻译成谓词公式．
四、判断说明题（判断下列各题，并说明理由．）1．命题公式QPP为永假式．
3
f★形成性考核作业★
2．命题公式PQPQP为永真式．
3．谓词公式xPxyGxyxPx是永真式．
4．下面的推理是否正确，请给予说明．1xAxxBx2AyBy
前提引入US1
五．计算题1．（1）求命题公式PQPQ的主析取范式、主合取范式；（2）求该命题公式的成假赋值．
4
f★形成性考核作业★
2．求命题公式PQPQ的析取范式、合取范式、主析取范式、主合取范式．
3．设谓词公式xPxyzQyxzyRyzFy．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．
4．设个体域为Da1a2，求谓词公式yxPxy消去量词后的等值式；
5
f★形成性考核作业★
六、证明题1．试证明PQRPQ与（PQ）等值．
2．试证明PQRQ与PRQ有相同的主析取范式．
3．试证明xAxxBxxAxBx
6
fr