Re: [討論] 有鑑於
※ 引述《aletheia (HERESY)》之銘言：
: : 1. 記得老師常說：邏輯語言確實抓住了自然語言的某一個部分，但也僅抓住了一部份。
: : 像是「若…則…」，「或」等等字眼，在日常生活中的意義不只一個，而在邏輯中
: : 卻只能表達出一種意涵。
: 其實你們老師這樣講並不是很恰當
: 以「或」做例子 有些坊間教科書 會把邏輯符號V 就直接化約成「或」
: 但這樣明明不合理 而且是一種解釋上的錯誤
: 日常語言當中的或有相斥的或 也有相容的或
: 而形式化的邏輯語言（以命題邏輯來說）
: 仍然可以將日常相斥和相容的或進行形式化 邏輯不是死板板的教條呢
: 如果邏輯不能符合我們的直觀，那我想人永遠學不會邏輯。
沒錯，自然語言中的「或」有相容也有相斥，也可以形式化，但不是一個邏輯符號
「ｖ」就能解決的。 ^^
是我沒有表達清楚吧...
你的意思是不是，邏輯符號「ｖ」和自然語言的「或」是不等同的？
不然邏輯符號的「ｖ」該如何翻譯？選言？ @@
: : 2. 實質蘊含即「→」，就是上述所言之「若Ｐ則Ｑ」。只要Ｐ和Ｑ的真假值確定，
: : 便可決定整個複合語句的真假。也就是說，只要Ｐ和Ｑ的真假值確定，實質蘊含
: : 成立與否便可確定。
: : 邏輯蘊含則是與論證有效性是 if and only if 的關係。即， "Ｐ" logically
: : implies "Ｑ" 表示以Ｐ為前提Ｑ為結論之論證為有效。反之亦然。而論證的有
: : 效性通常是不能單從Ｐ和Ｑ是否為真來決定。亦即，邏輯蘊含成立與否通常不能
: : 由Ｐ和Ｑ的真假值決定。
: 抱歉 你最後三行出自於哪本教科書
: 據不才所知 在命題邏輯中 邏輯蘊含成立若且唯若無情況P真Q假
: 會產生「論證的有效性不一定和真假值有關係」這樣的想法
: 我想你可能忘記P和Q的語意就是他們的真假值
@@ 我們上課沒有用教科書耶... 有一本參考書是葉新雲的現代邏輯要義...
但幾乎沒有用到書...
就如你所說，邏輯蘊含成立若且唯若無情況Ｐ真Ｑ假，這我在下面也有提到 @@
我的意思是，光從ＰＱ的真假值「通常」是無法判斷邏輯蘊含成立與否。例如當
Ｐ真Ｑ真時，而只有在Ｐ真Ｑ假時才能確定邏輯蘊含不成立。
抱歉，你最後兩句話我真的不懂你的意思 ^^*
另外，臨時想到一個問題，若我已知Ｐ假Ｑ真，或是Ｐ假Ｑ假，能不能確定邏輯蘊含
成立？（這是不是你最後兩句話的意思？）
: : 3. 邏輯蘊含不成立，表示有可能出現Ｐ（前提）為真而Ｑ（結論）為假的情況，
: : 放到實質蘊含裡面，即有可能出現「若Ｐ則Ｑ」為假。
: : 因此若能確定不可能有「若Ｐ則Ｑ」為假的情況，就表示不可能有前提真而結論假
: : 的情況，那麼論證有效，邏輯蘊含成立。
: 我幫你補充一下 邏輯蘊含 entail 實質蘊含
: 但實質蘊含並不 entail 邏輯蘊含
: 我手邊沒有這的證明 不知道誰能貼上來一下
啊... entail 是指「導出」嗎？ 若是的話，這部分我才剛學到 @@
--
有人說一次告別天上就會有顆星又熄滅
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 61.59.243.179
討論串 (同標題文章)