Baixe o app para aproveitar ainda mais
Prévia do material em texto
LÓGICA MATEMÁTICA Lupa Exercício: CEL0270_EX_A10_201607046016 Matrícula: 201607046016 Aluno(a): RENATO DOS SANTOS Data: 26/11/2016 13:25:56 (Finalizada) 1a Questão (Ref.: 201607762635) Fórum de Dúvidas (0) Saiba (0) A regra de inferência representada pela expressão p ^(p-->q) => q é chamada de Silogismo DIsjuntivo Modus Pones Silogismo Hipotético Modus Tolens Simplificação Gabarito Comentado 2a Questão (Ref.: 201607762513) Fórum de Dúvidas (0) Saiba (0) Observe a demonstração: 1 - p v q .........Premissa 2 - p v q --> r.......Premissa 3 - r --> ~(s v t) ...... Premissa 4 - r ....................1,2 e Modus Ponens 5 - ~(s v t) ............. 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Comutatividade Modus Tolens Silogismo Hipotético Silogismo Disjuntivo Modus Ponens Gabarito Comentado Gabarito Comentado 3a Questão (Ref.: 201607762625) Fórum de Dúvidas (0) Saiba (0) Ao observarmos as inferências tautológicas representadas pelas expressões p^q <=> q ^p e p v q <=> q v p estamos observando uma inferência: contraposição negação comutativa distributiva idempotente Gabarito Comentado 4a Questão (Ref.: 201607762602) Fórum de Dúvidas (0) Saiba (0) Observe a demonstração: 1 - P --> Q .........Premissa 2 - Q --> R.........Premissa 3 - ~R ........ Premissa 4 - P --> R ....................1,2 e Silogismo Hipotético 5 - ~P ........................... 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Modus Tolens Adição Silogismo Disjuntivo Silogismo Hipotético Modus Ponens Gabarito Comentado Gabarito Comentado 5a Questão (Ref.: 201607762638) Fórum de Dúvidas (0) Saiba (0) A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de: Simplificação Modus Tollens Silogismo Hipotético Silogismo Disjuntivo Modus Ponens Gabarito Comentado 6a Questão (Ref.: 201607762630) Fórum de Dúvidas (0) Saiba (0) Ao observarmos as inferências tautológicas representadas pelas expressões (p ^q) ^r <=> p ^( q ^r) e (p v q) v r <=> p v (q v r) estamos observando uma inferência: Idempotente Distributiva Leis de De morgan Absorção Associativa Gabarito Comentado 7a Questão (Ref.: 201607762615) Fórum de Dúvidas (0) Saiba (0) Observe a demonstração: 1 - q --> r .........Premissa 2 - ~ r................Premissa 3 - ~q ............. 2,3 ______________ Utilizando as linhas 1 e 2 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Simplificação Adição Modus Tolens Modus Ponens Silogismo Hipotético Gabarito Comentado 8a Questão (Ref.: 201607762511) Fórum de Dúvidas (0) Saiba (0) ~(p v q) <=> ~p ^ ~q é uma equivalência notável conhecida como: Silogismo Hipotético Lei de De Morgan Modus Toles Silogismo disjuntivo Modus Ponens Retornar
Compartilhar