logical entailment

mantıksal gerektirim

1. • matematik
   Bir önermenin doğruluğu, öncesinde gelen bir veya birden fazla önermenin doğruluğundan kaynaklanması; öncülün doğruluğunun vargının doğruluğunu gerektirmesi.
   İngilizce logical entailment; logical consequence

   Fransızca conséquence logique, f; implication logique, f