想请问单向箭头符号(=>)是若P则Q的符号吗? 因为上网查了后有点不确定，当初我先上
线代时好像有说只有两种情况(?)，就是直接设P是对的，P不对的范围不考虑，可是现在
上离散有讲到若P则Q，其中也不太懂P是错的整个命题就对是什么意思，后来查了才知道
原来若P则Q有四种情况，所以想请问单向箭头(=>)是若P则Q的符号(要考虑四种情况)的
意思吗～？

不太确定两种情况是怎样，不过p→q这种确实有四种情况

你讲的应该是楼上这种，双箭头要保证成立才行

' => ' 是推论符号,由p推论到qp是对是错无所谓 重点在推论要正确要合理

嗯嗯对