LA IMPLICACION

Es un conectivo lógico, se representa como una flecha entre dos proposiciones, se le "entonces"
si "p" y "q" son dos proposiciones, tenemos que
p → q
se lee "p implica q" o "si p entonces q". es equivalente a la negación de la primera proposición conectada con la segunda mediante el conectivo "o" inclusivo o disyución inclusiva.