Re: [轉錄][請益] p->q 真值表

[carlwt (whatever)]

※ 引述《carlwt (whatever)》之銘言：
※ [本文轉錄自 logic 看板 #1D9bD7V6 ]

作者: carlwt (whatever) 看板: logic
標題: [請益] p->q 真值表
時間: Fri Jan  7 07:41:57 2011

在 p-> q 真值表當中，

  p  q  p->q
---------------
  T  T   T
  T  F   F
  F  T   T
  F  F   T

如果用
p = 天下雨
q = 外面溼
來套，則第三，四列很難理解，
請開示，謝謝。

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 99.8.4.250

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 99.8.4.250
推 WINDHEAD:如果你確實理解第一列的話  第三列第四列就沒問題XD
推 Oikeiosis:前提不成立的時候 陳述都是真的
推 ot32em:不下兩 外面溼或不溼 你講的話都不會矛盾
不是說p是前提，q是結論嗎？前提不是要蘊含結論才有意義嗎？謝謝。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 99.8.4.250
推 T50:P不是前提是語句的"若"，真值表是在判斷語句的描述是否不合邏
→ T50:輯。要先釐清邏輯學的一個前提，符合邏輯的再事實上不一定是真
→ T50:的存在，但不合邏輯的在事實上就一定是假的，所以真值表的假的
→ T50:判斷在釐清矛盾，而其中只有第三項F->T矛盾的
推 gamer:真值表是判斷敘述"真假"，不是判斷敘述有沒有意義。
推 gamer:若p則q，並不能導出~p則~q，故不論q為真假皆為合邏輯之敘述
→ carlwt:我現在懂了，謝謝各位大大！