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)](http://upload.wikimedia.org/math/e/a/c/eacb67f3edd304d54be0c01cf3d3d78d.png)
 |
Riyaziyyat ilə əlaqədar bu məqalə qaralama halındadır. Məqaləni redaktə edərək Vikipediyanı zənginləşdirin. |
