Tipos de Proposición Condicional✔️✖️

 P R O P O S I C I Ó N          R E C í P R O C A 

p→q es q→p.

q→p Si lavo el automóvil, entonces hace buen tiempo.

Para formar la conversa del enunciado condicional, se debe intercambiar la hipótesis y la conclusión.

P R O P O S I C I Ó N          I N V E R S A 

p→q es ¬p→¬q. 

¬p→¬q  Si no hace buen tiempo, entonces no lavaré el automóvil.

Para formar la inversa del enunciado condicional, se debe de realizar la negación tanto de la hipótesis como de la conclusión, en este caso p y q.

P R O P O S I C I Ó N          C O N T R A R E C í P R O C A 

p→q es ¬q→¬p. 

¬q→¬p Si no lavo el automóvil, entonces no hace buen tiempo.

Una proposición contrarrecíproca de una proposición condicional es como una proposición recíproca pero con el antecedente y el consecuente negado, veamos su definición formal.

Si se debe demostrar que una proposición p implica una proposición q (es decir, si se da p, se tiene que dar q), muchas veces se facilita demostrar que si no se da q, entonces no puede cumplirse p. Esto es conocido como demostración por contrarrecíproco o contraposición. 

VIDEO EXPLICATIVO