گزاره برگ

{fact sheet/ factsheet} [عمومی] برگه ای حاوی نکات کلیدی و خلاصه ای از اطلاعات دربارۀ موضوعی خاص که عموماً به قصد اطلاع مخاطبان تهیه می شود

💡 در ساختار شعر بابلی، هر سطر شامل یک یا دو گزاره است. جمله‌ها طولانی نیست. جمله معمولا در پایان سطر خاتمه می‌یابد، یا نهایتا دو سطر را شامل می‌شود. اما در اغلب اوقات، یک سطر شامل دو گزاره است که همدیگر را تقویت می‌کنند. معمولا چهار سطر دو بیت را تشکیل می‌دهند.

💡 بند، فراکرد یا جمله‌واره (در متون قدیمی‌تر جمله ساده) عبارتی است شامل یک نهاد و یک گزاره.

💡 یک تابع درستی است که از دو گزاره ساده‌تر مثلاً

💡 افراد مختلف ممکن است حالات مختلفی را نسبت به یک گزاره یکسان نشان دهند.

💡 یکی از استفاده‌های اصلی حساب گزاره‌ای، هنگامی که آن را معادل عملیات منطقی تفسیر نماییم، تشخیص روابط هم‌ارزی منطقی بین روابط گزاره‌ای است. این روابط هم‌ارزی به کمک قوانین استنتاج موجود تشخیص داده می‌شوند که به دنباله‌های آن‌ها اثبات یا استنتاج گفته می‌شود.

💡 تهی است، پس نقیض گزاره نمی‌تواند درست باشد، پس خود گزاره درست است.