Mantıkta geçerlilik ne demek? İzinsiz dağıtılamaz veya sınıf dışında kullanılamaz. Geçerlilik tanımlarımızı hatırlayalım: Eğer sonuç, öncüllerin her ikisinin de doğru olduğu her olası durumda da doğruysa, yani öncüllerin doğru ve sonucun yanlış olması imkansızsa, sonuç geçerlidir. Geçerli çıkarım nedir? Biçimsel mantık için, bir çıkarım yalnızca iyi biçimlendirilmişse tümdengelimli ve geçerli olup, öncülü doğruysa sonucu yanlış olamaz. Bu aynı zamanda, öncülü yanlışsa veya sonucu doğruysa geçerli olduğu anlamına gelir.21 Mart 2018Biçimsel mantık için, bir çıkarım yalnızca iyi biçimlendirilmişse tümdengelimli ve geçerli olup, öncülü doğruysa sonucu yanlış olamaz. Bu aynı zamanda, öncülü yanlışsa veya sonucu doğruysa geçerli olduğu anlamına gelir. Geçerlilik nedir…
Yorum Bırak