Implicación o Condicional

La implicación lógica, también llamada condicional, es una relación entre dos proposiciones que se expresa como " si P, entonces Q". En términos más simples, establece que si la primera proposición es verdadera, entonces la segunda proposición tambien debe ser verdadera. La implicación es falsa solo cuando el antecedente es verdadero y el consecuente es falso; en todos los demás casos, es verdadera.

Formalización y términos

• La implicación se simboliza con una flecha: P --> Q
• Se puede leer como "si P, entonces Q", "P implica Q" 

Ejemplo

Si decimos "Si llueve (P), entonces la calle está mojada (Q)", estamos estableciendo una implicación. La implicación solo seria falsa si lloviera ( P es verdadero) y la calle estuviera seca (Q es falso).