Ａ　Ｂ│Ａ→Ｂ
Ｔ　Ｔ　　Ｔ
Ｔ　Ｆ　　Ｆ
Ｆ　Ｔ　　Ｔ
Ｆ　Ｆ　　Ｔ

請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷

那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)

> -------------------------------------------------------------------------- <

作者: 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