试于卷四试题与答案.docVIP

试卷四试题与答案 填空 10% （每小题 2分） 若P，Q，为二命题，真值为0 当且仅当 p为真，q为假 。 命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为 。 谓词合式公式的前束范式为 。 将量词辖域中出现的 约束变量 和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。 设x是谓词合式公式A的一个客体变元，A的论域为D，A(x)关于y是自由的，则 被称为存在量词消去规则，记为E-。 选择 25% （每小题 2.5分） 下列语句是命题的有（ ）。 明年中秋节的晚上是晴天； B、； C、当且仅当x和y都大于0； D、我正在说谎。 下列各命题中真值为真的命题有（ ）。 2+2=4当且仅当3是奇数；B、2+2=4当且仅当3不是奇数； C、2+2≠4当且仅当3是奇数； D、2+2≠4当且仅当3不是奇数； 下列符号串是合式公式的有（ ） A、；B、；C、；D、。 下列等价式成立的有（ ）。 A、；B、； C、 ； D、。 若和B为wff，且则（