在离散数学中前提是p蕴含q结论是p蕴含(p且q)的推理证明
举一反三
- 构造下列推理的证明。 (1)前提:¬P∨Q, ¬(Q∧R),R;结论:¬P。 (2)前提:(P→Q)→(Q→R),R→P;结论:Q→P。 (3)前提:P→(Q→R), ¬S∨P;结论:Q→(S→R)。 (4)前提:¬P∧¬Q;结论:¬(P∧Q)。 (5)前提:P→¬Q,R∨S,S→¬Q;结论:¬P
- 构造下面推理的证明A) 前提: p®(q®s),q, p∨Ør结论: r®sB) 前提: Ø (p∧Øq) , Øq∨r, Ør结论: Ø p
- 证明:┐____ 蕴含 ┐P ∨ ┐Q
- 证明:(p∧q)→r,¬r∨s,¬s,p蕴含¬q过程如下:证明:⑴qP(附加前提)⑵¬r∨sP⑶¬sP⑷¬rT⑵⑶I⑸(p∧q)→rP⑹¬(p∧q)()
- 证明: (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 以上证明方法是用归谬法,证明过程是正确的