Lista de exercícios - Dedução natural
1
Universidade Federal da Para ´ ıba Centro de Inform ´ atica Disciplina: L´ ogica Aplicada ` a Computa¸ c˜ao Professor: Andrei de Ara´ ujo Formiga Lista de Exerc´ ıcios – Dedu¸ c˜aoNatural 1. Utilizando a Dedu¸c˜ ao Natural, prove as seguintes dedu¸c˜ oes: a. A ∧ B,C ‘ A ∧ C b. A → B,B → C ‘ A → C c. A ∨ B → C, B → A, B ‘ C d. A,B,A ∧ B → C ‘ C e. A ∧ B → C ‘ A → (B → C) f. A → (B → C) ‘ A ∧ B → C g. (A ∧ B) ∧ C ‘ A ∧ (B ∧ C) h. ‘ (A ∧ A) → A i. ‘ (A ∧ B) → (B ∧ A) j. A ∧ B →¬C, D → C,B,D ‘¬A k. A ∨ B, ¬A ‘ B l. ‘ A ∨¬A 1
-
Upload
flavio-tavares -
Category
Documents
-
view
219 -
download
5
description
Lista de Exercícios para disciplina de lógica do professor Andrei Formiga.
Transcript of Lista de exercícios - Dedução natural
UniversidadeFederaldaParabaCentrodeInformaticaDisciplina: L ogicaAplicada` aComputa caoProfessor: AndreideAra ujoFormigaListadeExercciosDedu caoNatural1. UtilizandoaDeducaoNatural,proveasseguintesdeducoes:a. A B, CA Cb. A B, B CA Cc. A B C, B A, BCd. A, B, A B CCe. A B CA (B C)f. A (B C)A B Cg. (A B) CA (B C)h.(A A) Ai.(A B) (B A)j. A B C, D C, B, DAk. A B, ABl.A A1