Doğrudan İndirgemeler Üzerine İki Değerli Mantık Açısından Bir İnceleme –II: Aynı Basit Önermelerden Oluşturulan Bileşik Önermelerin Birbirine İndirgenmesi

Authors : Fikret Osman

Pages : 838-913

Doi:10.20981/kaygi.1487216

View : 114 | Download : 116

Publication Date : 2024-09-30

Article Type : Research Paper

Abstract :“Denizin ne sisli olduğu ne de sisli olmadığı doğru değildir” şeklindeki tümel değilleme önermesiyle “denizin hem sisli olduğu hem de sisli olmadığı doğru değildir” şeklindeki bağdaşmazlık önermesi; “öğrenci çalışkandır veya çalışkan değildir” şeklindeki tikel evetleme önermesiyle “öğrencinin çalışkan olduğu ve çalışkan olmadığı doğru değildir” şeklindeki tümel evetleme önermesi; “Paris şehrinin hem Fransa ülkesinin sınırları içerisinde yer aldığı hem de Fransa ülkesinin sınırları içerisinde yer almadığı doğru değildir” şeklindeki bağdaşmazlık önermesiyle “Paris şehrinin Fransa ülkesinin sınırları içerisinde yer aldığı ve Fransa ülkesinin sınırları içerisinde yer almadığı doğru değildir” şeklindeki tümel evetleme önermesi aynı basit önermelerden oluşturulan ve iki değerli mantık bağlamında birbirine indirgenebilen birer bileşik önermedir. Bu önermeler gibi aynı basit önermelerden oluşturulan pek çok bileşik önerme birbirine indirgenebilir. Bu makalede aynı basit önermelerden oluşturulan bileşik önermelerin iki değerli mantık bağlamında tüm birbirine indirgenme varyasyonları ortaya konulmaya çalışılmaktadır. Çalışmanın birinci bölümünde değilleme eklemi kullanılmadan oluşturulan aynı basit önermeli bileşik önermelerin birbirine indirgenmesine, ikinci bölümünde değilleme ekleminden yararlanılarak oluşturulan aynı basit önermeli bileşik önermelerin birbirine indirgenmesine, üçüncü bölümünde ise değilleme eklemi kullanılmadan oluşturulan aynı basit önermeli bileşik önermelerle değilleme eklemi kullanılarak oluşturulan aynı basit önermeli bileşik önermelerin birbirine indirgenmesine yer verilmektedir.
Keywords : İndirgeme, Önerme Eklemleri, Bileşik Önermeler, Eşdeğer Önermeler, Eşdeğer Olmayan Önermeler

ORIGINAL ARTICLE URL