SORU: Geçerli çıkarım kavramı ile mantıksal olarak doğru önerme ve mantıksal olarak yanlış önerme kavramları arasında nasıl bir ilişki vardır?
CEVAP: 1. Bir çıkarımın geçerli olması ile bu çıkarımın öncül önermelerinin ve ile birleştirilmesi ve ise ifadesinin ardından sonuç önermesinin yazılmasıyla elde edilen önermenin mantıksal olarak doğru önerme olması aynı şeydir. 2. Bir çıkarımın geçerli olması ile bu çıkarımın öncül önermelerinin ve ile birleştirilmesi ve bir diğer ve ifadesinin ardından sonuç önermesinin değildir ile yazılmasıyla elde edilen önermenin mantıksal olarak yanlış önerme olması aynı şeydir.