Dedução Natural

Lógica Matemática e Computacional

•

UVA

2

0

2

0

Luiz Zairo Bastos Viana

16/11/2019

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica Matemática e Computacional

2.446 Materiais compartilhados

Baixe o app para aproveitar ainda mais

Leia os materiais offline, sem usar a internet. Além de vários outros recursos!

Prévia do material em texto

Universidade Estadual Vale do Acaraú - UVA
Curso: Ciência da Computação
Disciplina: Lógica Matemática
Professor: Hudson Costa
Dedução Natural - Lista 06
1. Veriﬁque a validade dos seguintes argumentos:
a) r → p ∨ q, r,¬p ` q
b) p→ ¬q,¬¬q,¬p→ r ` r
c) p ∧ q, p→ r, q → s ` r ∧ s
d) p→ q, q → ¬r, p ` ¬r
e) p→,¬q,¬p→ r ` r
f) p→ q, p→ r, p ` q ∧ r
g) p→ q,¬q,∨r ` r
h) p ∨ ¬q, r → ¬p, r ` ¬q
i) ¬p ∨ ¬q,¬¬q, r → p ` ¬r
j) p→ ¬q.¬¬q,¬p→ r ∨ s ` r ∨ s
k) ¬p ∨ ¬¬q,¬¬p,¬r → ¬q ` ¬¬r
l) p→ ¬q ∧ r, p, s→ q, s ∨ t ` t
m) p ∧ q, p→ r, r ∧ s→ ¬t, q → s ` ¬t
1