Modus ponens and modus tollens in discrete implications | Publicación