這麼表示：
一論證：「a1,a2,......,an／∴b」是有效的iff下一相對應的語句或簡稱「對應句」：
「(a1．a2．......．an)→b」是一句套套邏輯。
的話是不是會有問題?
因為這麼表示並不能含蓋沒有前提的情形...?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.13
> -------------------------------------------------------------------------- <
作者: 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