命题 P→Q 可读作 $P$ 蕴含 $Q$，其中 $P,Q$ 是两个独立的命题。只有当命题 $P$ 成立而命题 $Q$ 不成立时，命题 P→Q 的值才为 false，其他情况均为 true。与与命题 P→Q 等价的逻辑关系式是 {{ select(1) }}

• $\urcorner P \lor Q$
• $P\land Q$
• $\urcorner (P \lor Q)$
• $\urcorner Q \land P$