Soru:
Bir önermenin geçerli (valid) olması ne anlama gelir? Aşağıdaki seçeneklerden hangisi geçerli bir çıkarımın tanımını doğru şekilde verir?
- A) Öncüllerin doğru olması durumunda sonucun da doğru olması
- B) Öncüllerin ve sonucun her zaman doğru olması
- C) Öncüllerin doğru olması durumunda sonucun yanlış olmasının imkansız olması
- D) Sonucun her zaman doğru olması
Çözüm:
💡 Mantıkta geçerlilik, bir argümanın formu ile ilgilidir. İçeriğe değil, yapıya bakarız.
- ➡️ Birinci adım: Geçerlilik, öncüllerin doğru olduğu varsayıldığında, sonucun yanlış olmasının mantıksal olarak imkansız olmasıdır.
- ➡️ İkinci adım: Seçenekleri inceleyelim. A seçeneği eksik, çünkü sadece "öncüller doğruysa sonuç doğrudur" demek yeterli değil, sonucun yanlış olma ihtimalinin olmaması gerekir. B seçeneği yanlış, çünkü öncüller yanlış da olsa bir argüman geçerli olabilir. D seçeneği, bir totolojiyi (her zaman doğru önerme) tanımlar, geçerli bir çıkarımı değil.
- ➡️ Üçüncü adım: C seçeneği, tanımı en doğru ve net şekilde ifade etmektedir: "Öncüllerin doğru olması durumunda sonucun yanlış olmasının imkansız olması".
✅ Sonuç: Doğru cevap C seçeneğidir.
