Logica para Computacao - Lista de Exercicios sobre Logica de Predicados e Dedução Natural

LOGICA PARA COMPUTAÇÃO CONTEÚDO LOGICA DE PREDICADOS OBS As únicas regras que você poderá utilizar em Dedução Natural são as regras básicas de introdução e eliminação de conectivos bem como as regras das premissas da contradição eliminação de Redução ao Absurdo e Copie Portanto você não poderá utilizar regras derivadas como o modus tollens regras da dupla negação lei do terceiro excluído etc Q1 Prove utilzando o sistema de dedução natural da Lógica de Predicados xyPxQyyxPxQy Q2 Prove utilizando as regras de dedução natural na lógica de predicados xPxQxxPx𝖠Qx