Fundamentos de Lgica Matemtica Lista 7 Unidade 8 1) Dar a negao das seguintes proposies: (40 ptos, sendo 10 ptos cada

a item) a) xP(x) xQ(x) b) xP(x) xQ(x) c) xP(x) xQ(x) d) xP(x) xQ(x) 2) Verifique se as sentenas abaixo so equivalentes: (20 ptos, sendo 10 ptos cada item) a) Nem todo poltico corrupto Existe poltico que no corrupto b) Nem todo jogador brasileiro conhecido Existe jogador brasileiro desconhecido Usar a seguinte interpretao: os predicados unrios P(x), C(x), J(x), B(x) e N(x) representam respectivamente poltico, corrupto, jogador, brasileiro, conhecido. 3) Utilizando a interpretao dada a seguir, formalize os seguintes argumentos: (20 ptos, sendo 5 cada item) Smbolo Nomes a b f d Predicados unrios F A Predicado binrio G Predicado ternrio P Interpretao Andr Beatriz fama dinheiro famoso ambicioso ... gosta de .... ... prefere ... do que ...

a) Andr prefere Beatriz do que dinheiro e fama. b) Nem toda pessoa que gosta de dinheiro ambiciosa. c) Ningum gosta de todo mundo. d) Nem todos gostam de todos que so famosos.

4) Utilizando a interpretao a seguir, formalize os seguintes argumentos: (20 ptos, sendo 10 ptos cada item) Smbolo Nomes p r Predicados unrios S Predicado binrio P Interpretao Lgica proposicional Lgica de predicados um sistema formal ... uma parte de ....

a) A Lgica proposicional uma parte da Lgica de predicados. Portanto, a Lgica de predicados no uma parte da Lgica proposicional. b) A lgica de predicados e a lgica proposicional so sistemas formais. A lgica proposicional uma parte da lgica de predicados, mas a lgica de predicados no uma parte da lgica proposicional. Logo, existem pelo menos dois sistemas formais distintos.