- ID
- 351241
- Banca
- CESPE / CEBRASPE
- Órgão
- TRE-PR
- Ano
- 2009
- Provas
- Disciplina
- Não definido
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 os itens de
11 a 14.
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.