MAT-416
O contrapositivo de uma implicação ‘P → Q’ é ‘¬Q → ¬P’, e ambos têm o mesmo valor lógico. Considere a afirmação: ‘Se um número é divisível por 4, então é divisível por 2.’ O contrapositivo logicamente equivalente dessa afirmação é
O contrapositivo de uma implicação ‘P → Q’ é ‘¬Q → ¬P’, e ambos têm o mesmo valor lógico. Considere a afirmação: ‘Se um número é divisível por 4, então é divisível por 2.’ O contrapositivo logicamente equivalente dessa afirmação é