Baixe o app para aproveitar ainda mais
Prévia do material em texto
CEL0270_EX_A10_201510754415 » de 50 min. Lupa Aluno: ANTONIO LINDEMBERG DE SOUSA Matrícula: 201510754415 Disciplina: CEL0270 - LÓGICA MATEMÁTICA Período Acad.: 2015.3 EAD (G) / EX Prezado (a) Aluno(a), Você fará agora seu EXERCÍCIO DE FIXAÇÃO! 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 (3). Após a finalização do exercício, você terá acesso ao gabarito. Aproveite para se familiarizar com este modelo de questões que será usado na sua AV e AVS. 1. Qual das equivalências tautológicas é conhecida absorção? ~(~p) <= > p p ^p <=> p ~(p ^q ) ,=> ~p v ~q p ^q <=> q ^p p ^(p v r) <=> p Gabarito Comentado 2. A equivalência tautológica de contraposição, pode ser representada pela expressão: ~(~p) <=> p p --> q <=> ~q --> ~p p^q <=> q ^p p ^p <=> p Gabarito Comentado 3. 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: comutativa contraposição idempotente negação distributiva Gabarito Comentado 4. Observe a demonstração: 1 - P --> Q .........Premissa 2 - P ...................Premissa 3 - Q --> R ...... Premissa 4 - P --> R ....................1,3 Silogismo Hipotético 5 - R) ........................... 2,4 ___________ . Utilizando as linhas 2 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Modus Ponens Silogismo DIsjuntivo Adição Silogismo Hipotético Modus Tolens 5. A regra de inferência representada pela expressão (p-->q) ^(q--> r) => p-->r é chamada de: Simplificação Silogismo Hipotético Eliminação Absorção Silogismo DIsjuntivo Gabarito Comentado 6. ~(p v q) <=> ~p ^ ~q é uma equivalência notável conhecida como: Modus Toles Lei de De Morgan Silogismo Hipotético Silogismo disjuntivo Modus Ponens
Compartilhar