۱. در جاهای خالی عدد یا عبارت مناسب قرار دهید: - کاربرد منطق در تشخیص ........ است. - در گزاره شرطی $p \implies q$ ، $p$ را ........ و $q$ را ........ می نامیم. - نمایش زوج مرتبی یک رابطه وقتی تابع است که ........

۲. درستی یا نادرستی گزاره های زیر را تعیین کنید: الف) عبارت "عدد ۴+۳ برابر ۸ است" یک گزاره است.

۳. با توجه به هم ارزی $p \land q \equiv \sim (\sim p \lor \sim q)$ نقیض گزاره "سعدی شاعر است یا ابوریحان ریاضیدان نیست" را بنویسید.

۴. اگر $p$ گزاره ای درست و $q$ نادرست باشند، ارزش گزاره های زیر را تعیین کنید (با ذکر دلیل): $(p \implies q) \iff (q \implies r)$ $(p \land q) \lor r$

۵. جدول زیر را کامل کنید: ردیف | گزاره | ارزش ۱ | $8$ بخشپذیر بر $4$ است | $\checkmark$ ۲ | $\sqrt{2} + \sqrt{3} \neq \sqrt{5}$ | $\checkmark$ ۳ | شرط لازم و کافی برای آنکه $2$ عدد اول باشد آن است که ........ | $\times$ ۴ | اگر مجموعه اعداد اول نامتناهی است آنگاه ........ | $\times$ ۵ | ........ | $\checkmark$

۷. جدول ارزش گزاره های زیر را رسم کنید: $(p \implies q) \iff (\sim q \implies \sim p)$

۸. درستی هم ارزی زیر را با استفاده از جدول ارزش ها نشان دهید: $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$