Mantık önermenin kendisiyle ilgilenmez. Örneğin "Dikdörtgenin dört köşesi vardır. Dünya'nın şekli dikdörtgendir. O hâlde Dünya'nın dört köşesi vardır." gibi bir akıl yürütme mantıksal olarak geçerlidir ama elbette doğru değildir. Doğruluk ve geçerlilik birbirinden ayrı şeylerdir.