Geçersiz önerme ne demek?
Bir çıkarımın öncüllerinin hepsinin birden doğru olduğu ama yine de sonucunun yanlış olduğu bir mümkün durum tutarlı bir biçimde tasarlanabiliyorsa, o çıkarım geçersizdir. Geçersiz bir çıkarımda öncüllerin birlikte doğru olması, sonucun doğru olmasını kaçınılmaz kılmaz.
Bir çıkarımın öncüllerinin hepsinin birden doğru olduğu ama yine de sonucunun yanlış olduğu bir mümkün durum tutarlı bir biçimde tasarlanabiliyorsa, o çıkarım geçersizdir. Geçersiz bir çıkarımda öncüllerin birlikte doğru olması, sonucun doğru olmasını kaçınılmaz kılmaz.