Existem três suspeitos de um assalto a banco, que podem ou não ter agido em conjunto. Sabe-se que:
I. Se o suspeito A ou o suspeito B é culpado, então o suspeito C também é culpado
II. O suspeito C é inocente.
Pode-se afirmar que:
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 ...
Considere as três informações dadas a seguir, todas verdadeiras.
− Se o candidato X for eleito prefeito, então Y será nomeado secretário de saúde.
− Se Y for nomeado secretário de saúde, então Z será promovido a diretor do hospital central.
− Se Z for promovido a diretor do hospital central, então haverá aumento do número de leitos.
Sabendo que Z não foi promovido a diretor do hospital central, é correto concluir que
A partir do texto, julgue os itens a seguir.
Na sequência de frases abaixo, há três proposições.
Quantos tribunais regionais do trabalho há na região Sudeste do Brasil?
O TRT/ES lançou edital para preenchimento de 200 vagas.
Se o candidato estudar muito, então ele será aprovado no concurso do TRT/ES.
...
A partir do texto, julgue os itens a seguir.
Caso a proposição "No Brasil havia, em média, em 2007, seis juízes para cada 100 mil habitantes na justiça do trabalho estadual, mas, no estado do Espírito Santo, essa média era de 13 juízes" tenha valor lógico V, também será V a proposição "Se no Brasil não havia, em média, em 2007, seis juízes para cada 100 mil habitantes na justiça do trabalho estadual, então, no estado do Espírito Santo, essa média não era de 13 juízes".
Uma dedução é uma sequência de proposições em que algumas são premissas e as demais são conclusões. Uma dedução é denominada válida quando tanto as premissas quanto as conclusões são verdadeiras. Suponha que as seguintes premissas sejam verdadeiras.
I Se os processos estavam sobre a bandeja, então o juiz os analisou.
II O juiz estava lendo os processos em seu escritório ou ele estava lendo os processos na sala de audiências.
III Se o juiz estava lendo os processos em seu escritório, então os processos estavam sobre a mesa.
IV O juiz não analisou os processos.
V Se o juiz estava lendo os processos na sala de audiências, então os processos estavam sobre a ...
Uma dedução é uma sequência de proposições em que algumas são premissas e as demais são conclusões. Uma dedução é denominada válida quando tanto as premissas quanto as conclusões são verdadeiras. Suponha que as seguintes premissas sejam verdadeiras.
I Se os processos estavam sobre a bandeja, então o juiz os analisou.
II O juiz estava lendo os processos em seu escritório ou ele estava lendo os processos na sala de audiências.
III Se o juiz estava lendo os processos em seu escritório, então os processos estavam sobre a mesa.
IV O juiz não analisou os processos.
V Se o juiz estava lendo os processos na sala de audiências, então os processos estavam sobre a ...
Nos diagramas acima, estão representados dois conjuntos de pessoas que possuem o diploma do curso superior de direito, dois conjuntos de juízes e dois elementos desses conjuntos: Mara e Jonas. Julgue os itens subsequentes tendo como referência esses diagramas e o texto.
A proposição "Se Jonas não é um juiz, então Mara e Jonas são formados em direito" é falsa.
Assinale a opção que apresenta corretamente o número y de cidades e o número x de candidatos, respectivamente
Dada a sentença: (p > q) e (r < q) e (s > r) e (t < r) e (u > s), indique dentre as alternativas a seguir, aquela que necessariamente é verdadeira:
