نقیض گزارۀ «اگر علی دانشجو باشد، دیپلمه هم هست.» کدام است؟
فرض کنید: علی دانشجو است: p علی دیپلمه است: q در این صورت گزارۀ شرطی صورت سؤال معادل گزارۀ $p\Rightarrow q$ است و داریم: $(p\Rightarrow q)\vee q$ $\begin{align} & \sim (p\Rightarrow q)\equiv \sim (\sim p\vee q) \\ & \equiv \sim (\sim p)\wedge \sim q \\ & \equiv p\wedge \sim q \\ \end{align}$ و این یعنی علی دانشجو است اما دیپلمه نیست.