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

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

حساب گزاره‌ها یا حساب گزاره‌ای (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 ۹۶۴-۳۶۳-۲۲۹-۶. ‏

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

این نوشتار در زمینهٔ منطق خُرد است. با گسترش آن به ویکی‌پدیا کمک کنید.
این نوشتار در زمینهٔ ریاضیات خُرد است. با گسترش آن به ویکی‌پدیا کمک کنید.