离散数学.pptVIP

离散数学 习题课 第一章 数理逻辑 1、在谓词中将下列命题符号化 （1）火车都比轮船快。 （2）有的火车比有的汽车快。 （3）不存在比所有火车都快的汽车。 （4）说凡是汽车就比火车慢是不对的。 2．证明: (1)前提：?x(F(x) ?G(x)), ?x(F(x)?H(x)) 结论：?x(G(x)?H(x)) (2) ?x(F(x) ?G(x)? H(x)), ?x(T(x) ?? H(x))， 结论：?x(T(x) ?（?F(x) ??G(x))) 答案 1、（1）?x?y(F(x)?G(y)?H(x,y)) 其中F(x)：x是火车，G(y)：y是轮船，H(x,y)：x比y快 （2）?x?y(F(x)?G(y) ?H(x,y)) 其中F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快 （3）??x（F(x) ? ?y(G(y)? H(x,y))） 其中F(x)：x是汽车，G(y)：y是火车，H(x,y)：x比y快 （4）??x（F(x) ? ?y(G(y)? H(x,y))） 或者 ??x?y (F(x)?G(y)?H(x,y)) 或者 ?x?y (F(x)?G(y) ??H(x,y)) 其中F(x)：x是汽车，G(y)：y是火车，H(x,y)：x比y慢 2(2)证明 ① ?x(T(x) ?? H(x))