文档介绍：:..一、:天上下钉子;Q:我去B城。命题“除非天上下钉子,否则我去B城”符、号化为。:我们勤奋,q:我们好学,r:我们取得好成绩。命题“只要勤奋好学,我们就能収得好成绩”符号化为 :天上下钉子;Q:我去B城。命题“除非天上下钉子,否则我去B城”符、号化为 (x):x是计算机学院的学生。L(x):x学离散数学。则“计算机学院的学生都要学离散数学。”可符号化为: (x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为。(x):x为整数,G(x):x是自然数,则命题“并不是每一个整数都是自然数”符号化为 (x):x是人,H(x,y):x与y—样高,在一阶逻辑中,命题“人都不一样高”的符号化形式为 o&设全集E={男女合班学生},子集A={男学生},B={戴眼镜的学生},则〜=二「二T二则AUB= c■—「(pT(pvq))的成假赋值是 =「PtQ,则G的主析取范式是・{0},则幕集P(B)= □={a,b,c},B={1,2,3},则A到B共可产生个不同的双射函数。,若f和g都是双射的,贝『:亏:是。:NtN,f=x-1,函数h:NtN,h(x)=x2+l,则复合函数foh(x)= ,n条边,则T屮顶点与边的关系为。=(a,b,c},A上的等价关系R={<a,b>,<b,a>}uIa,则商集A/R二。,反对称性,自反性和传递性,,s(r<s)的最小度8(Kr,s)= 。,则共有—=<V,E〉中,奇度结点必有个。’,s(r<s)的最大度△(«,$)= =<V,E>为无向简单图,且|V|23,若图G屮每个结点的度都则图G是哈密尔顿图。,其余的顶点都是树叶,则T中有条边。,3个3度顶点,其余顶点都是1度顶点,则该树有片树叶。、B为非空集合,|A|=n), ,那么从A到B的不同函数有个。(x)tX/xQ(x)的前束范式是。(x)v3yB(x,y)的前束范式是。{0,1},则A上可定义的二元运算有。,B是两个集合,A={1,2,3,4},B={2,3,5),则P(B)-P(A)= 。=<V,E>是哈密尔顿图,则对于结点集V的每个非空子集S,均有w(G—S)列S|,其中w(G-S)是图G-S的 □,£条边,则G有个面。={a,b,c},A上的等价关系R={<a,b>,<b,a>}uTA,则商集A/R二 (x)的前束范式是的路。二、