Considere a seguinte argumentação lógica de premissas P₁, P₂, P₃ e conclusão C

P₁: Há um analista de sistemas que não é míope;
P₂: Todo mundo que usa óculos é míope;
P₃: Todo mundo ou usa óculos ou usa lentes de contato;
C: Portanto, algum analista de sistema usa lentes de contato.

A argumentação apresentada é válida.