Soru: Üçüncü Halin İmkansızlığı ilkesi, klasik mantıkta bir önermenin doğruluk değeri hakkında aşağıdakilerden hangisini ifade eder?
A) Bir önerme hem doğru hem yanlış olamaz.
B) Bir önerme ya doğrudur ya da yanlıştır; üçüncü bir durum söz konusu değildir.
C) Her önerme kendisiyle özdeştir.
D) Bir önermenin doğruluğu, başka bir önermenin doğruluğuna bağlıdır.
Çözüm: Üçüncü Halin İmkansızlığı ilkesi (Latince: Principium tertii exclusi), bir önermenin ($P$) ya doğru ($D$) ya da yanlış ($Y$) olduğunu, bu ikisi dışında üçüncü bir doğruluk değerinin olmadığını belirtir. Yani, $P \lor \neg P$ her zaman doğrudur.
A seçeneği, Çelişmezlik İlkesi'ni ifade eder.
C seçeneği, Özdeşlik İlkesi'ni ifade eder.
D seçeneği, çıkarım veya bağımlılık ilişkisini ifade eder, doğrudan ilkeyle ilgili değildir.
Doğru cevap B seçeneğidir.
