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

Modern Mantıkta Önerme Eklemleri Nedir? Ne Değildir? Özelliği Nedir?

“Önerme Eklemleri”, basit önermeleri bileşik hâle getiren mantık değişmezleridir. Bu eklemler “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” sözcükleriyle ifade edilir.

Önerme eklemlerinin birinci işlevi bileşik önermeler oluşturmak; ikinci işlevi önermelerin tutarlılık, geçerlilik ve eş değerliliğinin ve çıkarımların geçerliliğinin denetlenmesini sağlamaktır.

Önerme eklemlerinin sembolik mantıkta kullanılış biçimleri aşağıdaki tabloda gösterilmiştir.


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


Bir bileşik önermede birden fazla önerme eklemi bulunabilir. Örneğin, “Üretim artarsa fiyatlar azalır ve enflasyon düşer.” önermesinde “ise” ve “ve” olmak üzere iki önerme eklemi vardır.

Bileşik önermelerde, bileşikliği oluşturan yargılara “Bileşen” adı verilir. Bir bileşik önermede önce gelen bileşene ön bileşen, sonra gelen bileşene “Art Bileşen” adı verilir. “Yağmur yağarsa ürün bol olur.” önermesinde “Yağmur yağar.” önermesi ön bileşen, “ürün bol olur.” önermesi art bileşendir. Bir bileşik önermede, önermenin tümünü etkileyen ekleme “Ana Eklem”, birbirine bağlanan önermelere ise “Ana Bileşenler” denir. Aşağıdaki örnekler ana eklem ve ana bileşenleri göstermektedir.


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


Bileşik önermeler ana eklemlerine göre tanımlanır. Aşağıdaki çizelge bu tanımlamaları göstermektedir.


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


Bileşik önermelerin doğruluk değeri “Doğruluk Tablosu” ile denetlenir. Sembolik mantıkta önermeleri doğrudan ifade etmeyip semboller kullandığımız için, bir önermenin doğru ya da yanlış olup olmadığını bilemeyiz. Bu nedenle, bir önermenin doğru ve yanlış olmak üzere iki değeri vardır. Doğru değer “D” ile, yanlış değer “Y” ile gösterilir.

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