填空 10%(每小题 2 分)1、若 P,Q,为二命题，PTQ 真值为 0 当且仅当
2、命题''对于任意给定的正实数，都存在比它大的实数”令 F(x)：x 为实数，L(x,y):x>y则命题的逻辑谓词公式为
3、谓词合式公式 VxP(x)T3xQ(x)的前束范式为
4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则
5、设 x 是谓词合式公式 A 的一个客体变元，A 的论域为 D,A(x)关于 y 是自由的，则被称为存在量词消去规则，记为 ES
二、选择 25%(每小题分)1、下列语句是命题的有()
A、明年中秋节的晚上是晴天；B、x+y>0；C、xy>0 当且仅当 x 和 y 都大于 0；D、我正在说谎
2、下列各命题中真值为真的命题有()
A、2+2=4 当且仅当 3 是奇数；B、2+2=4 当且仅当 3 不是奇数；C、2+2 工 4 当且仅当 3 是奇数；D、2+2 工 4 当且仅当 3 不是奇数；3、下列符号串是合式公式的有()A、POQ；B、P=PvQ；C、(「PvQ)A(Pv^Q)；D、「(P 吕 Q)
4、下列等价式成立的有()
A、PTQO—QT—P；B、Pv(PAR)OR；C、PA(PTQ)OQ；D、PT(QTR)O(PAQ)TR
5、若 A,A…A 和 B 为 wff,且 AAAA…AAnB 则()
12n12nA、称 AAAA…AA 为 B 的前件；B、称 B 为 A,A…A 的有效结论12n12nMortal(x)：M(x)AMortal(x)3x(M(x)AMortal(x))当且仅当 AAAA…AAA—iBF12n)
E、A 吕 B 为重言式
x 是要死的
C、当且仅当 AAAA…AAABoF；D、12n6、A,B 为二合式公式，且 AoB，贝 y(A、ATB 为重言式；B、A*
