Mantık, mekanik bir akıl yürütme sistemidir. Kararların ve sonuçların bir sembolik bir dizi ifadeden türetildiği veya çıkarıldığı bir kurallar dizisidir. Mantıkta önemli olan anlam değildir; bunun yerine, argümanı oluşturan akıl yürütme adımlarının birbirini takip edip etmediğidir.2 Oca 2018