O seguinte argumento é um argumento válido: P: Todos os candidatos ao cargo de analista de desenvolvimento estudam lógica. Q: Nenhum engenheiro de redes é candidato ao cargo de analista de desenvolvimento. Conclusão: Ninguém que é engenheiro de redes estuda lógica.