词wff
xPxyOyNyx的自然语言是
。
8、谓词wffxyzPxzPyzuQxyu的前束范式为
。
二、
选择20（每小题2分）
）。
1、下述命题公式中，是重言式的为（
A、pqpq；B、pqpqqp；C、pqq；2、wffD、ppq。）。
pqr的主析取范式中含极小项的个数为（
C、5；D、0；E、8。
A、2；B、3；3、给定推理
f①xFxGx②FyGy③xFx④Fy⑤Gy⑥xGx
PUS①PES③T②④IUG⑤
xFxGxxGx
推理过程中错在（）。A、①②B、②③C、③④D、④⑤E、⑤⑥4、设S11，2，…，8，9，S22，4，6，8，S31，3，5，7，9，S43，4，5，S53，5，在条件XS1且XS3下X与（A、XS2或S5；B、XS4或S5；）集合相等。
C、XS1，S2或S4；D、X与S1，…，S5中任何集合都不等。5、设R和S是P上的关系，P是所有人的集合，
RxyxyPx是y的父亲，SxyxyPx是y的母亲
则S
1
R表示关系（
）。
；A、xyxyPx是y的丈夫；B、xyxyPx是y的孙子或孙女。C、；D、xyxyPx是y的祖父或祖母
6、下面函数（A、fRRB、fZRC、fRZD、fRR

）是单射而非满射。
fxx22x1；
fxl
x；
fxxx表示不大于x的最大整数；
fx2x1。
其中R为实数集，Z为整数集，R，Z分别表示正实数与正整数集。7、设S1，2，3，R为S上的关系，其关系图为
则R具有（
）的性质。
fA、自反、对称、传递；C、反自反、反对称、传递；8、设S112，则有（
B、什么性质也没有；D、自反、对称、反对称、传递。）S。
A、12；B、12；C、1；D、2。9、设A123，则A上有（A、23
23
）个二元关系。
32
；B、32；C、2；D、2。）。
10、全体小项合取式为（
A、可满足式；B、矛盾式；C、永真式；D、A，B，C都有可能。
三、
用CP规则证明16（每小题8分）
AF
1、ABCDDEF
2、xPxQxxPxxQx
四、（14）
集合X123456…，Rx1y1x2y2x1y2x2y1。1、证明R是X上的等价关系。（10分）2、求出X关于R的商集。（4分）
五、（10）
设集合Aabcd上关系Rabbabccdr