منطق

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

مَنطِق (از عربی، =آنچه به گفته در آمده) را عموماً بررسی استدلال‌ها می‌دانند. گرچه در تعریف دقیق منطق بین فیلسوفان و منطق‌دانان بحث است ولی در هر حال کاربرد منطق در تشخیص استدلال درست از استدلال نادرست و مغالطه است.

در گذشته منطق شاخه‌ای از فلسفه شمرده می‌شد ولی از میانه سال‌های ۱۸۰۰ در ریاضیات و در دهه‌های اخیر در علم رایانه به آن می‌پردازند.

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