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