Ano: 2010Banca: CESPE / CEBRASPECargo: 21ª Região (RN) - Técnico Judiciário - Área AdministrativaConcurso: TRT - 21ª Região (RN)
Proposições são sentenças que podem ser julgadas comoverdadeiras — V — ou falsas — F —, de forma que um julgamentoexclui o outro, e são simbolizadas por letras maiúsculas, comoP, Q, R etc. Novas proposições podem ser construídas usando-sesí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 Fquando P é V e Q é F; caso contrário, é V. Uma expressão da formaPQ é uma proposição que se lê: “P ou Q”, e é F quando P e Qsã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 ¬Psimboliza a negação da proposição P e tem valores lógicoscontrários a P. Um argumento lógico válido é uma sequência deproposições em que algumas são chamadas premissas e sãoverdadeiras por hipótese, e as demais são chamadas conclusões esão verdadeiras por consequência das premissas.Considerando que R e T são proposições lógicas simples, julgue ositens 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.