作者seasons216 (成无事一事无成)
看板Logic
标题Re: [问题] 一个自然演绎法的问题
时间Sun Dec 12 16:08:57 2004
※ 引述《weipoyen (你要字是吧)》之铭言：
: ※ 引述《weipoyen (你要字是吧)》之铭言：
: : ....................
: : 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: 203.73.170.63