Considere a seguinte seqüência de proposições: (1) Se o crime foi perfeito, então o criminoso não foi preso. (2) O criminoso não foi preso. (3) Portanto, o crime foi perfeito. Se (1) e (2) são premissas verdadeiras, então a proposição (3), a conclusão, é verdadeira, e a seqüência é uma dedução lógica correta.