试题详情
命题公式 (A∧( A→B))→B是一个矛盾式。
正确答案: 错误
本题解析:
命题公式(A∧( A→B))→B是一个重言式。
包含此试题的试卷
你可能感兴趣的试题
无向图G有9个结点,每个结点的度数不是5就是6,求证:G中至少有5个6度结点或6个5度结点。
设R是实数集,f:RxR→R,f(a,b)a+b,g:RxR→R,g(a,b)=ab。求证:f和g都是满射,但不是单射。
试判断(z,≤)是否为格?说明理由。
无向图G有12条边,G中有6个3度结点,其余结点的度数均小于3,问G中至少有多少个结点?
求命题公式p∧q∨r的主合取范式与主析取范式。
相关题库