نقیض گزارۀ «اگر ۲ عددی اول باشد، آنگاه ۵ عددی فرد است» کدام است؟
اگر گزاره را به صورت $p\Rightarrow q$ در نظر بگیریم، آنگاه داریم: $\sim (p\Rightarrow q)\equiv \sim (\sim p\vee q)\equiv p\wedge \sim q$ بنابراین نقیض گزاره به صورت «2 عددی اول است و 5 عددی فرد نیست.» یا «2 عددی اول است و 5 عددی زوج است» میباشد.