Baixe o app para aproveitar ainda mais
Prévia do material em texto
Teste de Conhecimento avalie sua aprendizagem 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: A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de: 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? LÓGICA MATEMÁTICA Lupa Calc. EEL0088_A10_202106068279_V6 Aluno: JHONNY PACINI Matr.: 202106068279 Disc.: LÓGICA MATEMÁTICA 2022.2 EAD (G) / EX Prezado (a) Aluno(a), Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua avaliação. O mesmo será composto de questões de múltipla escolha. Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se familiarizar com este modelo de questões que será usado na sua AV e AVS. 1. comutativa contraposição distributiva negação idempotente Gabarito Comentado 2. Silogismo Disjuntivo Simplificação Modus Tollens Modus Ponens Silogismo Hipotético Gabarito Comentado 3. javascript:voltar(); javascript:voltar(); javascript:diminui(); javascript:aumenta(); javascript:calculadora_on(); Qual das equivalências tautológicas é conhecida absorção? Defina a operação utilizada na última linha da demonstração, de maneira a chegar a na conclusão a partir das premissas: 1 - P --> Q .................... premissa 2 - Q --> R ..................... premissa 3 - R --> S ..................... premissa 4 - P --> R ..................... 1,2 Silogismo Hipotético 5 - P --> S ...................... 3,4 _______________ Qual a inferência lógica deve ser colocada na linha 5 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? 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? Adição Silogismo Hipotético Simplificação Modus Ponens Modus Tolens Gabarito Comentado 4. p ^q <=> q ^p ~(p ^q ) ,=> ~p v ~q ~(~p) <= > p p ^p <=> p p ^(p v r) <=> p Gabarito Comentado 5. Modus Tolens Silogismo Hipotético De Morgam Adição Modus Ponens Gabarito Comentado 6. Modus Ponens Silogismo Disjuntivo Silogismo Hipotético Modus Tolens Comutatividade Gabarito Comentado Gabarito Comentado 7. As expressões p ^q => p e p => p v q são respectivamente representações de quais regras de inferência? Silogismo Hipotético Modus Tolens Modus Ponens Adição Silogismo Disjuntivo Gabarito Comentado Gabarito Comentado 8. Simplificação e Absorção Adição e SImplificação Simplificação e Adição Absorção e Simpificação Adição e Absorção Gabarito Comentado Não Respondida Não Gravada Gravada Exercício inciado em 24/07/2022 15:09:25. javascript:abre_colabore('37230','290584532','5560384452');
Compartilhar