证明：小于30条边的简单平面图至少有一个顶点的度数小于5。

设 P:今天下雨,Q:我去登山。命题 “如果今天不下雨,我就去登山” 可符号化为

下列命题公式是矛盾式的是

设命题公式 A 为重言式且含有 3 个命题变元,则 A 的主析取范式含小项的个数为

设论域为整数集,真值为真的命题是

设 R(x):x 是质数,G(x,y):x 大于 y。命题 “没有最大的质数” 可符号化为

设 X = {a,b,c},R = { < a,b>, < a,c>, < b,a>, < b,c>},则关系 R 在 X 上是

设 A = {1,2,3,4},B = {a,b,c},f = { < 1,a>, < 2,a>, < 3,b>, < 4,c>},则下列选项正确的是

设 X = {1,2,3},Y = {1,2},则 X 到 Y 的满射函数的个数为

设 A = {1,2,3,4,5,6,7},≤为整除关系,则关于偏序集 < A,≤> 的表述正确的是