حساب گزارهها
از ویکیپدیا، دانشنامهٔ آزاد.
حساب گزارهها یا حساب گزارهای (Propositional calculus) سیستمیست صوری (formal) که به نمایش مواد و اصول منطق گزارهای میپردازد. گزارهها و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبری ست. در منطق کلاسیک یا منطق دو ارزشی، گزارهها دارای ارزش درست یا غلط هستند. بعضی منقدانها منطق گزارهها را منطق جملهها خواندند ولی به نظر میرسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، محتوای یک جمله است، عبارت منطق گزارهها صحیحتر است.
[ویرایش] پیوندهای بیرونی
- چگونگی شكلگيری منطق رواقی-مگاری به لحاظ تاريخی و مبانی منطقی، مهدی امامی جمعه، مجلهٔ علمی پژوهشی دانشکدهٔ ادبیات و علوم انسانی، دانشگاه اصفهان
[ویرایش] منابع
- Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., 1984. ISBN: 0-387-96170-4 *Russell, S., and Norvig, P. Artificial Intelligence, A Modern Approach, 2nd edition, Pearson Education, Inc., 2003. ISBN: 0-13-790395-2
- محمد اردشیر. ۱۳۸۳،منطق ریاضی. انتشارات هرمس با همکاری مرکز بین المللی گفتگوی تمدنها، ISBN ۹۶۴-۳۶۳-۲۲۹-۶.
[ویرایش] جستارهای وابسته
- منطق مرتبه صفر
- منطق مرتبه اوّل
- منطق مرتبه دوّم
- منطق مراتب بالاتر
- منطقهای توصیف

