Biliyin qurğusunu incələyən, düz və səhv mülahizələri fərqləndirən elmlər məcmusudur. Əvvəllər bir fəlsəfə qolu ikən, sonralar Riyaziyyat və Kibernetikanın bir hissəsi halına gəlmişdir. Məntiq elminin inkişafında Aristotel və Qottlob Fregenin rolu böyükdür. Məntiq əsas olaraq iki hissəyə bölünür. Ənənəvi məntiq üzərində qurulmuş Formal məntiq və formal məntiq üzərində qurulmuş Riyazi məntiq.
Bəsit bir misal odur ki: Egər bütöv insanlarməməli isə və Aristotel insansa, deməli ki Aristotel də məməlidir.
Bu misal da məntiq simvolları bu cürə göstərilə bilər:
Formal məntiq - İnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını - (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur.
Riyazi məntiq - formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan İngilis riyaziyyatçısı Corc Bul olmuşdur.
![[(a \Rightarrow b) \land (c \Rightarrow a)] \Rightarrow (c \Rightarrow b)](http://upload.wikimedia.org/math/e/a/c/eacb67f3edd304d54be0c01cf3d3d78d.png)