·
Sistemas de Informação ·
Lógica Matemática
Send your question to AI and receive an answer instantly
Recommended for you
Preview text
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 a 1 p q 2 p r 3 p Simplificação em 1 4 r Modus Ponens em 2 e 3 5 p r Conjunção em 3 e 4 b 1 p q 2 r p 3 p Simplificação em 1 4 r Modus Tollens em 2 e 3 5 p r Conjunção em 3 e 4 c 1 r p 2 r q 3 r 4 p Modus Ponens em 1 e 3 5 q Modus Ponens em 2 e 3 6 p q Conjunção em 4 e 5 d 1 p q 2 r s 3 p r s 4 p Modus Tollens em 3 e 2 5 q Modus Ponens em 1 e 4 6 p q Conjunção em 4 e 5 a 1 x y x z 2 x z x 6 3 x 6 4 x z Modus Tollens em 2 e 3 5 x y Silogismo Disjuntivo em 1 e 4 b 1 x 0 x y 2 x y x z 3 x z 4 x y Modus Tollens em 2 e 3 5 x 0 Silogismo Disjuntivo em 3 e 4 c 1 x 0 x y 2 x y x z 3 x z 4 x y Silogismo Disjuntivo em 2 e 3 5 x 0 Modus Tollens em 1 e 4 a p q p q r Adição b p q r p Simplificação c p q q r p r Silogismo Hipotético d p q r p q r Modus Ponens e q r p p q r Modus Tollens f p q r s p q r s Conjunção g p q p r p r p q Silogismo Disjuntivo h p q r p p q r Absorção i x y z y x z x y z y x z Modus Ponens j x y ℝ x y ℝ x y ℝ x y ℝ Modus Tollens k x 0 x 1 x 0 x 1 Conjunção
Send your question to AI and receive an answer instantly
Recommended for you
Preview text
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 a 1 p q 2 p r 3 p Simplificação em 1 4 r Modus Ponens em 2 e 3 5 p r Conjunção em 3 e 4 b 1 p q 2 r p 3 p Simplificação em 1 4 r Modus Tollens em 2 e 3 5 p r Conjunção em 3 e 4 c 1 r p 2 r q 3 r 4 p Modus Ponens em 1 e 3 5 q Modus Ponens em 2 e 3 6 p q Conjunção em 4 e 5 d 1 p q 2 r s 3 p r s 4 p Modus Tollens em 3 e 2 5 q Modus Ponens em 1 e 4 6 p q Conjunção em 4 e 5 a 1 x y x z 2 x z x 6 3 x 6 4 x z Modus Tollens em 2 e 3 5 x y Silogismo Disjuntivo em 1 e 4 b 1 x 0 x y 2 x y x z 3 x z 4 x y Modus Tollens em 2 e 3 5 x 0 Silogismo Disjuntivo em 3 e 4 c 1 x 0 x y 2 x y x z 3 x z 4 x y Silogismo Disjuntivo em 2 e 3 5 x 0 Modus Tollens em 1 e 4 a p q p q r Adição b p q r p Simplificação c p q q r p r Silogismo Hipotético d p q r p q r Modus Ponens e q r p p q r Modus Tollens f p q r s p q r s Conjunção g p q p r p r p q Silogismo Disjuntivo h p q r p p q r Absorção i x y z y x z x y z y x z Modus Ponens j x y ℝ x y ℝ x y ℝ x y ℝ Modus Tollens k x 0 x 1 x 0 x 1 Conjunção