Asli
Bilgili
Geçerlilik ve geçersizlik nedir?
Geçerli bir çıkarım için, sonucun öncüllerden çıktığı (veya öncülleri mantıksal olarak izlediği) söylenir. 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çerli bir çıkarım için, sonucun öncüllerden çıktığı (veya öncülleri mantıksal olarak izlediği) söylenir. 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.
