作者catawu ( ggg)
看板logic
标题Re: [请益] 有关Deduction Theorem
时间Sun Mar 27 21:21:42 2005
※ 引述《Noelyuan (疗伤中)》之铭言：
: 这麽表示：
: 一论证：「a1,a2,......,an／∴b」是有效的iff下一相对应的语句或简称「对应句」：
: 「(a1．a2．......．an)→b」是一句套套逻辑。
: 的话是不是会有问题?
: 因为这麽表示并不能含盖没有前提的情形...?
不会
没有前提只是右边是一个套套逻辑
此定理仍成立
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.98