未分类题

称由前提A1，A2，…，Ak推出结论B的推理正确，则A1∧A2∧…∧Ak→B应为下列4个中的哪一个?
(1)重言式或可满足式． (2)可满足式．
(3)矛盾式． (4)重言式．

A.

【参考答案】

(4)正确．
<上一题 目录 下一题>
热门 试题

未分类题
证明下面各题．(1)我夫人过生日，我送一束鲜花给她，除非我工作很忙．今天我没有送鲜花给夫人，今天是夫人的生日，由此是否可推得“今天我工作很忙”．(2)“天冷了，要加衣服，否则会生病，生病了就不能去上课，从而会影响学习．”“今天天冷，但我没有加衣服．”由此是否可以推得“我的学习会受到影响．”
A. 
B.今天我没有送鲜花给夫人，今天是夫人的生日，由此是否可推得“今天我工作很忙”．
 
C.”“今天天冷，但我没有加衣服．”由此是否可以推得“我的学习会受到影响．”
未分类题
设有前提：￢P∨￢Q，￢P→A，A→￢B，证明结论：B→￢Q．
相关试题