Fundamentos de la Lógica parte 4

Proposición Condicional:
Si p entonces q, cuando p es una hipótesis y q es una conclusión.

Bicondicional:
Es una conjunción de p entonces q, con q entonces p.