فرمول گزارهایpropositional formulaواژههای مصوب فرهنگستانعبارتی متشکل از متغیرهای گزارهای که بهوسیلة رابطهای گزارهای با هم ترکیب میشوند
گزارهنماpropositional function, logical functionواژههای مصوب فرهنگستانعبارتی مشتمل بر یک یا چند متغیر که با تبدیل یکنواخت آن متغیر یا متغیرها به اسم یا اسامی خاص، تبدیل به گزاره شود متـ . تابع گزارهای
گزاره 2proposition, propositional meaning, propositional contentواژههای مصوب فرهنگستانمعنای تحتاللفظی یا صریح جمله
جدول ارزشtruth tableواژههای مصوب فرهنگستاندر منطق گزارهها (propositional logic)، جدولی که ارزش یک گزاره را بهازای همة ارزشدهیهای گزارههای سازای (constituent) آن مشخص میکند