Re: [請益] 有關Deduction Theorem

[catawu ( ggg)]

※ 引述《Noelyuan (療傷中)》之銘言：
: 這麼表示：
: 一論證：「a1,a2,......,an／∴b」是有效的iff下一相對應的語句或簡稱「對應句」：
: 「(a1．a2．......．an)→b」是一句套套邏輯。
: 的話是不是會有問題?
: 因為這麼表示並不能含蓋沒有前提的情形...?

不會

沒有前提只是右邊是一個套套邏輯

此定理仍成立

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.143.98