کاربردهایی از منطق گزاره ای

پیدایش بسیاری از نظریه های ریاضی حاصل استدلال و تفکر است.از مدل های مختلف منطق ریاضی، برای صوری سازی تفکر قیاسی استفاده می شود. منطق گزاره ای یکی از مدل های ریاضی برای تفکر و استنتاج های ریاضی است که در بسیاری از شاخه های مختلف علوم استفاده می شود. در این مقاله ضمن اشاره به جنبه های نظری و کامپیوتری منطق گزاره ای، کاربردهایی از آن در سایر علوم بیان می شوند.

کلیدواژه ها:

عامل منطقی ، تابع بولی ، ارزش درستی ، منطق گزاره ای