Questões da Prova CESPE - 2010 - TRT - 21ª Região (RN) - Técnico Judiciário - Área Administrativa

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.

Considere que todos os 80 alunos de uma classe foram levados para um piquenique em que foram servidos salada, cachorro-quente e frutas. Entre esses alunos, 42 comeram salada e 50 comeram frutas. Além disso, 27 alunos comeram cachorro-quente e salada, 22 comeram salada e frutas, 38 comeram cachorro-quente e frutas e 15 comeram os três alimentos. Sabendo que cada um dos 80 alunos comeu pelo menos um dos três alimentos, julgue o próximo item.