Em uma prova de raciocínio lógico, a afirmação "Se a proposição P é verdadeira, então a proposição Q também é verdadeira" é logicamente equivalente à afirmação "Não é verdade que a proposição P é verdadeira e a proposição Q é falsa".