Lista de Exercicios - Logica Matematica - Regras de Inferencia e Validade de Argumentos

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DO NORTE DE MINAS GERAIS IFNMG Criado pela Lei no11892 de 29122008 Campus Pirapora Sistemas de Informação 1º período Lista 4 Disciplina Lógica Matemática 012022 Profª Renata Fernandes Pereira Regras de Inferência e Validade de argumentos Alunoa V 15 pontos 1 Use as regras da Conjunção Simplificação Modus Ponens e Modus Tollens para verificar que são válidos os seguintes argumentos a p q p r p r b p q r p p r c r p r q r p q d p q r s p r s p q 2 Use a regra do Silogismo disjuntivo para deduzir de cada um dos seguintes ternos de premissas a conclusão indicada a b c 3 Indicar a Regra de inferência que justifica a validade dos seguintes argumentos a p q p q r b p q r p c p q q r p r d p q r p q r e q r p p q r f p q r s p q r s g p q p r p r p q h p q r p p q r i x y z y x z x y z y x z j x y x y x y x y k x 0 x 1 x 0 x 1 4 Use a regra do Dilema construtivo para deduzir a conclusão de cada um dos seguintes ternos de premissas a c b d