حساب گزاره‌ای: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات: افزودن رده‌های همسنگ |
جزبدون خلاصۀ ویرایش برچسب‌ها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۱:
'''حساب گزاره‌ها''' یا '''حساب گزاره‌ای''' (به [[زبان انگلیسی|انگلیسی]]: Propositional calculus) سامانه‌ای است صوری (formal) که به نمایش مواد و اصول '''منطق گزاره‌ای''' می‌پردازد. [[گزاره (منطق)|گزاره‌ها]] و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های
تذکر: بعضی منطق‌دان‌ها منطق گزاره‌ها را منطق جمله‌ها خواندند، ولی، به نظر می‌رسد با توجه به تفاوت زبانی ''گزاره'' و ''جمله'' و اینکه گزاره، فقط به جمله خبری گفته می‌شود، عبارت ''منطق گزاره‌ها'' صحیح‌تر است.
| |||