Implicación

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conector binario verdad-funcional (generalmente escrito →) según la semántica de la implicación material, que es falso exactamente cuando el antecedente es verdadero y el consecuente es falso, y verdadero en todas las demás valoraciones clásicas.