问答题
判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。
若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一。
您可能感兴趣的试卷
你可能感兴趣的试题
4.单项选择题设集合A={1,2,3,…,10},下面定义的哪种运算集合A是不封闭的?()
A.x*y=max{x,y}
B.x*y=min{x,y}
C.x*y=gcd(x,y),即x,y的最大公约数
D.x*y=lcm(x,y),即x,y的最小公倍数
最新试题
命题逻辑演绎的CP规则为()。
题型:单项选择题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
求出谓词公式的前束范式。
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题