Prova Resolvida de Lógica - Dedução Natural e Regras de Inferência

Observações Você deve resolver as questões na pr ópria folha de P rova e enviar a P rova em formato PDF pelo AVA até o próximo dia 0511 Você pode resolver as questões a caneta ou usando o teclado do próprio computador Em qualquer um dos casos o importante é que as questões estejam legíveis e o uso dos símbolos e a indicação das regras estejam suficientemente claros Na resolução de qualquer uma das questões abaixo pode ser necessário o uso de mais de uma Regra Inferencial QUESTÃO Prove a validade de cada um dos argumentos abaixo usando o método de Dedução Natural Exemplo e f e f g f 1 e f P 2 e f g LA 1 3 e f g f LA 2 Em que LA corresponde à Regra Lei da Adição t a b b t a c b k h f h f g c b k g a b c d d a b c v w v x z m w x z m a b a d e a b c e a b c b a c d c d a b c c a b e f g f g h e h g m n l c d m l n c d t w h n k l h t h w h t t w k l