※ 引述《A1Yoshi (我是妖西)》之銘言： : : 而Yoshi是覺得當初"所有可能性",其實本來就是只有這樣的4種 : : 所以可以當成函數 : 我沒有說一定只能有四種而已。試想這樣的句子： : ((P&Q)&R) → R : 你若畫真值表會出現八列。而8 怎麼算出來的呢？根據整個句子所 : 包含的原子句的種類數來的： : 2^3 = 8 : 針對這例子，原子句的種類有三種。 : 我的想法是，針對任何特定的條件句，因為前後件的句子都是有限 : 的，整個條件句內包含的原子句的種類也是有限的，所以真值表的 : 列數會是有限的且受原子句的數目所決定。 : 而這種決定關係可以轉成函數。 我想我沒說清楚 我只是舉例 我所謂p跟q是指兩個independent的事件 所以有四種 如果p跟q彼此有關係就不能這樣算. : 只要多幾個函數，我們就可以從Ta(p), Ta(q)得到該句是否前件邏 : 輯蘊含後件。 : 我的想法是，s 一開始所提出的反對理由，那些如果是問題則Ta本身 : 就會有問題，用Ta來定義的實質蘊含也當然也承接這些問題。 : 而如果我們做一些限定使得Ta不會有那些問題，則，我認為邏輯蘊含 : 被當作某種真值函數來理解，也跟著沒有問題。 不過somedoubt指的是輸入無限大耶 你是說Ta的定義域無限大,定義域無限大本來就可以啊? 我覺得在某些情況所有可能情形的確是跟子句數量有關 但是在某些情況就無法化簡了 比如說"如果我的身高大於160,則我的身高+10大於170" --

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