Questão FC149276
Texto para o item Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras
Lógica de Proposições
CEBRASPE (CESPE) · 2010
Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição ∨ cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P Q é uma proposição que se lê: “P ou Q”, e é F ∧ quando P e Q são F; caso contrário, é V. Uma expressão da forma P Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.
Considerando que R e T são proposições lógicas simples, julgue o item a seguir, acerca da construção de tabelas-verdade.
Se a expressão lógica envolvendo R e T for (R ∧ T) ∨ (¬ R), a tabela-verdade correspondente será a seguinte.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A expressão lógica (R ∧ T) ∨ (¬ R) foi corretamente avaliada na tabela-verdade apresentada. A parte (R ∧ T) é verdadeira apenas quando ambas as proposições R e T são verdadeiras. Já a parte (¬ R) é a negação de R, que será verdadeira quando R for falsa. Assim, a disjunção (ou) entre (R ∧ T) e (¬ R) resulta em verdadeiro sempre que pelo menos uma das partes for verdadeira, o que se reflete corretamente na tabela-verdade, confirmando que o gabarito está correto ao afirmar que a tabela corresponde à lógica da expressão dada.
Conteúdo do catálogo FC Concursos · Atualizado em