Buscar

LM Avaliação 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

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

Você viu 3, do total de 3 páginas

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

Materiais relacionados

Perguntas relacionadas

Materiais recentes

Perguntas Recentes