exercícios dedução natural

•

UFRPE

0

1

Petrúcio josé calado da silva

17/03/2016

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica I

21.100 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

EXERCÍCIOS – DEDUÇÃO NATURAL – LÓGICA PROPOSICIONAL
 A ⊢ (A∧A)
(A∧B) ⊢ (B∧A)
(A∧(B∧C)) ⊢ ((A∧B)∧C)
(A∨A) ⊢ A
(A∨B) ⊢ (B∨A)
(A∨(B∨C)) ⊢ ((A∨B)∨C)
((A∨B)∨C) ⊢ (A∨(B∨C))
(C∨(A∨B)) ⊢ ((B∨(A∨C))∨A)
((B∨(A∨C))∨A) ⊢ (C∨(A∨B))
(A∧B) ⊢ (A∨B)