MATEMÁTICA E LÓGICA-10

Prévia do material em texto

MATEMÁTICA E LÓGICA 
Lupa Calc. 
 
 
 
 
 
 
 
 
 
Disc.: MATEMÁTICA E LÓGIC 2022.3 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. 
 
 
Qual das equivalências tautológicas é conhecida absorção? 
 
 
 
p ^(p v r) <=> p 
 
 
p ^p <=> p 
 
 
p ^q <=> q ^p 
 
 
~(~p) <= > p 
 
 
~(p ^q ) ,=> ~p v ~q 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
2. 
 
 
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? 
 
 
Modus Ponens 
 
 
Silogismo Hipotético 
 
 
Simplificação 
 
 
Adição 
 
 
Modus Tolens 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
3. 
 
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 
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
 
linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi 
utilizada? 
 
 
Silogismo Disjuntivo 
 
 
Comutatividade 
 
 
Modus Ponens 
 
 
Modus Tolens 
 
 
Silogismo Hipotético 
 
 
Gabarito 
Comentado 
 
 
 
 
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? 
 
 
Silogismo Hipotético 
 
 
Modus Ponens 
 
 
Silogismo DIsjuntivo 
 
 
Modus Tolens 
 
 
Adição 
 
 
 
 
 
5. 
 
 
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? 
 
 
Silogismo Hipotético 
 
 
Adição 
 
 
Modus Tolens 
 
 
Silogismo Disjuntivo 
 
 
Modus Ponens 
 
 
Gabarito 
Comentado 
 
 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
6. 
 
 
A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de: 
 
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
 
 
Modus Tollens 
 
 
Silogismo Hipotético 
 
 
Simplificação 
 
 
Modus Ponens 
 
 
Silogismo Disjuntivo 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
7. 
 
 
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: 
 
 
negação 
 
 
contraposição 
 
 
comutativa 
 
 
distributiva 
 
 
idempotente 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
8. 
 
 
As expressões p ^q => p e p => p v q são respectivamente representações de quais regras de 
inferência? 
 
 
Absorção e Simpificação 
 
 
Adição e SImplificação 
 
 
Simplificação e Adição 
 
 
Simplificação e Absorção 
 
 
Adição e Absorção 
 
 
Gabarito 
Comentado 
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada 
 
 
 
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
https://simulado.estacio.br/bdq_simulados_exercicio.asp
javascript:abre_colabore('36074','295799444','5768748671');