ارزش گزاره های شرطی زیر را تعیین کنید:
الف \((p \Rightarrow p \vee q) \equiv T\)


ب \((p \wedge q \Rightarrow p) \equiv T\)


همان گونه که می بینید در جدول همهٔ حالت ها بررسی شده است، گاهی اوقات به کمک استدلال می توان با مسیری کوتاه تر، ارزش گزاره را مشخص کرد. برای مثال می توان ارزش گزارهٔ الف را به صورت زیر تعیین کرد.
گزارهٔ p دو ارزش دارد:

به طور مشابه ارزش گزارهٔ ب را تعیین نمایید.

گزاره هایی نظیر \((p \Rightarrow p)\) یا \((p \vee \sim p)\) را گزاره هایی همیشه درست و گزاره هایی نظیر \((p \wedge \sim p)\) را همیشه نادرست می نامیم.