Terminais de consulta para copa do mundo de 2014

2ª Lista de exercícios

Atenção!!! Esta lista deve ser trazida no dia da prova de lógica 1. Seja P “A lua é fria”, seja Q “O sol é quente” e seja R “A Terra é

redonda”. Passe para a linguagem corrente as proposições: A. P v Q B. PR C. RP D. (R (P v Q)) ^ R E. P v Q ^ R F. (P v Q v R)  (P Q) 2. Simbolize as sentenças abaixo, dado o seguinte esquema: A= Paulo diminui os erros cometidos, B= Há motivação para o estudo, C= Paulo aprendeu a matéria, D= O professor é bom. A. Se o professor é bom, Paulo aprende a matéria. B. Se o professor não é bom, não há motivação para estudar. C. O professor é bom, há motivação para estudar e, além disso, Paulo aprende a matéria. D. Paulo não aprendeu a matéria; ele não diminuiu os erros cometidos. E. Se Paulo não diminuiu os erros cometidos, o professor não era bom ou não havia motivação para estudar. F. Paulo aprende a matéria ou diminui os erros cometidos. G. Paulo diminui os erros cometidos se, e somente se, há motivação para estudar. H. Se o professor é bom, então, caso haja motivação para estudar, Paulo aprenderá a matéria. I. Paulo diminuirá o número de erros cometidos se, e somente se, não ocorrer o seguinte: não deixa de haver motivação para o estudo e Paulo não deixa de aprender a matéria

3. Fazer a tabela verdade para as fórmulas A. ~ (p ^ q) B. ~ (p ^ ~q) C. (p ^ q)  (p v q) D. (p  q) ↔ (p v q) E. ~(p ^ (~p v q)) v q F. p v (p ^ ~q) G. (p ^ q)  (~p v q) H. ~(p ^ q) v ~ (q ↔ p) I. a ^ ~(~a v ~b) J. (a  b)  ((a v c)  (b v c)) K. a v ~b  ~(a v b) L. ~((a v b) ^ (~a v ~b) M. (a v (b~c)) ^ (~a v c ↔ ~b) N. (a ^ b) v c  a ^ (b v c) O. (p(q(pq))) v (p ^ (p v q)) ↔ (p v (p ^ ~q))

4. Diga quais das formulas do exercício 3 são tautologia, contradição e contingência. 5. Considere as fórmulas P= (p ^ q)  ~q Q= ~p^~q R= ~(p ^ q) Verifique se: a) b) c) d) e) P Q P R R Q Q P P P

6. Do exercício 3 indique quais tabelas verdade são equivalentes. Nota: Utilizar a letra do enunciado para indicar a proposição composta.