北京林业大学《离散数学》2019-2020学年第一学期期末试卷A.docxVIP

北京林业大学《离散数学》2019-2020学年第一学期期末试卷A 一、填空 10% （每小题 2分） 若P，Q，为二命题，真值为0 当且仅当 。 命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为 。 谓词合式公式的前束范式为 。 将量词辖域中出现的 和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。 二、选择 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，且则（ ）。 A、称为B的前件； B、称B为的有效结论 C、当且仅当；D、当且仅当。 A，B为二合式公式，且，则（ ）。 A、为重言式； B、； C、； D、； E、为重言式。 “人总是要死的”谓词公式表示为（ ）。 （论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。 A、； B、 C、；D、 公式的解释I为：个体域D={2}，P(x)：x3, Q(x)：x=4则A的真值为（ ）。 A、1； B、0； C、可满足式； D、无法判定。 下列等价关系正确的是（ ）。 A、； B、； C、； D、。 下列推理步骤错在（ ）。 ① P ② US① ③ P ④ ES③ ⑤ T②④I ⑥ EG⑤ A、②；B、④；C、⑤；D、⑥ 三、逻辑判断30% 用等值演算法和真值表法判断公式的类型。（10分） 下列问题，若成立请证明，若不成立请举出反例：（10分） 已知，问成立吗？ 已知，问成立吗？ 如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。问：若厂方拒绝增加工资，面罢工刚开始，罢工是否能够停止。（10分） 四、计算10% 设命题A1，A2的真值为1，A3，A4真值为0，求命题 的真值。（5分） 利用主析取范式，求公式的类型。（5分） 五、谓词逻辑推理 15% 符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。 六、证明：（10%） 设论域D={a , b , c}，求证：。