[請益] 有關Deduction Theorem

[Noelyuan (療傷中)]

這麼表示：

一論證：「a1,a2,......,an／∴b」是有效的iff下一相對應的語句或簡稱「對應句」：
「(a1．a2．......．an)→b」是一句套套邏輯。

的話是不是會有問題?

因為這麼表示並不能含蓋沒有前提的情形...?

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