BSTS / Mantık Terimleri Sözlüğü
geçerli çıkarım anlamı İng. valid inference Osm. muteber istidlâl Alm. allgemeingültiger Schluss Fr. inférence valable
Sonucu öncüllerinden çıkan çıkarım, öncülleri doğru kılan bütün yorumlarda sonucu da doğru olan çıkarım; geçersiz kılıcı kümesi tutarsız olan çıkarım. (…)