گزاره (به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جمله‌ای است خبری که می‌تواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد...

مَنطِق مطالعهٔ روشمند قاعده استنتاج مجاز مانند روابطی که منجر به پذیرش گزاره (تالی) بر پایهٔ مجموعهٔ دیگر گزاره‌ها (پیش‌فرض‌ها) می‌شود، است. واژهٔ منطق...

حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها...

نمی‌شوند. قیاس همواره چند گزاره (منطق) را در بر می‌گیرد و منظور از چند گزاره (منطق) در واقع دو گزاره (منطق) یا بیشتر است. قیاس مجموع گزاره‌هایی است که هرگاه آن‌ها...

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

برای منطق گزاره‌ای، نماد ∀ {\displaystyle \forall \;} که به صورت «به ازای هر» خوانده می‌شود، سور عمومی نام دارد. درنظر بگیرید که می‌خواهید گزاره ای بنویسید...

از نظر علم منطق به یکی از دلایل زیر نادرست باشد: نخست آنکه دست‌کم یکی از مقدمات گزاره نادرست باشد؛ دوم آنکه مقدمات گزاره، متضمن نتیجهٔ گزاره نباشد. مغالطه...

گزاره‌ها پیش از کانت به تحلیلی (analytic) و تألیفی یا ترکیبی (synthetic) تقسیم می‌شد، اما کانت فیلسوف آلمانیِ قرن هجده، در کتاب سنجش خرد ناب این قضایا...

تعریفِ دقیقی دارد: به هر گزاره‌ای که از جنسِ گزاره خبری باشد یک «شرایط صدق» تعلق می‌گیرد. شرایطِ صدق بیان می‌کنند که گزاره در چه شرایطی صادق و در چه...

منطق فازی یا «منطق تشکیک» (به انگلیسی: fuzzy logic) شکلی از منطق‌های چندارزشی بوده که در آن ارزش منطقی متغیرها می‌تواند هر عدد حقیقی بین ۰ و ۱ و خود آن‌ها...

منطق مرتبه‌اول (به انگلیسی: First-order logic) مجموعه‌ای از سیستم‌های صوری است که به آن منطق محمولات یا منطق گزاره‌ای (Predicate logic)، منطق سوری (به...