valid inference

geçerli çıkarım

1. • matematik
   En az bir sembolik karşılığı geçerli olan yorumlanmış çıkarım.
   İngilizce valid inference

   Fransızca inférence valide, f

   Almanca allgemeingültiger Schluss, m
2. Sonucu öncüllerinden mantık yöntemleriyle elde edilebilen çıkarım; öncülleri doğru kılan bütün yorumlarda sonucu da doğru olan çıkarım.
3. Yorumlanmış bir çıkarım için sonucu öncüllerinden çıkan çıkarım.