Bir argüman, öncüllerden bir sonuca ilerler. Geçerlilik, öncüller doğruysa sonucun yanlış olamayacağını ifade eder. Geçerli bir çıkarımın öncülleri gerçekte yanlış olabilir; bu yüzden geçerlilik tek başına doğruluk sağlamaz.
Modus ponens biçimi “P ise Q; P; öyleyse Q”dur. “P ise Q; Q; öyleyse P” biçimi ise sonucu doğrulama hatasıdır. Aynı sonuca birden fazla neden yol açabilir.
Argüman defterinde iddia, dayanak, karşı görüş ve yanıt ayrı yazılır. Bir karşı görüşü güçlü hâliyle ifade etmek, kendi savını daha açık sınamana yardım eder.
P → Q; P ⟹ Q
Hesap örneği
Yağmur varsa zemin ıslaktır. Yağmur var. O hâlde zemin ıslaktır.
Not defterim
İnceleme işaretleri ve notlar bu tarayıcıya kaydedilir.