Klasik mantıkta, aynı özne ve yükleme sahip önermelerin nitelik (olumlu-olumsuz) veya nicelik (tümel-tikel) ya da hem nitelik hem nicelik bakımından farklı olması durumunda aralarında karşı olum ilişkileri kurulur.
Aşağıda tanımlanan doğruluk değeri ilişkilerini, karşı olum karesindeki ilgili mantıksal ilişkilerle doğru şekilde eşleştiriniz.
- Aynı özne ve yükleme sahip iki önermeden biri doğruyken diğerinin zorunlu olarak yanlış olduğu, doğruluk değerlerinin her koşulda birbirinin zıttı olduğu ilişki.Çelişiklik ilişkisi (tümel olumlu ile tikel olumsuz veya tümel olumsuz ile tikel olumlu önermeler arası)
- Aynı özne ve yükleme sahip iki tümel önermeden biri doğruyken diğerinin zorunlu olarak yanlış olduğu, ancak birinin yanlış olmas�� durumunda diğerinin doğruluk değerinin belirsiz kaldığı ilişki.Üst karşıtlık ilişkisi (tümel olumlu ile tümel olumsuz önermeler arası)
- Aynı özne ve yükleme sahip iki tikel önermeden biri yanlışken diğerinin zorunlu olarak doğru olduğu, ancak birinin doğru olması durumunda diğerinin doğruluk değerinin belirsiz kaldığı ilişki.Alt karşıtlık ilişkisi (tikel olumlu ile tikel olumsuz önermeler arası)
- Aynı ��zne ve yükleme sahip önermelerde, tümel olanın doğru olması durumunda tikel olanın da zorunlu olarak doğru olduğu, ancak tümel olanın yanlışlığı durumunda tikel olanın doğruluk değerinin belirsiz kaldığı ilişki.Altıklık ilişkisi (tümel olumlu ile tikel olumlu veya tümel olumsuz ile tikel olumsuz önermeler arası)
Cevap
Birinci tanım çelişiklik ilişkisiyle, ikinci tanım üst karşıtlık ilişkisiyle, üçüncü tanım alt karşıtlık ilişkisiyle, dördüncü tanım ise altıklık ilişkisiyle eşleşmektedir.
Doğruluk değerlerinin birbirine göre durumları karşı olum karesindeki kurallara tam olarak uymaktadır. Çelişik önermeler her zaman zıt doğruluk değerine sahiptir. Üst karşıtlar aynı anda doğru olamazken, alt karşıtlar aynı anda yanlış olamaz. Altıklık ilişkisinde ise tümelin doğruluğu tikelin doğruluğunu garanti ederken, tümelin yanlışlığı tikelin değerini belirsiz bırakır.
Adım Adım Çözüm
Anahtar Kavram
Karşı Olum Karesi Doğruluk Değerleri Geçiş Kuralları