Məntiq

Biliyin qurğusunu incələyən, düz və səhv fikirləşmənin fərqını tapmaq üçün çalışan elmdir. Əvvəlləri bir fəlsəfə qolu ikən, sonralar Riyaziyyat və Kompyuter Elminin də bir hissəsi halına gəlib. Məntiq elminə ən böyük armağanlar Aristotel və Qottlob Frege verib.

Bəsit bir misal odur ki: Egər bütöv insanlar məməli isə və Aristotel insansa, dəməli ki Aristotel də məməlidir.

Bu misaldə məntiq simvolları bu cürə göstərilə bilər:

$[(insan \Rightarrow memeli) \land (Aristotel \Rightarrow insan)] \Rightarrow (Aristotel \Rightarrow memeli)$