逻辑符号化为（
）。
设D：全总个体域，F（x）：x是花，Mx：x是人，Hxy：x喜欢yA、xMxyFyHxy；B、xMxyFyHxy；C、xMxyFyHxy；D、xMxyFyHxy。7、公式xyPxyQyzxPxy换名（）。
A、xuPxuQuzxPxy；B、xyPxuQuzxPxu；
xyPxyQyzxPxu；uyPuyQyzuPuy。C、D、
8、给定公式xPxxPx，当Dab时，解释（为0。A、Pa0、Pb0；B、Pa0、Pb1；C、Pa1、Pb0；D、Pa1、Pb19、下面蕴涵关系成立的是（）。）使该公式真值
A、xPxxQxxPxQx；B、xPxxQxxPxQx；C、xPxxQxxPxQx；D、xyAxyyxAxy。10、下列推理步骤错在（①yyFxy②yFzy③Fzc④xFxc⑤yxFxyPUS①ES②UG③EG④）。
A、①→②；B、②→③；C、③→④；D、④→⑤。
三、逻辑判断28
1、（8分）下列命题相容吗？ABBC
A
2、（10分）用范式方法判断公式PQPRPQR是否等价。3、（10分）下列前提下结论是否有效？今天或者天晴或者下雨。如果天晴，我去看电影；若我去看电影，我就不看书。故我在看书时，说明今天下雨。
f四、计算12
1、（5分）给定3个命题：P：北京比天津人口多；Q：2大于1；R：15是素数。求复合命题：QRPR的真值。2、（7分）给定解释I：D2，3，L（xy）为L22L331L23L320求谓词合式公式yxLxy的真值。
五、逻辑推理20
1、（10分）所有有理数是实数，某些有理数是整数，因此某些实数是整数。2、（10分）符号化语句：“有些病人相信所有的医生，但是病人都不相信骗子，所以医生都不是骗子”。并推证其结论。答案二十六、填空15（每小题3分）
yPuyzQuzxRxv；xFxGx；1、P，Q的真值相同；2、3、
4、xAxAy；5、二十七、选择30（每小题3分）。
题目答案
1B、C
2A、C
3B
4C、D
5C
6D
7A
8B、C
9B、D
10C
二十八、逻辑判断281、（8分）①AB②A③B④BC⑤BC⑥B⑦F所以ABBCPPT①②IPT④ET⑤IT③⑥I
A不相容。
f2、（10分）
PQPRr