Mantık
Vikipedi, özgür ansiklopedi
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)](../../../math/0/c/6/0c6b6030613fee506b9ffb9bae38dac7.png)
Bu örnek daha genel olarak şöyle ifade edilebilir:
![[(a \Rightarrow b) \land (c \Rightarrow a)] \Rightarrow (c \Rightarrow b)](../../../math/e/a/c/eacb67f3edd304d54be0c01cf3d3d78d.png)
 |
Matematik ile ilgili bu madde bir taslaktır. İçeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz. |
