D/P T/R是指
举一反三
- 判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。 证明:⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E ⑸ ¬r P规则 ⑹ ¬p T⑷ ⑸I 所以¬p是前提p→q,q→r,¬r的有效结论
- 下述真值表表示的命题是（ ）。InputOutputpqrTTTTTTFFTFTTTFFTFTTTFTFTFFTTFFFT A: (qÞr)Þ(p∧q) B: (qÞr)Þ(p∨q) C: (p∨q)Þ(qÞr) D: (p∧q)Þ(qÞr)
- 可靠度是指产品在规定的时间内和规定的条件下完成规定功能的概率，记为R(t)。设T为表示产品寿命的随机变量，则R(t)=( ). A: P(T>0) B: P(T>t) C: P(0>T) D: P(t>T)
- 公式(P∨¬Q)∧(R∧T)的对偶式是( P∧¬Q)∨(R∨T )
- 证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法，证明过程是正确的