Lóg.

Si en una implicación se llama H a la hipótesis y T a la tesis, H —> T recibe el nombre de teorema directo, y expresa que H es condición suficiente de T, o bien que T es una condición necesaria para H.

Deja una respuesta

Tu dirección de correo electrónico no será publicada.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.