Unidade I
AV.1
1. Determine o valor lógico da proposição composta:
~(p V q ) ↔ ( ~p Λ ~q)
onde V( p ) = V e V( q ) = F.
2. Sabe-se que as proposições “x = 0” e “x = y” são verdadeiras e que a
proposição “y = z” é falsa. Determine o valor lógico da proposição:
x≠0Vx≠y→y≠z
3) Construir a tabela verdade das seguintes proposições compostas:
a) (((p ↔ q) → p) ∨ q).
b) (p → (q ∧ r))
c) (p ∨ (q → r)) ∧ ((q ↔ s))
d) r ∧ p ↔ ~q
e) (~p ∨ q) ↔ ( p → q)
f) p → (( q→ r) → ((p → r) → ( p → r )))
g) (p → ~q) ↔ ~p
h) (q → ~p)
i) ( p → (q → r)) ↔ ((p ∧ q) → r)
j) (r ∧ ~p ) ↔ ( p ∧ r)
k) ( p → q ) → ((( p ∧ q) ↔ p) ∧ (( p ∨ q) ↔ q))
l) ( p → q) ↔ r
4. Sejam as proposições m: Roberto Carlos é natural de Minas Gerais, j:
Roberto Carlos é natural do estado do Rio de Janeiro e s: Roberto Carlos é
natural do estado do Espírito Santo. Traduzir para a linguagem simbólica as
seguintes proposições:
(a) Roberto Carlos é natural do Espírito Santo se e somente se ele não for de
Minas Gerais ou do estado do Rio de Janeiro.
(b) Se é falso que Roberto Carlos não é natural de Minas Gerais então ele é do
estado do Espírito Santo ou do estado do Rio de Janeiro.
5) Sejam as proposições p: João é gaúcho e q: João é paulista. Traduza para a
linguagem simbólica as seguintes proposições:
(a) João não é nem gaúcho e nem paulista.
(b) João não é nem gaúcho ou nem paulista
6. Determine a negação da proposição “Lívia é estudiosa e Marcos decora”
a) Lívia é estudiosa ou Marcos decora.
b) Lívia não é estudiosa e Marcos decora.
c) Lívia não é estudiosa ou Marcos decora.
d) Lívia não é estudiosa ou Marcos não decora.
e) Marcos não decora e Lívia é estudiosa.
7. Quais das frases a seguir são proposições?
a) A Lua é feita de queijo verde.
b) Ele é, certamente, um homem alto.
c) Dois é um número primo.
d) O jogo vai acabar logo?
e) Os juros vão subir ano que vem.
f) Os juros vão descer ano que vem.
2
g) 𝑥 − 4 = 0.
8. Qual o valor lógico de cada uma das proposições a seguir?
a) 8 é par ou 6 é ímpar.
b) 8 é par e 6 é ímpar.
c) 8 é ímpar ou 6 é ímpar.
d) 8 é ímpar e 6 é ímpar.
e) Se 8 for ímpar, então 6 é ímpar.
f) Se 8 for par, então 6 é ímpar.
g) Se 8 for ímpar e 6 for par, então 8<6.
AV.2
1. 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 da proposição
abaixo, ou seja, construa as respectivas tabelas verdade.
a) x = 0 → x = y Λ y ≠ z
b) x ≠ 0 V y = t ↔ y = z
c) x ≠ y ↔V y ≠ z V y = t
d) x ≠ 0 Λ x ≠ y → y ≠ z
2. Mostre se as expressões E1 e E2 são equivalentes logicamente:
E1 = (s → (p ∧ ~r)) ∧ ((p → (r ∨ q)) ∧ s)
E2 = (p ∧ q ∧ ~r ∧ s) ∨ ~(p ∨ s)
3. Mostre a equivalência lógica da seguinte proposição usando apenas as leis
da lógica:
(p → r) ∨ (q → r) ≡ (p ∧ q) → r
4. Considerando T uma tautologia, C uma contradição, p, q, r, s proposições
simples, use o Método Dedutivo para demonstrar as seguintes equivalências
lógicas:
(a) p → q ≡ (p ∧ ∼ q) → C (esta equivalência é conhecida como Redução a
absurdo)
(b) p → q ≡ (p ∨ q) → q
(c) (p → q) ∧ (p →∼ q) ≡ ∼ p
(d) (p ∧ q) → r ≡ p → (q → r)
(e) (p → r) ∧ (q → r) ≡ (p ∨ q) → r
(f) (p → q) ∨ (p → r) ≡ p → (q ∨ r)
(g) (p → r) ∨ (q → s) ≡ (p ∧ q) → (r ∨ s)
5. Escreva a negação de cada fórmula a seguir:
a) Se a comida é boa, então o serviço é excelente.
b) Ou a comida é boa, ou o serviço é excelente.
c) Ou a comida é boa e o serviço é excelente, ou está caro.
d) Nem a comida é boa, nem o serviço é excelente.
6.