مَنطِقدانششناسایی و ارائهٔ روش درستاندیشیدن(تعریف کردن و استدلال کردن) است. در گذشته منطق صرفاً شاخهای ازفلسفهشمرده میشد ولی از میانهٔسدهٔ نوزدهمدرریاضیّاتو در دهههای واپسین درعلوم رایانهو از دهه ۱۹۸۰ درعلوم شناختینیز به آن میپردازند....