LISTA 2

LÓGICA FORMAL
Lista 2. Lógica Formal

EXERCÍCIO

1)
Exercício 1)

Eu tenho que estudar MD hoje

E não vou usar a minha calculadora.
Exercício 1)

Eu não vou usar minha

calculadora SE eu NÃO tiver
que estudar MD hoje.
Exercício 1)

SE eu for desfragmentar meu HD

externo ENTÃO eu NÃO vou
estudar AOC OU eu NÃO vou
acessar o MTEAMS hoje a tarde.
Exercício 1)

SE eu for desfragmentar meu HD

externo E não for usar minha
calculadora ENTÃO eu NÃO vou
acessar o MTEAMS hoje a tarde E
NÃO vou estudar AOC.
Exercício 1)

NÃO É VERDADE que vou

desfragmentar meu HD externo
SE eu NÃO for construir tabelas
verdade no Excel.
Exercício 1)

NÃO É VERDADE que eu NÃO

vou desfragmentar meu HD
externo SE eu for usar a
minha calculadora OU tiver
que estudar MD hoje.
Lista 2. Lógica Formal

EXERCÍCIO

2)
Exercício 2)

1) MD é fácil e, além disso, fazer TADS é

superar momentos de crise.

uᴧq
Exercício 2)

2) MD é difícil, mas fundamentos de Matemática

costuma salvar a pátria ou é preciso procurar o
monitor quando em crise.

¬u ᴧ s ν t
 3) Se Inglês é fundamental para se trabalhar em
Exercício 2) TADS e MD é fácil, não será preciso procurar o
monitor quando em crise ou não será preciso
fazer muitos exercícios.

(r ᴧ u) → (¬t ν ¬v)
ou
(r ᴧ u) → ¬(t ᴧ v)
Por que é possível duas respostas?
Devido a

1º Lei de Morgan

¬p ν ¬q ¬(p ᴧ q) AUGUSTUS
DE MORGAN
(1806 – 1871)
É equivalente (de Teoria de Conjuntos)
Aqui não se lê se e somente se (da Lógica Formal)
 4) Fundamentos de Matemática não costuma
Exercício 2) salvar a pátria e não é preciso procurar o
monitor quando em crise se AOC é fácil.

(¬s ᴧ ¬t) ↔ ¬p
ou
¬(s ν t)↔ ¬ p
Por que é possível duas respostas?
Devido a

2º Lei de Morgan

¬p ᴧ ¬q ¬(p ν q) AUGUSTUS
DE MORGAN
(1806 – 1871)
É equivalente (de Teoria de Conjuntos)
Aqui não se lê se e somente se (da Lógica Formal)
Exercício 2)

5) Não é verdade que fazer AOC é difícil se MD é fácil e

que fazer TADS não seja superar momentos de crise.

¬[p ↔ (u ᴧ ¬q)]
 Exercício 2)

6) É falso que Fundamentos de Matemática costume salvar a

pátria ou que Inglês seja fundamental para se trabalhar em
TADS, se não for preciso procurar o monitor quando em crise
e que seja preciso fazer muitos exercícios.

¬[(s ν r) ↔ (¬t ᴧ v)]

Lista 2. Lógica Formal

EXERCÍCIO

3)
pᴧqνr
(p ᴧ q) → r
pνqᴧr
p↔q
p → (q ᴧ r)
Lista 2. Lógica Formal

EXERCÍCIO

4)
Item a) 1)

pνq
Item a) 2)

¬p → ¬q
Item a) 3)

¬p ᴧ r ᴧ ¬q
Item a) 4)

(p ↔ ¬r) v (q →s)
Item b) 1)

(p ᴧ q) → (r ᴧ s)
Item b) 2)

(¬p ν ¬q) → (¬r ᴧ t)

ou
¬(p ᴧ q) → (¬r ᴧ t)
Lei de Morgan
Item b) 3)

(q ᴧ p) ↔ (¬s ᴧ r)
Item b) 4)

[(¬r ν ¬p)→q]↔(¬tᴧ¬s)
ou
[¬(r ᴧ p)→q]↔¬(t ν s)
Lei de Morgan Lei de Morgan
Item c) 1)

pνq
Item c) 2)

¬(¬p ᴧ ¬q)
ou

pνq
Lei de Morgan
Item d) 1)

(p ᴧ q) → (r ᴧ s)
Item d) 2)

(¬p ν ¬q) → (¬r ᴧ ¬s)

ou
¬(p ᴧ q) → ¬(r ν s)
Lei de Morgan Lei de Morgan
Item e) 1)

(p ᴧ q) → r
Item e) 2)

(s ᴧ t) → ¬r
Lista 2. Lógica Formal

EXERCÍCIO

5)
a)
¬ [q →(p →q)]
1 F
2 F
3 F
4 F

CONTRADIÇÃO
a)
b)
(p → q) ↔ ((p ν q)↔q)
1 V
2 V
3 V
4 V

TAUTOLOGIA
b)
c)
p ↔ (¬r ᴧ q)
1 F
2 V
3 F
4 F CONTINGÊNCIA

5 V
6 F
7 V
8 V
c)
d) q ↔ (¬p ᴧ (r ν q))
1 F
2 F
3 V
4 V CONTINGÊNCIA
5 V
6 V
7 F
8 V
d)
e) (p → q) → ((p ᴧ r) → (q → r))
1 V
2 V
3 V
4 V TAUTOLOGIA

5 V
6 V
7 V
8 V
e)
f) ¬ [((p → q) ᴧ (q → r)) → (p → r)]
1 F
2 F
3 F
4 F CONTRADIÇÃO

5 F
6 F
7 F
8 F
f)
g) (s ν ¬q) → (p ᴧ ¬r)
1 F
2 V
3 V
4 V
5 F
6 F
7 V
V CONTINGÊNCIA
8
9 F
10 V
11 F
12 V
13 F
14 F
15 F
16 F
g)
h) (¬q → ¬s) ↔ (r → p)
1 V
2 V
3 V
4 V
5 F
6 V
7 F
V CONTINGÊNCIA
8
9 F
10 F
11 V
12 V
13 V
14 F
15 F
16 V
h)
i) ¬ [(s ν ¬r) → (p ᴧ ¬q)]
1 V
2 F
3 V
4 V
5 F
6 F
7 F
F CONTINGÊNCIA
8
9 V
10 F
11 V
12 V
13 V
14 F
15 V
16 V
i)
J) ((¬t → r) ↔ (q ᴧ ¬p)) → ¬(s ν ¬s)
1 V 17 F
2 V 18 F
3 V 19 F
4 V 20 F
5 V 21 F
CONTINGÊNCIA

6 F 22 V
7 V 23 F
8 F 24 V
9 V 25 V
10 V 26 V
11 V 27 V
12 V 28 V
13 V 29 V
14 F 30 F
15 V 31 V
16 F 32 F
J)
Lista 2. Lógica Formal

EXERCÍCIO

6)
a) ~ (p v ~q)
1 0
2 0
3 1
4 0

CONTINGÊNCIA
a)
b) ~ [(p → q) ↔ (~q → ~p)]
1 0
2 0
3 0
4 0

CONTRADIÇÃO
b)
c) p ↔ (~q ᴧ r)
1 0
2 0
3 1
4 0
5 1
6 1
7 0 CONTINGÊNCIA

8 1
c)
d) ~p → (~q → r)
1 1
2 1
3 1
4 1
5 1
6 1
7 1 CONTINGÊNCIA

8 0
d)
 (p → (q → p)) ↔ ((p → q) → (r → r))
e) 1 1
2 1
3 1
4 1
5 1
6 1
7 1
TAUTOLOGIA
8 1
e)
f) (p ᴧ q) → (r v s)
1 1
1
2
3 1
4 0
5 1
6 1
7 1
8 1
9 1
10 1
11 1
12 1
13 1
14 1 CONTINGÊNCIA
15 1
16 1
f)
 (p → q) ↔ (~r ᴧ s)
g) 1
2
0
0
3 1
4 0
5 1
6 1
7 0
8 1
9 0
10 0
11 1
12 0
13 0 CONTINGÊNCIA
14 0
15 1
16 0
g)
 ~(p v q) ↔ (~r ᴧ ~s)
h) 1
2
1
1
3 1
4 0
5 1
6 1
7 1
8 0
9 1
10 1
11 1
12 0
13 0 CONTINGÊNCIA
14 0
15 0
16 1
h)
 (p → q) ↔ [(r ᴧ s) v t]
i) 1 1
1
17 1
1
2 18
3 1 19 1
4 0 20 0
5 1 21 1
6 0 22 0

CONTINGÊNCIA
7 1 23 1
8 0 24 0
9 0 25 1
10 0 26 1
11 0 27 1
12 1 28 0
13 0 29 1
14 1 30 0
15 0 31 1
16 1 32 0
i)
 (p ᴧ q) → [(r ↔ s) v t]
j) 1 1
1
17 1
1
2 18
3 1 19 1
4 0 20 1
5 1 21 1
6 0 22 1

CONTINGÊNCIA
7 1 23 1
8 1 24 1
9 1 25 1
10 1 26 1
11 1 27 1
12 1 28 1
13 1 29 1
14 1 30 1
15 1 31 1
16 1 32 1
j)
 [p → (q → ~r)] ↔ (s v t)
k) 1 0
0
17 1
1
2 18
3 0 19 1
4 1 20 0
5 1 21 1
6 1 22 1

CONTINGÊNCIA
7 1 23 1
8 0 24 0
9 1 25 1
10 1 26 1
11 1 27 1
12 0 28 0
13 1 29 1
14 1 30 1
15 1 31 1
16 0 32 0
k)
 ~ [(p ᴧ (q v r)) ↔ ((s ᴧ t) v (q ᴧ p))]
L) 1 0
0
17 1
0
2 18
3 0 19 0
4 0 20 0
5 0 21 1
6 0 22 0

CONTINGÊNCIA
7 0 23 0
8 0 24 0
9 0 25 1
10 1 26 0
11 1 27 0
12 1 28 0
13 1 29 1
14 0 30 0
15 0 31 0
16 0 32 0
L)
Lista 2. Lógica Formal

EXERCÍCIO

7)
p → (p ᴧ q)
(p ν q) → q
(p ν q) → (p ᴧ q)
(p ν ¬p) → q
p → (p ν q)
LISTA 2
LÓGICA FORMAL