Bir önermenin içeriği gerçekliğe uygunsa "truth", yani doğruluktan söz ederiz. Dışarıda yağmur yağıyorsa "Dışarıda yağmur yağıyor." önermesini örnek gösterebiliriz. Doğruluk ve geçerlilik farklı şeylerdir. Konumuz geçerlilikse (validity) akıl yürütmenin formel yapısını inceleriz.