Considere as proposições "nenhum biólogo é físico" e "algum físico é engenheiro civil". Do ponto de vista da lógica, é válido concluir que:
algum engenheiro civil é biólogo.
algum engenheiro civil não é biólogo.
todo engenheiro civil é físico.
algum engenheiro civil é biólogo e não é físico.
existe engenheiro civil que não é físico.