اگر a یک عدد صحیح باشد، کدام یک از عبارات زیر قطعاً در مورد a درست خواهد بود؟
گزینهی ۱: اگر a برابر ۴- باشد، آنگاه a یک عدد طبیعی نیست. گزینهی ۲: اگر a برابر ۴- باشد، آنگاه حاصل جمع a و قرینهی آن برابر صفر است. $(-4)+(+4)=0$ گزینهی ۳: $-(-4)>-4 \to +4>-4$ گزینهی ۴: اگر a برابر صفر باشد، آنگاه a یک عدد طبیعی نیست.