Lista 1 Logica

1
UNIVERSIDADE FEDERAL DE OURO PRETO - UFOP

DEPARTAMENTO DE MATEMÁTICA - ICEB
1o LISTA DE EXERCÍCIOS
1) Construir as tabelas-verdade das proposições abaixo:
(a) ∼(p ∨ ∼q)
(b) ∼(p → ∼q)
(c) p ∧ q → p ∨ q
(d) ∼p → (q → p)
(e) (p → q) → p ∧ q
(f) q ↔ ∼q ∧ p
(g) (p ↔ ∼q) ↔ q → p
(h) (p ↔ ∼q) → ∼p ∧ q
(a) ∼p ∧ r → q ∨ ∼r
(b) p → r ↔ q ∨ ∼r
(c) p → (p → ∼r) ↔ q ∨ r
(d) (p ∧ q → r) ∨ (∼p ↔ q ∨ ∼r)
(a) ∼(∼p ↔ q)
(b) ∼p ∨ q → p
(c) (p ∨ q) ∧ ∼(p ∧ q)
(d) (p ∧ ∼q) ∨ (∼p ∧ q)
(e) ∼((p ∨ q) ∧ (∼p ∨ ∼q))
(f) ∼q ∨ p ↔ q → ∼p
(g) (p ∨ q) ∧ ∼p → (q → p)
(a) p ∨ (q ∧ r)
(b) (p ∧ ∼q) ∨ r
2
(c) ∼p ∨ (q ∧ ∼r)
(d) (p ∨ q) ∧ (p ∨ r)
(e) (p ∨ ∼r) ∧ (q ∨ ∼r)
(f) ∼(p ∨ ∼q) ∧ (∼p ∨ r)
5) Sabendo que os valores lógicos das proposições p e q são respectivamente F e V ,

determinar o valor lógico (V ou F ) da proposição:
(p ∧ (∼q → p)) ∧ ∼((p ↔ ∼q) → q ∨ ∼p)
6) Sabendo que os valores lógicos das proposições p, q e r são respectivamente V, F e

F , determinar o valor lógico (V ou F ) de cada uma das seguintes proposições:
(a) (p ↔ p → q) ∨ (p → r)
(b) (p → ∼q) ↔ ((p ∨ r) ∧ q)
(c) (p ∧ q → r) → (p → (q → r))
7) Sabendo que V (p) = V (r) = V e V (q) = V (s) = F determinar o valor lógico

(V ou F ) de cada uma das seguintes proposições:
(a) p ∧ q ↔ r ∧ ∼s
(b) (p ↔ q) → (s ↔ r)
(c) (∼p → q) → (s → r)
(d) (p ∧ q) ∨ s → (p ↔ s)
(e) (q ∧ r) ∧ s → (p ↔ s)
(f) p → ∼q ↔ (p ∨ r) ∧ s
(g) (p ∧ q) ∧ (r ∧ s) → p ∨ s
(h) (∼p ∨ s) ∨ (∼s ∧ r)
8) Suprimir o maior número possível de patênteses nas seguintes proposições:
(a) ((q ↔ (r ∨ q)) ↔ (p ∧ (∼(∼q))))
(b) ((p ∧ (∼(∼q))) ↔ (q ↔ (r ∨ q)))
(c) (((p ∨ q) → (∼r)) ∨ ((((∼q) ∧ r) ∧ q)))
9) Determinar quais das seguintes proposições são tautologias, contradições ou con-

tingências :
(a) p → (∼p → q)
3
(b) ∼p ∨ q → (p → q)
(c) p → (q → (q → p))
(d) ((p → q) ↔ q) → p
(e) p ∨ ∼q → (p → ∼q)
(f) ∼p ∨ ∼q → (p → q)
(g) p → (p ∨ q) ∨ r
(h) p ∧ q → (p ↔ q ∨ r)
10) Mostre que:
(a) q ⇒ p → q
(b) q ⇒ p ∧ q ↔ p
11) Mostrar que p ↔ ∼q não implica p → q, p não implica p ∧ q e que p ∨ q não

implica p.
12) Demonstrar por tabelas-verdade as seguintes equivalências:
(a) p ↔ p ∧ q ⇔ p → q
(b) q ↔ p ∨ q ⇔ p → q
(c) (p → q) ∧ (p → r) ⇔ p → q ∧ r
(d) (p → q) ∨ (p → r) ⇔ p → q ∨ r
(e) (p → q) → r ⇔ p ∧ ∼r → ∼q
13) Demonstrar que o conectivo ”∨” ("ou"exclusivo) exprime-se em função dos três
conectivos ∼, ∧ e ∨ do seguinte modo:
p ∨ q ⇔ (p ∨ q) ∧ ∼(p ∧ q)
14) Demonstrar que os três conectivos ∼, ∧ e ∨ exprime-se em função do conectivo

” ↓ ” de SCHEFFER do seguinte modo:
(a) ∼p ⇔ p ↓ p
(b) p ∨ q ⇔ (p ↓ q) ↓ (p ↓ q)
(c) p ∧ q ⇔ (p ↓ p) ↓ (q ↓ q)
15) Demonstrar que os três conectivos ∼, ∧ e ∨ exprime-se em função do conectivo

” ↑ ” de SCHEFFER do seguinte modo:
(a) ∼p ⇔ p ↑ p
4
(b) p ∨ q ⇔ (p ↑ p) ↑ (q ↑ q)
(c) p ∧ q ⇔ (p ↑ q) ↑ (p ↑ q)
16) Determinar o conjunto verdade em Z (conjunto dos números inteiro) de cada uma
das seguintes sentenças abertas:
(a) x2 − 9 = 0
(b) x2 ≤ 3
(c) 3x2 − 12 = 0
(d) 2x2 + 5x = 0
(e) x2 − x − 12 = 0
(f) |2x − 1| = 5
GABARITO
(1).
(a) FFVF
(b) VFFF
(c) VVVV
(d) VVFV
(e) VVFF
(f) FFFV
(g) FVFF
(h) VFVV
(2).
(a) VVVVVVFV
(b) VFFFVFFV
(c) FVFFVVVF
(d) VFVVVVVV
5
(3).
(a) VFFV
(b) VVFF
(c) FVVF
(d) FVVF
(e) VFFV
(f) FVFV
(g) VVFV
(4).
(a) VVVVVFFF
(b) VFVVVFVF
(c) FVFFVVVV
(d) VVVVVFFF
(e) VVFVFVFV
(f) FFFFVVFF
(5). F
(6).
(a) F
(b) F
(c) V
(7).
(a) F
(b) V
(c) V
(d) V
(e) V
(f) F
(g) V
6
(h) V
(8).
(a) (q ↔ r ∨ q) ↔ (p ∧ ∼∼q)
(b) p ∧ ∼∼q ↔ (q ↔ r ∨ q)
(c) (p ∨ q → ∼r) ∨ (∼q ∧ r ∧ q)
(9). (a), (b), (c), (g), (h) tautológicas e (d), (e), (f) contingentes.
(16).
(a) {−3, 3}
(b) {−1, 0, 1}
(c) {−2, 2}
(d) {0}
(e) {−3, 4}
(f) {−2, 3}

Lista 1 Logica

Enviado por

Direitos autorais:

Formatos disponíveis

Lista 1 Logica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lista 1 Logica

Enviado por

Direitos autorais:

Formatos disponíveis

1

UNIVERSIDADE FEDERAL DE OURO PRETO - UFOP

1) Construir as tabelas-verdade das proposições abaixo:

(a) ∼(p ∨ ∼q)

(b) ∼(p → ∼q)

2) Construir as tabelas-verdade das proposições abaixo:

(d) (p ∧ q → r) ∨ (∼p ↔ q ∨ ∼r)

3) Construir as tabelas-verdade das proposições abaixo:

(d) (p ∧ ∼q) ∨ (∼p ∧ q)

(e) ∼((p ∨ q) ∧ (∼p ∨ ∼q))

4) Construir as tabelas-verdade das proposições abaixo:

(e) (p ∨ ∼r) ∧ (q ∨ ∼r)

(f) ∼(p ∨ ∼q) ∧ (∼p ∨ r)

5) Sabendo que os valores lógicos das proposições p e q são respectivamente F e V ,

(p ∧ (∼q → p)) ∧ ∼((p ↔ ∼q) → q ∨ ∼p)

6) Sabendo que os valores lógicos das proposições p, q e r são respectivamente V, F e

(b) (p → ∼q) ↔ ((p ∨ r) ∧ q)

7) Sabendo que V (p) = V (r) = V e V (q) = V (s) = F determinar o valor lógico

(h) (∼p ∨ s) ∨ (∼s ∧ r)

8) Suprimir o maior número possível de patênteses nas seguintes proposições:

(a) ((q ↔ (r ∨ q)) ↔ (p ∧ (∼(∼q))))

(b) ((p ∧ (∼(∼q))) ↔ (q ↔ (r ∨ q)))

(c) (((p ∨ q) → (∼r)) ∨ ((((∼q) ∧ r) ∧ q)))

9) Determinar quais das seguintes proposições são tautologias, contradições ou con-

10) Mostre que:

11) Mostrar que p ↔ ∼q não implica p → q, p não implica p ∧ q e que p ∨ q não

12) Demonstrar por tabelas-verdade as seguintes equivalências:

14) Demonstrar que os três conectivos ∼, ∧ e ∨ exprime-se em função do conectivo

15) Demonstrar que os três conectivos ∼, ∧ e ∨ exprime-se em função do conectivo

(c) (p ∨ q → ∼r) ∨ (∼q ∧ r ∧ q)

Você também pode gostar

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.