作者royalroylo (hugging,pass,stop shot.)
看板logic
标题Re: [请益] 真值表的判断
时间Sun Apr 17 15:14:00 2005
※ 引述《SeeMuen (紫雨星梦)》之铭言:
: ※ 引述《Noelyuan (疗伤中)》之铭言:
: : A B│A→B
: : T T T
: : T F F
: : F T T
: : F F T
: : 请问一下最後一行是怎麽判断的,如果是AˇB;A˙B好像可以用图示判断
: : 那if then的模式要怎麽判断?
: : 还是这是规定的运算符?
举个例子:
一个若P则Q形式的语句(若老胡大笑三声,则发生大地震)。
用这真假值表来检验是不是合逻辑的时候我可以检查四个情况
1.若老胡大笑三声,则发生大地震。(可能发生为T)
2.若老胡大笑三声,则不发生大地震。(可能发生为T)
3.若老胡不大笑三声,则发生大地震。(可能发生为T)
4.若老胡不大笑三声,则不发生大地震。(可能发生为T)
因为这不符合推论语句(if then 到底叫什麽我忘记了)的真假值结构
所以不是合逻辑的推论语句。
另一个合逻辑的例子:
若发生洪水,则收成欠佳。
1.若发生洪水,则收成欠佳。(可能发生为T)
2.若发生洪水,则不会收成欠佳。(不可能发生为F)
3.若不发生洪水,则收成欠佳。(可能发生,也许有虫害,为T)
4.若不发生洪水,则不会收成欠佳。(可能发生,天下太平,为T)
这一个例子就可以看出推论语句的真假值结构有什麽功用,
是用来检视一个推论语句是否成立的。
但是一般在做题目的时候,都会预设P->Q就是合逻辑的推论语句,
所以就不用去考究为什麽P是F的时候P->Q都是T了。
表达能力不太好,还请大家补充。
(在此感谢老胡的教导)
: 若P则Q:前真後假为假,其余皆真
: A且B:两者皆真为真,其余皆假
: A或B:两者皆假为假,其余皆真
: A B A→B A且B A或B
: T T T T T
: T F F F T
: F T T F T
: F F T F F
: 我印象中记得是这个样子啦 有错要跟我说
: 抱歉找不到且跟或的符号= = 所以直接用打的喔^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.192.237.9