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