推 Forcast:推A->B 140.121.91.115 04/19
> -------------------------------------------------------------------------- <
作者: SeeMuen (紫雨星夢) 看板: logic
標題: Re: [請益] 真值表的判斷
時間: Tue Apr 12 17:38:57 2005
※ 引述《Noelyuan (療傷中)》之銘言：
: Ａ Ｂ│Ａ→Ｂ
: Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ
: Ｆ Ｔ Ｔ
: Ｆ Ｆ Ｔ
: 請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
: 那if then的模式要怎麼判斷？
: 還是這是規定的運算符？
若Ｐ則Ｑ：前真後假為假，其餘皆真
Ａ且Ｂ：兩者皆真為真，其餘皆假
Ａ或Ｂ：兩者皆假為假，其餘皆真
Ａ Ｂ Ａ→Ｂ Ａ且Ｂ Ａ或Ｂ
Ｔ Ｔ Ｔ Ｔ Ｔ
Ｔ Ｆ Ｆ Ｆ Ｔ
Ｆ Ｔ Ｔ Ｆ Ｔ
Ｆ Ｆ Ｔ Ｆ Ｆ
我印象中記得是這個樣子啦 有錯要跟我說
抱歉找不到且跟或的符號= = 所以直接用打的喔^^
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.219.9
> -------------------------------------------------------------------------- <
作者: royalroylo (hugging,pass,stop shot.) 看板: logic
標題: Re: [請益] 真值表的判斷
時間: Sun Apr 17 15:14:00 2005
※ 引述《SeeMuen (紫雨星夢)》之銘言：
: ※ 引述《Noelyuan (療傷中)》之銘言：
: : Ａ Ｂ│Ａ→Ｂ
: : Ｔ Ｔ Ｔ
: : Ｔ Ｆ Ｆ
: : Ｆ Ｔ Ｔ
: : Ｆ Ｆ Ｔ
: : 請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
: : 那if then的模式要怎麼判斷？
: : 還是這是規定的運算符？
舉個例子：
一個若Ｐ則Ｑ形式的語句(若老胡大笑三聲，則發生大地震)。
用這真假值表來檢驗是不是合邏輯的時候我可以檢查四個情況
1.若老胡大笑三聲，則發生大地震。(可能發生為Ｔ)
2.若老胡大笑三聲，則不發生大地震。(可能發生為Ｔ)
3.若老胡不大笑三聲，則發生大地震。(可能發生為Ｔ)
4.若老胡不大笑三聲，則不發生大地震。(可能發生為Ｔ)
因為這不符合推論語句(if then 到底叫什麼我忘記了)的真假值結構
所以不是合邏輯的推論語句。
另一個合邏輯的例子：
若發生洪水，則收成欠佳。
1.若發生洪水，則收成欠佳。(可能發生為Ｔ)
2.若發生洪水，則不會收成欠佳。(不可能發生為Ｆ)
3.若不發生洪水，則收成欠佳。(可能發生，也許有蟲害，為Ｔ)
4.若不發生洪水，則不會收成欠佳。(可能發生，天下太平，為Ｔ)
這一個例子就可以看出推論語句的真假值結構有什麼功用，
是用來檢視一個推論語句是否成立的。
但是一般在做題目的時候，都會預設P->Q就是合邏輯的推論語句，
所以就不用去考究為什麼P是F的時候P->Q都是T了。
表達能力不太好，還請大家補充。
(在此感謝老胡的教導)
: 若Ｐ則Ｑ：前真後假為假，其餘皆真
: Ａ且Ｂ：兩者皆真為真，其餘皆假
: Ａ或Ｂ：兩者皆假為假，其餘皆真
: Ａ Ｂ Ａ→Ｂ Ａ且Ｂ Ａ或Ｂ
: Ｔ Ｔ Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ Ｆ Ｔ
: Ｆ Ｔ Ｔ Ｆ Ｔ
: Ｆ Ｆ Ｔ Ｆ Ｆ
: 我印象中記得是這個樣子啦 有錯要跟我說
: 抱歉找不到且跟或的符號= = 所以直接用打的喔^^
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.192.237.9
Ａ Ｂ│Ａ→Ｂ
Ｔ Ｔ Ｔ
Ｔ Ｆ Ｆ
Ｆ Ｔ Ｔ
Ｆ Ｆ Ｔ
請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
那if then的模式要怎麼判斷？
還是這是規定的運算符？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.13
※ 編輯: Noelyuan 來自: 140.112.240.13 (03/27 14:39)
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [請益] 真值表的判斷
時間: Sun Mar 27 21:27:33 2005
※ 引述《Noelyuan (療傷中)》之銘言：
: Ａ Ｂ│Ａ→Ｂ
: Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ
: Ｆ Ｔ Ｔ
: Ｆ Ｆ Ｔ
: 請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
: 那if then的模式要怎麼判斷？
: 還是這是規定的運算符？
有一點爭議
這個運算有點算是配合剛剛的deductive theorem
不過基本上仍有一些道理
考慮以下情形
如果 x<4 則 x<2 這一是我們認為成立的
若 x=5,x=3,x=1 三種情形即是真直表當中的那三行
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.98
> -------------------------------------------------------------------------- <
作者: bombduck ( ) 看板: logic
標題: Re: [請益] 真值表的判斷
時間: Mon Mar 28 09:30:37 2005
※ 引述《Noelyuan (療傷中)》之銘言：
: Ａ Ｂ│Ａ→Ｂ
: Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ
: Ｆ Ｔ Ｔ
: Ｆ Ｆ Ｔ
: 請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
: 那if then的模式要怎麼判斷？
: 還是這是規定的運算符？
我用 !A 代表 A 的相反邏輯
亦即是說 A 錯，!A 就對；反之亦然。
在數學的邏輯中，我們假設 A 或 !A 存在且只有一個是對的，
這個假設在現實生活並不成立，但數學也只能處理成立的情況。
然後 A->B 會等價於 !B->!A，
假設 A 和 B 是 T，則 A->B 也是 T，所以 !B->!A 也是 T，而 !B 和 !A 都是 F。
把上述的証明反過來，就會得到當 A 和 B 是 F，則 A->B 是 T。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.115.25.21
※ 編輯: bombduck 來自: 140.115.25.21 (03/28 09:31)
※ 編輯: bombduck 來自: 140.115.25.21 (03/28 09:33)