Implicación o condicional

La implicación lógica, también conocida como condicional, es un conector lógico que se utiliza en razonamiento formal para unir dos proposiciones y cuyo valor de verdad resulta en falso solo si el antecedente es verdadero y el consecuente es falso, y en cierto en cualquier otra forma. En lenguajes formales, el conectivo "si...entonces" se utiliza en español para simbolizar una implicación lógica. En álgebra booleana, la implicación como operador binario entre dos variables se representa con el símbolo de flecha (→). La implicación de dos proposiciones simples p y q es verdadera si el antecedente es falso o el consecuente es verdadero. La representación de la implicación de proposiciones se realiza con una compuerta IF-THEN cuyo símbolo es →. La tabla de verdad de la implicación de proposiciones tendrá 2n renglones, en cada uno de los cuales están todas las posibles y diferentes combinaciones de valor de verdad de las proposiciones simples.