نکته: گزارۀ همیشه درست، گزاره‌ای است که ارزش آن همواره درست باشد. در گزاره‌های مرکب، گزارۀ همیشه درست، گزاره‌ای است که مستقل از ارزش گزاره‌ها همیشه دارای ارزش درست باشد. به عنوان مثال $p\Rightarrow (p\vee q)$،$(p\wedge q)\Rightarrow q$ و $p\Rightarrow p$ گزاره‌های همیشه درست هستند. با توجه به نکتۀ بالا گزینه‌های 1، 2 و 4 گزاره‌هایی همیشه درست هستند؛ ولی گزارۀ گزینه 3 همیشه نادرست است.