证明:┐____ 蕴含 ┐P ∨ ┐Q
举一反三
- 在离散数学中前提是p蕴含q结论是p蕴含(p且q)的推理证明
- 证明: (p∧q)→r，¬r∨s，¬s，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∧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 以上证明方法是用归谬法，证明过程是正确的