Considere a seguinte proposição lógica, cujo valor é falso:
“Se é verão em Caratinga, então a cidade está movimentada e o rio está cheio.”
Se é verdadeiro que o rio está cheio, pode-se concluir como verdadeira a seguinte proposição: