A proposição “Se um número inteiro é divisível por 6, então é divisível por 2 e por 3” é logicamente equivalente a: