گزاره در منطق ریاضی، جمله یا عبارتی است که دقیقاً یکی از دو ارزش «درست» یا «نادرست» را دارد. برای نمونه، جمله «۷ عددی اول است» یک گزاره است، زیرا میتوان ارزش صدق آن را تعیین کرد؛ اما جملههایی مانند «در را ببند!» یا «آیا امروز باران میبارد؟» گزاره محسوب نمیشوند، زیرا بهترتیب امری و پرسشی هستند و ارزش صدق مشخصی ندارند.
در این مقاله با تعریف دقیق گزاره، ارزش صدق، گزارههای ساده و مرکب، گزارههای ریاضی و نمادگذاری آنها آشنا میشویم و تفاوت گزاره با جملههای غیرگزارهای را با مثال بررسی میکنیم. همچنین ارتباط گزاره با مفاهیمی مانند نقیض، عطف، فصل، شرطی، دوشرطی و جدول ارزش را توضیح میدهیم.
منطق ریاضی یکی از مباحث بنیادی ریاضیات است که به بررسی گزارهها، ارزش صدق آنها و روش ترکیب و تحلیل عبارتهای منطقی میپردازد. در این حوزه، جملههای ریاضی به زبان دقیقتری بیان میشوند تا بتوان درست یا نادرست بودن آنها و رابطه منطقی میان آنها را بررسی کرد.
مفاهیمی مانند گزاره، نقیض، عطف، فصل، شرطی، دوشرطی، جدول ارزش، همارزی منطقی و کمیتنماها از مهمترین ابزارهای منطق ریاضی هستند. این مفاهیم در کنار یکدیگر پایهای برای مطالعه اثباتهای ریاضی، ریاضیات گسسته، نظریه مجموعهها، نظریه الگوریتمها و بسیاری از مباحث علوم کامپیوتر فراهم میکنند.
در این مقاله، ساختار کلی منطق ریاضی و ارتباط میان مفاهیم اصلی آن را بررسی میکنیم و سپس هر یک از موضوعات مهم را بهصورت مقدماتی معرفی میکنیم.