[理工] 離散 若P則Q

[SIGNAL2017 (信號)]

想請問單向箭頭符號(=>)是若P則Q的符號嗎? 因為上網查了後有點不確定，當初我先上

線代時好像有說只有兩種情況(?)，就是直接設P是對的，P不對的範圍不考慮，可是現在

上離散有講到若P則Q，其中也不太懂P是錯的整個命題就對是什麼意思，後來查了才知道

原來若P則Q有四種情況，所以想請問單向箭頭(=>)是若P則Q的符號(要考慮四種情況)的

意思嗎～？

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.160.91.247
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1524158721.A.A65.html
→ durantjosh: 不太確定兩種情況是怎樣，不過p→q這種確實有四種情況
推 alan23273850: 你講的應該是樓上這種，雙箭頭要保證成立才行
→ APM99: ' => ' 是推論符號,由p推論到q
→ APM99: p是對是錯無所謂  重點在推論要正確要合理
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
推 lovepipi: 嗯嗯對