Mantık

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 (AristotelesRightarrow memeli)

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

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

Yorum Yaz
Arkadaşların Burada !
Arkadaşların Burada !