Sejam as proposições p e q onde p implica logicamente q. Diz-se de maneira equivalente que:
Fonte: CONTADOR / FUNAI / 2016 / ESAF