راستگو

در منطق گزاره‌ای، فرمولی که به‌ازای همة ارزش‌دهی‌های گزاره‌های سازای (constituent) آن راست باشد