证明: (p∧q)→r,¬r∨s,¬s,p蕴含¬q 过程如下: 证明: (1) q P(附加前提) (2) ¬r∨s P (3) ¬s P (4) ¬r T(2)(3)I (5) (p∧q)→r P (6) ¬(p∧q) T(4)(5)I (7) ¬p∨¬q T(6)E (8) p P (9) ¬q T(7)(8)I (10) q∧¬q(矛盾) T(1)(9)I 以上证明方法是用归谬法,证明过程是正确的。
A.
正确
B.
错误
拍照语音搜题,微信中搜索"皮皮学"使用
参考答案:
参考解析:
知识点:
皮皮学刷刷变学霸
举一反三
【简答题】() is a quantitative technique that calculates results for the random input variables repeatedly, using a different set of input values each time.
【判断题】DFA M = (Q, S , d , q 0 , F), where Q = a finite set of states, one of which is designated the initial state or start state , and some of which are designated as final states . S = a set of finite cha...
【简答题】(Waveform drawing) For the set of input waveforms in figure below, determine the output for NAND Gate, NOR gate, exclusive-OR gate, exclusive-NOR gate respectively.