作者weipoyen (你要字是吧)
看板Logic
标题Re: [问题] 一个自然演绎法的问题
时间Sun Dec 12 13:02:33 2004
※ 引述《weipoyen (你要字是吧)》之铭言：
: ※ 引述《seasons216 (成无事一事无成)》之铭言：
: : 1.(j^r)→h
: : 2.(r→h)→m
: : 3.~(pvj)
: : /m^~p
: : 要如何证明此论证有效
: ....................
: j→(r→h)
: j→m
: ~p^~j
: /m^~p
: m p j
: F F F
: F→F:T
: T^T :T
: F^T :F
: T→F
: F
: 请上帝改变法则吧.....= =
那个...
你知道有效论证的定义吗?
那,上一篇当我没说..............
--
八千女鬼魏,白肥小人伯
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.27