※ 引述《teves (teves)》之銘言： : : 只要多幾個函數，我們就可以從Ta(p), Ta(q)得到該句是否前件邏 : : 輯蘊含後件。 : : 我的想法是，s 一開始所提出的反對理由，那些如果是問題則Ta本身 : : 就會有問題，用Ta來定義的實質蘊含也當然也承接這些問題。 : : 而如果我們做一些限定使得Ta不會有那些問題，則，我認為邏輯蘊含 : : 被當作某種真值函數來理解，也跟著沒有問題。 : 不過somedoubt指的是輸入無限大耶 : 你是說Ta的定義域無限大,定義域無限大本來就可以啊? 邏輯蘊含做真值函數理解時，定義域也無限大，輸入則是有限的。 : 我覺得在某些情況所有可能情形的確是跟子句數量有關 : 但是在某些情況就無法化簡了 : 比如說"如果我的身高大於160,則我的身高+10大於170" 這是（數學）分析真，而這是否是種邏輯上的必然真或恆真.... 可以討論。我覺得如果我們只談語句邏輯，則這句的形式是p→q， 而這形式邏輯上不恆真。 類似的問題我一開始就問過了。 -- PTT2 自然就是美 => 百慕達群島 => 漩渦 => PinkParties --

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