离散数学试卷及答案(4).docVIP

学习资料收集于网络，仅供学习和参考,如有侵权，请联系网站删除

学习资料收集于网络，仅供学习和参考,如有侵权，请联系网站删除

学习资料

学习资料

学习资料收集于网络，仅供学习和参考,如有侵权，请联系网站删除

学习资料

填空10%（每小题2分）

若P，Q，为二命题，真值为0当且仅当。

命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为。

谓词合式公式的前束范式为。

将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。

设x是谓词合式公式A的一个客体变元，A的论域为D，A(x)关于y是自由的，则

被称为存在量词消去规则，记为ES。

选择25%（每小题2.5分）

下列语句是命题的有（）。

明年中秋节的晚上是晴天；B、；

C、当且仅当x和y都大于0；D、我正在说谎。

下列各命题中真值为真的命题有（）。

2+2=4当且仅当3是奇