※ 引述《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