Considere verdadeiras as duas premissas abaixo:
O raciocínio de Pedro está correto, ou o julgamento de Paulo foi injusto.
O raciocínio de Pedro não está correto.
Portanto, se a conclusão for a proposição, O julgamento de Paulo foi injusto, tem-se uma dedução lógica correta.
