离散数学——命题逻辑问题只有天不下雨,我才骑自行车上班.如果天下雨,我就不骑自行车上班.令p:天下雨 令:q:我骑自行车去上学上述第一句符号化怎么是q箭头非p呢?我总觉得应该是非p箭头q.还有,第一句和第二句的意思明明不一样,怎么说它们是等价的呢?求大神帮我分析分析,不好意思哈

问题描述:

离散数学——命题逻辑问题
只有天不下雨,我才骑自行车上班.
如果天下雨,我就不骑自行车上班.
令p:天下雨 令:q:我骑自行车去上学
上述第一句符号化怎么是q箭头非p呢?
我总觉得应该是非p箭头q.
还有,第一句和第二句的意思明明不一样,怎么说它们是等价的呢?
求大神帮我分析分析,不好意思哈