Buscar

Lógica Matemática Aula 10

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

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

Outros materiais