عکس نقیض گزارۀ «اگر ${{a}^{۲}}$ عددی فرد باشد،$a$ نیز عددی فرد است.» کدام است؟ $(a\in \mathbb{Z})$
نکته: گزارههای «$q\Rightarrow p$» و «$\sim q\Rightarrow \sim p$» به ترتیب عکس و عکسِ نقیض ترکیب شرطی «$p\Rightarrow q$» نامیده میشود. نکته: ارزش عکس نقیض گزارۀ شرطی، با ارزش خود گزارۀ شرطی یکسان است؛ $(p\Rightarrow q)\equiv (\sim q\Rightarrow \sim p)$ با توجه به نکات بالا عکس نقیض گزارۀ «اگر ${{a}^{2}}$ فرد باشد، $a$ فرد است.» به صورت زیر است: «اگر $a$ فرد نباشد،${{a}^{2}}$ فرد نیست.» $\equiv $ «اگر $a$ زوج باشد،${{a}^{2}}$ زوج است.»