Re: [請益] 邏輯句子的表達
※ 引述《yauhh (舉杯邀鼠長 共飲長江奶)》之銘言:
: ※ 引述《krisnight (krisnight)》之銘言:
: (略)
: 啊! 我知道你所說的「一般而言, 當有人說 P 就是 P 為真」的意思.
: 雖然是對的,但只限於 P 是單一的命題詞彙.
: 這樣的想法不能套到所有的複合詞彙上啊! 單一詞彙代表一個事實,但複合詞彙可不是!
: 所以 (P -> Q) 是一個命題, 但我們不會說「一般而言, 當有人說 (P -> Q)
: 就是 (P -> Q) 為真」的意思. 以上的辯證全是要談這個情況.
: 你要搞清楚,你講的是 atom, atomic proposition.
我看不太懂你的意思
我的理解是你認為
平時說出atomic sentence是在肯定atomic sentence為真
但是complicated sentence這樣就不可能
某人assert that (P-->Q) 而他認為(P-->Q)是真的
這樣的可能性還是有的
: 我不知道你有何種想法講出「P 意為 P 為真」的講法,
我原本猜 他的意思是這樣的
Assert that P implies it is the case that P.
: 但是,在你講這句話之前,我講的是「命題是一個可能真,可能假的東西」
: 當我講命題二字時,我想到的是所有的複合命題和單一命題,
: 而你講命題的時候,只想到單一命題詞彙.
: 此外,很多時候當我們講 P 的時候,仍然保留它可以真可以假的彈性.
: (你講的那句話真的不是約定俗成,因為最起碼我不把你這句話當做一回事.)
: 然而,在更之前,我們談的是 (P and ~P), 這是一個複合命題!
: 複合命題就是可能真,可能偽; 而這個特別的命題因為無法表現出來,
: 就被 Principle of Contradiction 限制為 it is not the case that
: (P and ~P). 但這並不是說它 "is not a proposition," 這差很多.
: 請閱讀:
: 1. 基礎邏輯課本.
: 2. Wikipedia的 Propositional_calculus 條目.
: 2. Wikipedia的 Principle_of_Contradiction 條目.
: 你不能說 (P and ~P) 不是命題,因為 Principle of Contradiction 是表達為
: ~(P and ~P). 如果 (P and ~P) 不是命題, ~(P and ~P) 要怎麼表達意思?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.134.201.196
討論串 (同標題文章)