Sejam as proposições p e q onde p implica logicamente q. Diz-se de maneira equivalente que: