填空 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*=B*；C、AnB；D、A*oB*；7、“人总是要死的”谓词公式表示为((论域为全总个体域)M(x)：x 是人；A、M(x)TMortal(x)；B、C、Vx(M(x)TMortal(x))；D、8、公式 A=3x(P(x)TQ(x))的解释 I 为：个体域 D={2},P(x)：x>3,Q(x)：x=4 则 A 的真值为()。A、1；B、0；C、可满足式；D、无法判定。9、下列等价关系正确的是()。A、Vx(P(x)vQ(x))oVxP(x)vVxQ(x)；B、3x(P(x)vQ(x))o3xP(x)v3xQ(x)；C、Vx(P(x)TQ)oVxP(x)TQ；D、3x(P(x)TQ)o3xP(x)TQ。10、下列推理步骤错在()。① Vx(F(x)TG(x))P② F(y)TG(y)US①③ 3xF(x)P④ F(y)ES③⑤ G(y)T②④I⑥ 3xG(x)EG⑤A、②；B、④；C、⑤；D、⑥三、逻辑判断 30%1、用等值演算法和真值表法判断公式 A=((PTQ)A(QTP))分(P 分 Q)的类型。(10 分)2、下列问题，若成立请证明，若不成立请举出反例：(10 分)(1)已知 AvCoBvC,问 AoB 成立吗？(2)已知「Ao-B，问...
