[理工] 離散 若P則Q

看板Grad-ProbAsk作者 (信號)時間7年前 (2018/04/20 01:25), 7年前編輯推噓2(2推 0噓 3→)
留言5則, 4人參與, 7年前最新討論串1/1
想請問單向箭頭符號(=>)是若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
→
04/20 08:23, 7年前 , 1F
不太確定兩種情況是怎樣，不過p→q這種確實有四種情況
04/20 08:23, 1F
推
04/20 09:36, 7年前 , 2F
你講的應該是樓上這種，雙箭頭要保證成立才行
04/20 09:36, 2F
→
04/20 10:43, 7年前 , 3F
' => ' 是推論符號,由p推論到q
04/20 10:43, 3F
→
04/20 10:45, 7年前 , 4F
p是對是錯無所謂 重點在推論要正確要合理
04/20 10:45, 4F
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
推
04/20 16:37, 7年前 , 5F
嗯嗯對
04/20 16:37, 5F
‣ 更多 SIGNAL2017 的文章
文章代碼(AID): #1QsD41fb (Grad-ProbAsk)