Universidade Estadual Vale do Acaraú

Lista 1
Lógica e Teoria dos Conjuntos.
Prof : Carina Brunehilde
27 de Julho de 2017

Nome:

1. Nos silogismos a seguir, identifique se é possı́vel encontrar uma conclusão válida. Em caso afirmativo,
determine o termo médio, sujeito, predicado, os tipos de premissas, a figura a qual pertence, o modus e
a conclusão.
(a) P1: Todo lógico é inteligente.
P2: Todo morador de Varginha não é inteligente.
(b) P1: Algum pescador mente.
P2: Todos que gostam de nadar não são pescadores.
(c) P1: Todo medroso é covarde.
P2: Todo machista é medroso.
(d) P1: Algum filósofo é burro.
P2: Todo mundo que sabe fı́sica quântica não é burro.
(e) P1: Alguns atletas não são tenistas.
P2: Alguns tenistas não são canhotos.
(f) P1: Algumas crianças são mentirosas.
P2: Toda criança é um anjo.
(g) P1: Algum filósofo é legal.
P2: Todo mundo que sabe fı́sica quântica não é legal.
2. Sejam as proposições
• p: Está frio
• q: Sobral tem um clima quente
• r: Está chovendo
Traduzir para a linguagem corrente as proposições a seguir:
(a) ¬ q
(b) ¬ p ∨ r
(c) r ↔ p
(d) p ↔ ¬ r
(e) q −→ (p ∧ r)
3. A afirmação ”A menina tem olhos azuis ou o menino é loiro” tem como sentença logicamente
equivalente:
A. Se o menino é loiro, então a menina tem olhos azuis.
B. Se a menina tem olhos azuis, então o menino é loiro.
C. Se a menina não tem olhos azuis, então o menino é loiro.
D. Não é verdade que se a menina tem olhos azuis, então o menino é loiro.
E. Não é verdade que se o menino é loiro, então a menina tem olhos azuis.
4. A negação de ”Não gosta de ler e gosta de usar a internet” é:
A. Gosta de ler e gosta de usar a internet.
B. Gosta de ler ou gosta de usar a internet.
Lógica e Teoria dos Conjuntos. Lista 1

C. Gosta de ler ou não gosta de usar a internet.

D. Gosta de ler e não gosta de usar a internet.
5. Qual operação lógica descreve a tabela verdade da função X abaixo cujos operandos são A e B? Considere
que V significa “Verdadeiro” e F, “Falso”.

a) ∧ b) ∨ c)Y d) −→ e) ↔
6. Sejam p, q e r proposições simples, construa a tabela-verdade das proposições a seguir:
(a) ¬ p ∨ r
(b) ¬ p ∧ r
(c) p ∨ (q ∧ r)
(d) ¬ p ∧ r −→ q ∨¬ r
(e) ( p ∨ q) ↔ ¬ p
(f) (p ↔ ¬ q) −→ ¬ p ∧ q
(g) ¬ ((p ∨q) ∧ (¬ p ∨¬ q))
7. Traduza as expressões a seguir para a lógica proposicional e em seguida construa suas respectivas tabelas-
verdade.

(a) Isabel não almoçou e foi ao dentista.

(b) A taxa de juros vai aumentar somente se a economia melhorar e consumidores aumentarem os
empréstimos.
(c) A economia não vai melhorar e a taxa de juros não vai aumentar se o gasto dos consumidores cair
ou o desemprego aumentar.
(d) Se meu peso aumenta se, e somente se, não faço nem dieta, nem exercı́cios, então vou para o trabalho
a pé.
8. Supondo que a, b, c e d têm valores lógicos V, F, F e V, respectivamente, numa certa valoração v, calcule
o valor lógico das fórmulas abaixo:
(a) ¬ a ∧ b
(b) ¬ b −→ (a ∨ b)
(c) (c ∨ a) ↔ ¬¬ c
(d) a ∨ (a −→ b)
(e) (d ∨¬ a) −→ ¬ c
(f) ¬(a ∧ b) −→ ¬ (c ∧ b)
(g) ¬¬ d ∧¬ (a −→ a)
(h) (¬ a ∨ c) ↔ ¬ (a ∧¬ c)
9. Sabendo-se que as proposições “x = 0” e “x = y” são verdadeiras e que as proposições “y = z” e “y =
t” são falsas, determinar o valor lógico das proposições abaixo, ou seja, construa as respectivas tabelas
verdade.
(a) x = 0 −→ x = y ∧ y 6= z
Lógica e Teoria dos Conjuntos. Lista 1

(b) x 6= 0 ∨ y = t ↔ y = z
(c) x 6= y ↔ y 6= z ∨ y = t
(d) x 6= 0 ∧ x 6= y −→ y 6= z
10. Mostre que as propriedades associativa e comutativa não são válidas para os operadores condicional e
bicondicional.
11. De acordo com a equivalência lógica, a negação da frase “Ana é dentista ou não fez universidade” é:
A. Ana não é dentista ou fez universidade
B. Ana não é dentista e não fez universidade
C. Ana não é dentista e fez universidade
D. Ana é dentista ou fez universidade
E. Se Ana é dentista, então não fez universidade
12. Dada a expressão Edson não gosta de frango ou Marilda gosta de feijão e gosta de arroz:
(a) Identifique as proposições simples que a formam e reescreva a expressão usando a linguagem lógica.
(b) Determine a negação desta proposição.
13. Mostre que p não implica p ∧ q e que p ∨ q não implica p.
14. Demonstre cada um dos dez argumentos fundamentais usando o método da tabela-verdade e o método
dedutivo

15. Das premissas dadas, derive as conclusões pedidas. Em cada passo indique a regra de inferência utilizada:
(a) r → p ∨ q, r, ¬p a q
(b) p ∨ q, p → r, ¬r a q ∨ s
(c) p → (q → r), p → q, p a r
(d) p ∧ q → r, r ∧ p a (p ∨ q) ∧ (p ∨ r)
(e) p ∨ ¬q, ¬q → r, p → s, ¬r a s
16. Você está saindo para a escola de manhã e percebe que não está usando os óculos. Ao tentar descobrir
onde estão os óculos você começa a pensar sobre os seguintes fatos que são verdadeiros:
• Se os meus óculos estão na mesa da cozinha então eu os vi no café da manhã;
• Eu estava lendo o jornal na sala de estar ou eu estava lendo o jornal na cozinha;
• Se eu estava lendo o jornal na sala de estar então meus óculos estão na mesa do café;
• Eu não vi meus óculos no café da manhã;
• Se eu estava lendo um livro na cama então meus óculos estão no criado-mudo;
• Se eu estava lendo o jornal na cozinha então meus óculos estão na mesa da cozinha
Enfim, é possı́vel descobrir onde estão os óculos?