学习理解逻辑蕴涵运算Imp

Imp 运算符

c = a imp b，可以看成是：如果a则b的谎言推理，推理结果为c

如果太阳从东边出来，我就能吃饭，前后都是真的，看起来不是谎言，推理结果为真。

如果太阳从西边出来，我就能吃饭，前假后真，也不是谎言，推理结果为真。

如果太阳从东边出来，我就能吃屎，前真后假，是谎言，推理结果是假。

如果太阳从西边出来，我就能吃屎，前假后假，看起来不是谎言，推理结果是真。

（以上仅为个人理解记录）