verb
қажет ету
To logically require or involve as a necessary consequence, often used in formal logic and proof theory.
Логикалық түрде қажетті нәтиже ретінде қамтитын немесе талап ететін процесс, көбінесе формалды логика мен дәлелдеу теориясында қолданылады.