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.

Representando por x um indivíduo qualquer, por A(x) o fato de o indivíduo ser analista de sistemas, por M(x) o fato de ele ser míope, por O(x) o fato de ele usar óculos e por L(x) o fato de ele usar lentes de contato, as premissas P₁ e P₃ podem ser simbolizadas, respectivamente, por (∃x)(A(x) ∧ ~M(x)) e (∀x)(O(x)∨L(x)).