TESTE DE CONHECIMENTO AULA 10 LÓGICA MATEMÁTICA

Prévia do material em texto

LÓGICA MATEMÁTICA
10a aula
 Lupa 
 
Vídeo PPT MP3
 
 
Exercício: CEL0270_EX_A10_201701230852_V1 Matrícula: 201701230852
Aluno(a): JULIANO AZEVEDO DOS SANTOS Data: 28/10/2017 16:34:17 (Finalizada)
 1a Questão (Ref.: 201701965971) Fórum de Dúvidas (0) Saiba (0)
Qual das equivalências tautológicas é conhecida absorção?
 p ^(p v r) <=> p
~(p ^q ) ,=> ~p v ~q
p ^q <=> q ^p
~(~p) <= > p
p ^p <=> p
 Gabarito Comentado
 2a Questão (Ref.: 201701965967) Fórum de Dúvidas (0) Saiba (0)
As expressões p ^q => p e p => p v q são respectivamente representações de quais regras de inferência?
Simplificação e Absorção
 Simplificação e Adição
Absorção e Simpificação
Adição e SImplificação
Adição e Absorção
 Gabarito Comentado
 3a Questão (Ref.: 201701965922) 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
Silogismo Hipotético
Silogismo Disjuntivo
Adição
Modus Ponens
 Gabarito Comentado Gabarito Comentado
 4a Questão (Ref.: 201701965912) Fórum de Dúvidas (0) Saiba (0)
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
Adição
Modus Tolens
 Silogismo Hipotético
De Morgam
Modus Ponens
 Gabarito Comentado
 5a Questão (Ref.: 201701965831) Fórum de Dúvidas (0) Saiba (0)
~(p v q) <=> ~p ^ ~q é uma equivalência notável conhecida como:
Modus Toles
Silogismo Hipotético
Modus Ponens
Silogismo disjuntivo
 Lei de De Morgan
 6a Questão (Ref.: 201701965963) Fórum de Dúvidas (0) Saiba (0)
A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de :
Modus Tollens
Modus Ponens
 Silogismo DIsjuntivo
Simplificação
Silogismo Hipotético
 Gabarito Comentado
 7a Questão (Ref.: 201701965960) Fórum de Dúvidas (0) Saiba (0)
A regra de inferência representada pela expressão (p-->q) ^(q--> r) => p-->r é chamada de:
Simplificação
 Silogismo Hipotético
Absorção
Silogismo DIsjuntivo
Eliminação
 Gabarito Comentado
 8a Questão (Ref.: 201701965945) 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:
idempotente
negação
distributiva
contraposição
 comutativa
 Gabarito Comentado
 
LÓGICA MATEMÁTICA
10a aula
 Lupa 
 
Vídeo PPT MP3
 
 
Exercício: CEL0270_EX_A10_201701230852_V2 Matrícula: 201701230852
Aluno(a): JULIANO AZEVEDO DOS SANTOS Data: 12/11/2017 03:09:23 (Finalizada)
 1a Questão (Ref.: 201701965935) 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?
Modus Ponens
Adição
Simplificação
 Modus Tolens
Silogismo Hipotético
 Gabarito Comentado
 2a Questão (Ref.: 201701965917) Fórum de Dúvidas (0) Saiba (0)
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
Silogismo DIsjuntivo
 Modus Ponens
Modus Tolens
 Adição
 3a Questão (Ref.: 201701965963) Fórum de Dúvidas (0) Saiba (0)
A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de :
 Silogismo DIsjuntivo
Modus Tollens
Silogismo Hipotético
Modus Ponens
Simplificação
 Gabarito Comentado
 4a Questão (Ref.: 201701965831) Fórum de Dúvidas (0) Saiba (0)
~(p v q) <=> ~p ^ ~q é uma equivalência notável conhecida como:
Modus Toles
Modus Ponens
 Lei de De Morgan
Silogismo disjuntivo
Silogismo Hipotético
 5a Questão (Ref.: 201701965912) Fórum de Dúvidas (0) Saiba (0)
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
 Silogismo Hipotético
De Morgam
Modus Ponens
Modus Tolens
Adição
 Gabarito Comentado
 6a Questão (Ref.: 201701965958) 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
Silogismo Disjuntivo
Silogismo Hipotético
 Modus Tollens
Modus Ponens
 Gabarito Comentado
 7a Questão (Ref.: 201701965922) 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?
Adição
Silogismo Hipotético
Silogismo Disjuntivo
 Modus Tolens
Modus Ponens
 Gabarito Comentado Gabarito Comentado
 8a Questão (Ref.: 201701965967) Fórum de Dúvidas (0) Saiba (0)
As expressões p ^q => p e p => p v q são respectivamente representações de quais regras de inferência?
Simplificação e Absorção
Adição e SImplificação
Absorção e Simpificação
 Simplificação e Adição
Adição e Absorção
 Gabarito Comentado