Lista de Exercícios – Lógica de predicados

1) Sendo C(x) = x é um carro, M(x) = x é uma moto, R(x, y) = x é mais rápido que y,
formule as fbf’s das seguintes frases. O domínio são todos os carros e todas as motos.

a) Alguns carros são mais rápidos que todas as motos.

b) Algumas motos são mais rápidas que todos os carros.

c) Todas as motos são mais rápidas que todos os carros.

2) A fbf dada a seguir é valida? Justifique

3) Na fbf dada encontre uma interpretação na qual é verdadeira e uma onde é falsa.

[ ] [ ]

4) Com o uso de símbolos predicados mostrados e os quantificadores apropriados,

escreva cada sentença como uma fbf predicada. O domínio é todo mundo.

D(x) = x é um dia S = segunda feira

S(x) = x é ensolarado T = terça feira

C(x) = x é chuvoso

a) Todos os dias são ensolarados

b) Alguns dias não são chuvosos

c) Todo dia que é ensolarado não é chuvoso.

5) Se

B(x) for "x é bonito”. M(x) for "x é uma mulher."

E(x) for "x é elegante”. j for "John."

G(x, y) for "x gosta de y”. k for "Kathy."

Escreva, em linguagem corrente, as fbf’s a seguir.

a)

b) [ ]

6) Diversas formas de negação são apresentadas para cada uma das sentenças a seguir.
Qual é a correta?

a. Algumas pessoas gostam de Matemática.

1. Algumas pessoas não gostam de Matemática.

2. Todo o mundo não gosta de Matemática.

3. Todo o mundo gosta de Matemática.

b. Todo o mundo gosta de sorvete.

1. Ninguém gosta de sorvete.

2. Todo o mundo não gosta de sorvete.

3. Alguém não gosta de sorvete.

7) Forneça uma interpretação que prove que a fbf a seguir não é válida

[ ]

8) Qual a negação lógica das afirmações a seguir?

a) Todos os gatos são pardos e algumas corujas são brancas.

b) Quem rouba é preso.

c) Qualquer pessoa sabe andar de bicicleta.

9) A proposição funcional é verdadeira se considerarmos o seguinte

conjunto universo: {5, 5/2, 3, 3/2, 2, 1/2}?

10) Se Q é o conjunto dos número racionais, então qual o valor lógico da proposição

11) Represente as proposições categóricas através dos Diagramas de Venn.

12) Na figura, o número 7 ocupa a casa central. É possível colocar os números 1, 2, 3, 4,

5, 6, 8 e 9, um em cada uma das casas restantes, de modo que a soma dos números na
horizontal seja igual à soma dos números na vertical. Qual é essa soma?