A lógica sentencial, ou proposicional, trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsa (F), mas que não admitem os julgamentos V e F simultaneamente. A lógica de primeira ordem também trata do raciocínio expresso por sentenças, ou proposições, que são julgadas como V ou F dependendo do conjunto, ou domínio, ao qual pertencem os objetos referenciados nas sentenças e das propriedades, ou predicados, associadas a esses objetos. Na lógica de primeira ordem, os objetos de um domínio são quantificados por todos, alguns, nenhum etc. As deduções da lógica proposicional ou da lógica de primeira ordem têm uma estrutura cuja análise permite decidir se o raciocínio expresso está correto ou não, isto é, se a conclusão é uma consequência verdadeira das proposições que são colocadas como premissas, sempre consideradas verdadeiras.
Com base nas informações do texto acima, julgue o item.
Considerando como premissas as proposições “Nenhum universitário é analista judiciário” e “Todo analista judiciário faz curso de informática”, e como conclusão a proposição “Nenhum universitário faz curso de informática”, então o raciocínio formado por essas proposições é correto.