گزاره‌های همیشه درست (راستگوها)
گزاره مرکب را گزاره همیشه درست گویند هرگاه مستقل از ارزش مولفه‌های تشکیل دهندهاش درست باشد.
به‌عبارت دیگر گزاره یک گزاره همیشه درست است هرگاه دو تعبیر یک گزاره درست باشد.
به‌عنوان نمونه گزاره یک گزاره همیشه درست است:
هر گزاره همیشه درست را با نشان می‌دهیم و در ستون آخر جدول گزاره همیشه درست، فقط وجود دارد.
گزاره‌های همیشه نادرست
گزاره مرکب همیشه نادرست است هرگاه همیشه درست باشد، لذا هر گزاره همیشه نادرست مستقل از ارزش مولفه‌های تشکیل دهندهاش نادرست است.
به‌عبارت دیگر گزاره همیشه نادرست است، هرگاه هر تعبیر نادست باشد.
به‌عنوان نمونه گزاره یک گزاره همیشه نادرست است:
هر گزاره همیشه نادرست را با نشان می‌دهیم و در ستون آخر جدول گزاره همیشه نادرست، فقط وجود دارد.
تمرین
تحقیق کنید کدام‌یک از گزاره‌های زیر همیشه درست و کدام‌یک همیشه نادرست است؟
گزاره فوق یک گزاره همیشه درست است.
گزاره فوق یک گزاره همیشه نادرست است.
