"Quem estuda, passa.

"

Adotando-se:
Px: "x estuda."
Qx: "x passa."

Linguagem simbólica do argumento:

Premissa 1: ∀x (Px → Qx)
Premissa 2: ~Px
Conclusão: ~Qx

Situação 1:

Conclusão: "x não estuda, mas passa." (Conclusão não-válida)

Situação 2:

Conclusão: "x não estuda e não passa."

Para que o argumento seja válido, é necessário que sua conclusão seja
verdadeira, sempre que suas premissas forem verdadeiras.

A situação 1 invalida a conclusão dada. O argumento é não-válido!