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

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

PQ é 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 PQ, 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.