作者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/cn.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