离散数学——命题逻辑问题

问题描述:

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

只有 是唯一条件导致骑自行车上学 所示箭头P
如果 是选择或者假设条件
但是他们的现在表现出来的意思是一样的 就是雨和骑自行车上学 是有必然连的所以是等价
不知道对不对 主要的原因是 “只有”跟“如果”虽然看不懂,但还是谢谢你了。这里等价的意思是第二句符号化也是q->非p,可是为什么呢。。。