作者wilo (我太闲了 -_-)
看板W-Philosophy
标题Re: [问题]逻辑推论的正确符号方程式
时间Sat Oct 20 12:51:42 2007
※ 引述《kuopohung (风之过客)》之铭言：
: 4. D.S M.T.P
: P V Q
: ~P
: ======
: Q
: or
: P V Q
: ~Q
: =======
: ~P
同学，这不是用硬背的哦，
这边你写错了。
Disjunctive Syllogism 的原理你要去看 Disjunction的性质
简单的讲就是 Disjunct左右两边的句子不会两个都为假，
所以有一个为假的时候，另一个就会为真
所以你DS的第二的打错了哦
PVQ
~Q
------
P
: 5. L.A
: P
: Q
: =====
: P 且 Q
: 这是基本的,进阶的过几天在PO
--
我要一辈子当死用功的乖孩子来报答我的父母与老师
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.171.55.175
※ 编辑: wilo 来自: 218.171.55.175 (10/20 12:53)