A partir dessas notações e definições, julgue o item que se ...
Próximas questões
Com base no mesmo assunto
Ano: 2010
Banca:
CESPE / CEBRASPE
Órgão:
EMBASA
Provas:
CESPE - 2010 - EMBASA - Analista de Saneamento - Advogado
|
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Analista de Tecnologia da Informação - Desenvolvimento |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Administração |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Arqueologia |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Analista de Tecnologia da Informação - Banco de Dados |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Arquitetura |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Analista de Tecnologia da Informação - Redes |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Comunicação - Jornalismo |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Enfermeiro do Trabalho |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Serviço Social |
CESPE / CEBRASPE - 2010 - EMBASA - Pedagogo |
CESPE / CEBRASPE - 2010 - EMBASA - Engenheiro Civil - Engenheiro de Produção Civil |
CESPE / CEBRASPE - 2010 - EMBASA - Analista de Saneamento - Ciências Contábeis |
CESPE / CEBRASPE - 2010 - EMBASA - Psicólogo |
CESPE / CEBRASPE - 2010 - EMBASA - Médico do Trabalho |
CESPE / CEBRASPE - 2010 - EMBASA - Engenheiro Mecânico |
CESPE / CEBRASPE - 2010 - EMBASA - Engenheiro Eletricista |
Q27475
Raciocínio Lógico
Texto associado
A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por A Λ B, é lida como "A e B" e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A➜B, é lida como "se A, então B", e julgada como F somente quando A for V e B for F, e V nos demais casos.
A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo "todo", "algum", "nenhum" etc.
A partir dessas notações e definições, julgue o item que se segue.
Considerando que as proposições A, B, B➜C e [A Λ B]➜[C➜D] sejam V, então a proposição D será,obrigatoriamente, V.