Məntiq

Vikipediya, açıq ensiklopediya - ویکیپدیا ، آچیق انسایکلوپدیا

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 insanlar mə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:

[(insan ⇒ məməli) ∧ (Aristotel ⇒ insan)] ⇒(Aristotel ⇒ məməli)

Bu misalı belə də ifadə eləmək olar:

$[(a \Rightarrow b) \land (c \Rightarrow a)] \Rightarrow (c \Rightarrow b)$