Re: [請益] 邏輯蘊含與實質蘊含
※ 引述《A1Yoshi (我是妖西)》之銘言：
: 推 aletheia:一般來說 並不會把logical implication當 140.112.143.98 03/09 23:10
: 推 aletheia:作function來看待 140.112.143.98 03/09 23:11
: 這我就不懂了。如果你看考題，考題兩個都用「真函如言」，不是嗎？
: 而真函，也就是真值函數，的意思不就是我說的那個意思而已嗎？（從組
: 成語句的真值到整句語句的真值，這兩arguments之間的mapping function）
: 舉例：
: (Ａ‧Ｂ) →Ｂ
: 任何語句有這樣的形式，我們便可以說前件邏輯上蘊含後件。而所有包
: 含邏輯蘊含的條件句，該條件句整句的真值，由其部分以及該真值函數
: （邏輯蘊含）所決定。這有錯誤嗎？
: 當然，關於這樣的一種關係（蘊含關係）是不是一定只能理解成真值函
: 數，顯然不是，且針對邏輯蘊含，一般來說，（邏輯）哲學上更有意義
: 的看法是談到必然性（畢竟只看做是種函數，那就真的彷彿只是種數學
: 定義，而真也僅剩下形式（syntax）意義而已了）。我也同意，這樣子
: 看待，你那篇所提及的「推論」這意涵很不明顯。而我想這是你說一般
: 來講邏輯蘊含不會僅用真值函數去理解的主因。畢竟那些才是「哲學上
: 有意義」的問題。
: 但那是一回事。我覺得，尤其是原來題目那樣做比較的時候，把兩者都
: 用真值函數來理解並沒有不恰當的地方吧？
我之前推文那樣回
其實是有問題的 的確不好
logical implication在某些設計之下 是可以當作函數來看
這似乎有點麻煩
不過我確定 logical implication 不是真值函數
簡單來說 我們可以找到前件跟後件都是真的 但他不是一個correct sequence
由部分決定整體 和 函數的概念
其實有點差別
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.98
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 7 之 27 篇)：