Mantık

Bu çalisma 'MANTIK DERS KITABI'seklinde hazirlanmistir. Her konunun basina hazirlik sorulari ve sonunada alistirmalar konularak,okuyucunun konulari daha kolay anlamalari saglanmaya çalisilmistir. Çalisma bes bölüm ve dört ek konudan olusan bir bütünlük tasimaktadir.Klasik mantigin tasarimlarini denetlemek için ayrica bir geometrik (venn semalari), bir de EK-I de aritmetik yönetim (O-1 Yönetimi) verilmektedir. Üçüncü bölüm modern mantigi kapsamli bir sekilde ele almaktadir.Iki degerli mantigi, önermeler ve niceleme mantigi olarak ikiye ayirarak ele almasinin yani sira, üç tane de denetleme yöntemi örneklerle sunulmaktadir: Dogruluk tablosu, çözümleyici çizelge ve dogal türetim yöntemleri.Üç degerli mantik, modern mantik bölümüne ayri bir çesitlilik katmaktadir. Lukasiewicz ve Heyting'in üç degerli mantigi ayrintili olarak ele alinmaktadir. Dördüncü bölüm, mantigin uygulama alanlarina ayrilmistir. Besinci bölümde mantik felsefesinin sorunlari çesitli açilardan tartisilmistir. Ekler kisminda özdeslik mantigi,varlik mantigi ve kiplik mantigi genel hatlariyla tanitilmistir.