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 un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

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