作者SIGNAL2017 (信號)
看板Grad-ProbAsk
標題[理工] 離散 若P則Q
時間Fri Apr 20 01:25:18 2018
想請問單向箭頭符號(=>)是若P則Q的符號嗎? 因為上網查了後有點不確定，當初我先上
線代時好像有說只有兩種情況(?)，就是直接設P是對的，P不對的範圍不考慮，可是現在
上離散有講到若P則Q，其中也不太懂P是錯的整個命題就對是什麼意思，後來查了才知道
原來若P則Q有四種情況，所以想請問單向箭頭(=>)是若P則Q的符號(要考慮四種情況)的
意思嗎～？
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.160.91.247
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1524158721.A.A65.html
1F：→ durantjosh: 不太確定兩種情況是怎樣，不過p→q這種確實有四種情況 04/20 08:23
2F：推 alan23273850: 你講的應該是樓上這種，雙箭頭要保證成立才行 04/20 09:36
3F：→ APM99: ' => ' 是推論符號,由p推論到q 04/20 10:43
4F：→ APM99: p是對是錯無所謂 重點在推論要正確要合理 04/20 10:45
https://i.imgur.com/wWXw9sz.jpg?1 想請問若以圖中注意事項1-21的(1)來看的話:
Ax=0 只有零解 這個命題等價於 Ax=0 => x=0
( p → q )
這邊就不需要考慮p是錯的情況了? 只需考慮p是對則q也對(命題正確);p是對但q不對(命
題錯)?
※ 編輯: SIGNAL2017 (39.10.97.193), 04/20/2018 16:14:25
5F：推 lovepipi: 嗯嗯對 04/20 16:37