Nótese que ""p" implica "q"" y "no "q" implica no "p"" son proposiciones equivalentes.