Você está na página 1de 3

UNIVERSIDADE SÃO TOMÁS DE MOÇAMBIQUE

FACULDADE DE TECNOLOGIAS E CIÊNCIAS DE INFORMAÇÃO


Introdução à Lógica
Ficha de exercícios(Proposições e operações sobre proposições)

1. Indique as frases que são proposições:

(a) A cidade de Paris é a capital de Moçambique


(b) Um quadrilátero é um losango
(c) A área de superfície da esfera do raio R é igual a 4πR2
(d) Todos os triângulos são semelhantes
(e) Todo homem tem dois filhos
(f) x2 + 2x + 1 = 0
(g) 33 − 3 · 10 + 3 ≥ 0
(h) A = {0, 1, 3, 5}

2. Formule negações para as proposições seguintes:

(a) O rio Zambeze banha a cidade de Maputo


(b) 36 é divisível por 6
(c) 4 > −1
(d) 6 ≤ 2

3. Indique quais das proposições em pares seguintes são negações uma da outra (explique,
porquê):

(a) 5 > 1 e 5 < 1


(b) 3 ≤ 5 e 3 > 5
(c) {Todos os números primos são pares} e {Todos os números primos são impares}
(d) {Todos os números primos são impares} e {Existe um número primo que é par}
(e) {Existem números irracionais} e {Todos os números são racionais}

4. Determine os valores de verdade das proposições seguintes:

(a) 7 é um número primo e 9 é um número primo


(b) 7 é um número primo ou 9 é um número primo
(c) 2 · 2 = 4 e 2 · 2 ≤ 5 e 2 · 2 ≥ 4
(d) Se 12 é divisível por 6 então 12 é divisível por 3
(e) Se 11 é divisível por 6 então 11 é divisível por 3
(f) 12 é divisível por 6 sse 12 é divisível por 3

1
5. Determine os valores de verdade das variáveis proposicionais a, b, . . . , sabendo o valor
de verdade das proposições a seguir:

(a) a ∧ (2 · 2 = 4), V
(b) b ∨ (2 · 2 = 5), F
(c) c ∧ (2 · 2 = 5), F
(d) d → (2 · 2 = 5), F
(e) e ↔ (2 · 2 = 5), V
(f) f ↔ (2 < 3), V
(g) g ↔ (2 < 3), F
(h) se 4 é numero par então h, V
(i) se i, então 4 é numero par, V
(j) se j, então 4 é numero par, F

6. Determine se for possível o valor de verdade das expressões seguintes (seja λ(P ) o valor
de verdade da P )

(a) (a → b) → c, λ(c) = V ,
(b) a ∧ (b → c), λ(b → c) = F ,
(c) a ∨ (b → c), λ(b) = F ,
(d) ¬(a ∨ b) ↔ (¬a → ¬b), λ(a) = V ,
(e) (a ∧ b) → (a ∨ c), λ(a) = F .

7. Considere as proposições p: Está frio e q: está chovendo. Traduza para linguagem


corrente as seguintes proposições:
a) p∨ ∼ q b) p → q c) ∼ p∧ ∼ q d) p ↔∼ q e) p∨ ∼ q ↔ q∧ ∼ p

8. Considere as proposições p: A terra é um planeta e q: A terra gira em torno


do sol. Traduza para linguagem simbólica as seguintes proposições:

(a) Não é verdade que a terra é um planeta ou gira em torno do sol.


(b) Se a terra é um planeta então a terra gira em torno do sol.
(c) É falso que a terra é um planeta ou que não gira em torno do sol.
(d) A terra gira em torno do sol se, e somente se, a terra não é um planeta.
(e) A terra não é nem um planeta e nem gira em torno do sol.

9. Construa as tabelas de verdade para as expressões dadas:

(a) P ∧ ¬Q
(b) ¬(P → Q)
(c) P → (Q ∨ R)
(d) (P → Q) ∨ (P → R)

10. Mostre que

2
(a) P ↔ q ≡∼ p ↔∼ q
(b) [(p → q)∧ ∼ p] ↔∼ q ≡ (p → q) → (∼ p ↔∼ q)
(c) ∼ p → (q ∧ r) ≡∼ (q ∧ r) → p
(d) [(p ∧ r) → s] →∼ q ≡ q →∼ (p ∧ r) → s

11. Dada a seguinte proposição :

[a → (b∧ ∼ c)] ↔ [b → (∼ a ∨ c)]

(a) Determine, usando uma tabela-verdade, seus valores-verdade;


(b) Diga se é uma tautologia (justifique);
(c) Diga se é equivalente à proposição ∼ a (justifique).

12. Verifique se cada proposição é tautologia, contradição ou contingência.


a)[(p ∨ q) → r] → [(p → r) ∨ (q → r)] b) ∼ p → (p → q) c) [p∧ ∼ q] → [∼ p ∨ q]

Você também pode gostar