كاربردهايي از منطق گزاره‌اي

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