Bu not, karşıt önermeler (A-E) arasındaki ilişkileri ve bu ilişkilerin mantıksal çıkarımlarda nasıl kullanıldığını anlamanıza yardımcı olacaktır. Temel amaç, önermelerin tutarlılık, tutarsızlık ve altıklık durumlarını kavramaktır.
A ve E önermeleri, aynı özne ve yükleme sahip olmalarına rağmen nitelikleri bakımından farklıdır. Bu farklılık, aralarında karşıtlık ilişkisi doğurur.
⚠️ Dikkat: A ve E önermeleri aynı anda doğru olamazlar. Ancak, ikisi de aynı anda yanlış olabilir.
Karşıt önermelerin doğruluk değerleri arasındaki ilişki, çıkarımlarda önemli bir rol oynar.
💡 İpucu: Bu çıkarımları yaparken, önermelerin sadece niteliğine (olumlu/olumsuz) değil, aynı zamanda niceliğine (tümel/tikel) de dikkat edin.
Altıklık ilişkisi, tümel bir önermeden tikel bir önermeye geçişi ifade eder.
⚠️ Dikkat: Tümel bir önerme doğruysa, altığı olan tikel önerme de doğrudur. Ancak, tikel bir önerme doğruysa, üstündeki tümel önermenin doğru olup olmadığı bilinemez.
Alt karşıt önermeler, her ikisinin de aynı anda yanlış olamayacağı ancak aynı anda doğru olabileceği önermelerdir.
💡 İpucu: Alt karşıt önermelerden birinin yanlış olması, diğerinin kesin doğru olduğu anlamına gelir.
Çelişik önermeler, aynı anda ne doğru ne de yanlış olabilen önermelerdir. Birinin doğru olması, diğerinin kesinlikle yanlış olmasını gerektirir.
⚠️ Dikkat: Çelişik önermelerde belirsizlik söz konusu değildir. Biri doğruysa diğeri kesinlikle yanlıştır.