گزاره (منطق)
جملهای خبری که میتواند درست یا نادرست باشد / From Wikipedia, the free encyclopedia
گزاره (به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جملهای است خبری که میتواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد. برای نمونه، جملهٔ «۲۳ عددی اول است» یا «» هر دو جملههای خبری هستند؛ ولی جملات امری، پرسشی و عاطفی نمیتوانند به عنوان یک گزاره در نظر گرفته شوند؛ چون بررسی درستی یا نادرستی آنها بیمعناست.
گزارههای درست را با «د» یا «T» یا «۱» نشان میدهیم و گزارههای نادرست را با «ن» یا «F» یا «۰» نشان میدهیم. به این حالتها، حالتهای منطقی یا امکانهای منطقی میگویند. درستی یا نادرستی یک گزاره را ارزش (یا ارزش صدق) آن گزاره میگویند.