《离散数学》题库《离散数学》试题一 《离散数学》题库 一、选择或填空 (数理逻辑部分) 1、下列哪些公式为永真蕴含式?( ) (1) Q=>Q→P (2) Q=>P→Q (3)P=>P→Q (4) P (P Q)=> P 2、下列公式中哪些是永真式?( ) (1)(┐P Q)→(Q→ R) (2)P→(Q→Q) (3)(P Q)→P (4)P→(P Q) 3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P Q (2) P Q=>P (3) P Q=>P Q (4)P (P→Q)=>Q (5) (P→Q)=>P (...
的子格(P(A)表示A的幂集)。 79、证明:在同构意义下,4阶格只有2个。 80、设是有界格, 是A上的全序关系。若|A|>2,则 a A-{0,1},a无补元。 81、格是一布尔代数,则 是一个交换群,其中+定义为 a+b=(a⊙b′) (a′⊙b)。 86、设是一布尔代数,则 R={ | a b=b}是S上的偏序关系。 87、设是一布尔代数,则关系 ={ | a⊙b=a}是S上的偏序关系。 (图论部分) 88、证明在有n个结点的树中,其结点度数之和是2n-2。 88、任一图中度数为奇数的结点是偶数个。 89、连通无向图G的任何边一定是G的某棵生成树的弦。这个断言对吗?若是对的请证明之,否则请举例说明。 90、设T=