Mantık

Bu çalışma 'MANTIK DERS KİTABI'şeklinde hazırlanmıştır. Her konunun başına hazırlık soruları ve sonunada alıştırmalar konularak,okuyucunun konuları daha kolay anlamaları sağlanmaya çalışılmıştır. Çalışma beş bölüm ve dört ek konudan oluşan bir bütünlük taşımaktadır.Klasik mantığın tasarımlarını denetlemek için ayrıca bir geometrik (venn şemaları), bir de EK-I de aritmetik yönetim (O-1 Yönetimi) verilmektedir. Üçüncü bölüm modern mantığı kapsamlı bir şekilde ele almaktadır.

İki değerli mantığı, önermeler ve niceleme mantığı olarak ikiye ayırarak ele almasının yanı sıra, üç tane de denetleme yöntemi örneklerle sunulmaktadır: Doğruluk tablosu, çözümleyici çizelge ve doğal türetim yöntemleri.Üç değerli mantık, modern mantık bölümüne ayrı bir çeşitlilik katmaktadır. Lukasiewicz ve Heyting'in üç değerli mantığı ayrıntılı olarak ele alınmaktadır. Dördüncü bölüm, mantığın uygulama alanlarına ayrılmıştır. Beşinci bölümde mantık felsefesinin sorunları çeşitli açılardan tartışılmıştır. Ekler kısmında özdeşlik mantığı,varlık mantığı ve kiplik mantığı genel hatlarıyla tanıtılmıştır.