想請問單向箭頭符號(=>)是若P則Q的符號嗎? 因為上網查了後有點不確定，當初我先上
線代時好像有說只有兩種情況(?)，就是直接設P是對的，P不對的範圍不考慮，可是現在
上離散有講到若P則Q，其中也不太懂P是錯的整個命題就對是什麼意思，後來查了才知道
原來若P則Q有四種情況，所以想請問單向箭頭(=>)是若P則Q的符號(要考慮四種情況)的
意思嗎～？

不太確定兩種情況是怎樣，不過p→q這種確實有四種情況

你講的應該是樓上這種，雙箭頭要保證成立才行

' => ' 是推論符號,由p推論到qp是對是錯無所謂 重點在推論要正確要合理

嗯嗯對