گزاره‌ها، «و»، «یا»، «نه» و «اگر … آن‌گاه …»

تشخیص بده کدام جمله‌ها گزاره‌اند، «و»، «یا» و «نه» را درست به کار ببر، قول «اگر … آن‌گاه …» را بسنج و عکس‌نقیض را پیدا کن.

راهنما

گزاره جمله‌ای است که یا درست است یا نادرست. «۷ زوج است» گزاره است (یک گزارهٔ نادرست)؛ «⁦x + ۲ = ۵⁩» و «در را ببند» گزاره نیستند.

«p و q» فقط وقتی درست است که هر دو بخش درست باشند. «p یا q» وقتی درست است که دست‌کم یک بخش درست باشد. نقیض p درست را نادرست و نادرست را درست می‌کند.

«اگر p آن‌گاه q» فقط وقتی نادرست است که p درست و q نادرست باشد. عکس‌نقیضش «اگر نه q آن‌گاه نه p» همیشه همان ارزش را دارد. عکسش «اگر q آن‌گاه p» و معکوسش «اگر نه p آن‌گاه نه q» ممکن است همان ارزش را نداشته باشند.