Exercicios_Semantica_UCS

Prévia do material em texto

Exercícios – Apostila UCS – Páginas 11 e 12 
 
1. Três estudantes declararam o seguinte: 
 
Paulo: Eu não fiz o teste, mas, se Rogério o fez, Sérgio também fez. 
Rogério: Eu fiz o teste, mas um de meus colegas não fez. 
Sérgio: Se Rogério fez o teste, eu também o fiz. 
 
Formalize estas três declarações na linguagem lógica proposicional utilizando o 
vocabulário abaixo. A seguir, monte a tabela-verdade das proposições e utilize-a 
para responder as questões a, b e c: 
P: Paulo fez o teste. 
R: Rogério fez o teste. 
S: Sérgio fez o teste. 
 
a) Se todos estão dizendo a verdade, quem fez o teste? 
b) Se todos estão mentindo, quem fez o teste? 
c) Se todos fizeram o teste, quem está dizendo a verdade e quem está mentindo? 
 
2. Três estudantes declararam o seguinte: 
 
Pedro: Eu entreguei o trabalho, mas, se João não entregou, Maria também não entregou. 
João: Se Pedro não entregou o trabalho, eu também não entreguei. 
Maria: Eu não entreguei o trabalho, mas um de meus colegas entregou. 
 
Formalize estas três declarações na linguagem lógica proposicional utilizando o 
vocabulário abaixo. A seguir, monte a tabela-verdade das proposições e utilize-a 
para responder as questões a, b e c: 
P: Pedro entregou o trabalho. 
J: João entregou o trabalho. 
M: Maria entregou o trabalho. 
 
a) Se todos estão dizendo a verdade, quem entregou o trabalho? 
b) Se todos estão mentindo, quem entregou o trabalho? 
c) Se todos entregaram o trabalho, quem está dizendo a verdade e quem está 
mentindo?