Lgica I (2013) Lista de Exerccios 2

(Notas de Aula (5) e (6))

1. Escreva cada uma das frases abaixo na linguagem da lgica elementar clssica. a) Todos os sapos so anfbios. b) Alguns estudantes de losoa gostam de Lgica. c) Se n maior do que 2, ento pode ser primo ou composto. d) Algumas guras geomtricas no so tringulos. d) H conjuntos que no so vazios. e) Aristteles foi professor de Alexandre o Grande. f) A ponte Herclio Luz muito bonita. g) Pedro diferente de Paulo. h) Pedro auxilia Maria e auxiliado por Joo. i) Para todo nmero x, x > 5. j) Um nmero primo se e somente se for maior do que 1 e for divisvel somente por 1 e por ele mesmo. 2. Traduza cada uma das sentenas seguintes para a linguagem natural, considerando as interpretaes dadas. a) x( Mx I x), onde Mx signica que x mortal e I x que x imortal. b) x( Mx Bx), onde Mx signica que x uma mulher e Bx que x bonita. c) Encontre uma expresso envolvendo o quanticador existencial que seja equivalente sentena do item anterior. d) xyAxy, onde Axy signica que x ama y. e) Idem para xyAxy 3. Tendo em vista a notao utilizada para objetos e seus nomes (a distino entre uso e meno, que deve sempre estar em sua mente), certo armar que (a) Joseph Ratzinger = Bento XVI, ou que (b) "Joseph Ratzinger"= "Bento XVI"? 4. Tendo em vista a linguagem da aritmtica elementar e a sua interpretao padro, como voc justicaria que a sentena x( x < ss0 x = 0 x = s0) verdadeira (se que ) em tal interpretao? 5. Tendo em vista a linguagem LZF da teoria de conjuntos, como traduziria para a linguagem corrente a sentena xy(z(z x z y) x = y)? 1

6. Como escreveria em uma linguagem elementar que um certo domnio tem apenas um elemento? 7. E que tem apenas dois? 8. E que tem pelo menos dois? 9. E que tem um innidade deles? (cuidado aqui) 10. Considere uma linguagem elementar cujos smbolos no lgicos so duas constantes individuais a e b, um (smbolo de) predicado unrio P e um binrio Q. Pedese: a) Dena uma interpretao para esta linguagem de modo que a sentena Pa Pb seja verdadeira. b) Dena uma interpretao para esta linguagem de modo que a mesma sentena acima seja falsa. c) Dena uma interpretao para esta linguagem de modo que xQxa seja verdadeira. d) Dena uma interpretao para esta linguagem que seja um modelo para a sentena xyQxy.