Məntiq

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

Bu məqaləni Azərbaycancalaşdırmaq lazımdır.
(Azərbaycanca olmayan kəlimələrin çevirilməsi, orfoqrafik səhvlərin düzəldilməsi və s.) Düzəliş etdikdən sonra {{qaralama - az}} ifadəsini kənarlaşdırmağı unutmayın.

Bilginin yapısını inceleyen, doğru ile yanlış akıl yürütmenin ayrımını yapmaya çalışan disiplin. Önceleri bir felsefe dalıyken daha sonra Matematik ve Bilgisayar Biliminin de parçası haline gelmiştir. Mantığa en büyük katkıları Aristoteles ve Gottlob Frege yapmıştır.

Basit bir örnek: Eğer bütün insanlar memeli ise, ve Aristoteles insan ise, Aristoteles da memelidir.

Bu örnek mantık sembolleriyle şöyle gösterilebilir:

 [(insan \Rightarrow memeli) \land (Aristoteles \Rightarrow insan)]  \Rightarrow (Aristoteles\Rightarrow memeli)

Bu örnek daha genel olarak şöyle ifade edilebilir:

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