关于“p仅当q”=“p-＞q“的思考

关于“p仅当q”="p->q"的思考

在恶补离散数学的时候，听老师讲到“p仅当q”=“p->q”，我第一反应是是不是讲错了，应该是“p仅当q”=“q->p”,为什么会这样想呢？也很符合逻辑，蕴含式的定义就是“if p then q”可以推出p->q，那“p仅当q”不就是”仅当p,则q“吗？

而后意识到了不对劲，在看阅几篇大佬的博客后，加之自身体会，有了新的感悟。我开始意识到：“仅当“和”当“是存在着明显差异的。

例如：

P:小红去电影院

q:我去电影院

那么，“if p then q“则说的是：如果小红去电影院，那么我就去电影院。这里面暗含了”一定“的意思，即如果小红去了电影院，那么我一定会去电影院。此时p是q的充分条件，p可以推出q。

”p only if q“则说的是：仅当我去电影院，小红会去电影院。其中却暗含了”可能“，即仅当我去了电影院，小红才有可能去电影院。当小红已经去了电影院时，可以证明我一定去了。因为我们通常不会说：只有我去了电影院，小红才一定会去电影院。这是不符合语言习惯的。所以有p可以推出q，但q却不会推出p。所以才有了“p仅当q”=“p->q”。