حساب گزاره‌ها
از ویکی‌پدیا، دانشنامهٔ آزاد.
حساب گزاره‌ها یا حساب گزاره‌ای (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
[ویرایش] جستارهای وابسته
- منطق مرتبه صفر
- منطق مرتبه اوّل
- منطق مرتبه دوّم
- منطق مراتب بالاتر
- منطق‌های توصیف
