Se a expressão lógica envolvendo R e T for (R T) R, a tabe...

Próximas questões
Com base no mesmo assunto
Q93050 Raciocínio Lógico
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 Imagem 014.jpg 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
PImagem 015.jpgQ é 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 PImagem 016.jpgQ, 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 os
itens a seguir, acerca da construção de tabelas-verdade.

Se a expressão lógica envolvendo R e T for (R Imagem 017.jpg T) Imagem 018.jpg R, a tabela-verdade correspondente será a seguinte.

Imagem 019.jpg
Alternativas