IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Tekil Mesaj gösterimi - Modern Mantıkta Önermeler Mantığı Nedir? Ne Değildir?

Kalemzede · 13 Kasım 2020, 21:19

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

Modern Mantıkta Önermeler Mantığı Nedir? Ne Değildir?

“Önermeler Mantığı”, birden fazla önerme ve bu önermeleri birleştiren eklemlerin sembolleştirilmesidir. Daha önce, bir yargı belirten ve doğru ya da yanlış olan cümlelere önerme dendiğinden bahsetmiştik. Önermeler “Basit Önerme” ve “Bileşik Önerme” olmak üzere ikiye ayrılıyordu.

Bileşik önermeler birden fazla basit önermenin “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” gibi eklerle birbirine bağlanması sonucu oluşur. Bu bağı sağlayan bahsi geçen eklere “Önerme Eklemleri” denir.

Örneğin:

“Berk Akan avukat veya savcıdır.”

Yukarıdaki önerme bir bileşik önermedir. Bu bileşik önerme Berk Akan avukattır.” ve “Berk Akan savcıdır.” basit önermelerinin “veya” eklemiyle bağlanması sonucu oluşmuştur.

Önermeler mantığında basit önermeler p, q, r, s, t, v, z… gibi önerme sembolleriyle gösterilir. Öyleyse bundan sonra “Mıstafa sınıfını geçti.” önermesi yerine “p” sembolünü (ya da herhangi bir başkasını) kullanabiliriz.

Önermelerin aldığı doğru ya da yanlış değere “Doğruluk Değeri” denir. ve “D” ve “Y” harfleriyle gösterilir.
Örneğin:
“İstanbul Türkiye’nin en büyük kentidir.” (D)

“Türkiye'nin başkenti İstanbul'dur.” (Y)

Önermeler mantığı, önerme eklemleri ile oluşmuş önermeleri ve çıkarımları ele alır. Çıkarımın verilen öncüllerden sonuç olarak yeni bir önerme çıkarma işlemi olduğunu daha önceki konularımızdan hatırlayacaksınız.

[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]