
Considere que em determinada dedução, que possui duas premissas, a proposição simbolizada por
é uma das premissas verdadeiras e Q é uma conclusão. Nesse caso, para que a dedução seja uma dedução correta, como definida no texto, é suficiente considerar como a outra premissa a proposição

têm os mesmos valores lógicos para todas as possíveis valorações lógicas das proposições A e B.


