Implicación

Para toda proposición implica se puede asociar una aplicación recíproca^[1] implica donde la hipótesis de la primera se convirtió en la conclusión de la segunda y la conclusión de la primera se convirtió en la hipótesis de la segunda.

Atención, como ya lo sabe, una de las proposiciones puede ser verdadera y la otra falsa.