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.