حساب گزاره‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد.

حساب گزاره‌ها یا حساب گزاره‌ای (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

    [ویرایش] جستارهای وابسته