log10 10

Prévia do material em texto

Teste de
Conhecimento
 avalie sua aprendizagem
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:
A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de:
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?
LÓGICA MATEMÁTICA
Lupa Calc.
 
 
EEL0088_A10_202106068279_V10 
 
Aluno: JHONNY PACINI Matr.: 202106068279
Disc.: LÓGICA MATEMÁTICA 2022.2 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.
distributiva
idempotente
negação
comutativa
contraposição
 
Gabarito
Comentado
 
 
 
2.
Silogismo Hipotético
Modus Ponens
Simplificação
Silogismo Disjuntivo
Modus Tollens
 
Gabarito
Comentado
 
 
 
3.
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
Qual das equivalências tautológicas é conhecida absorção?
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
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?
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
Modus Tolens
Simplificação
Adição
Modus Ponens
 
Gabarito
Comentado
 
 
 
4.
p ^q <=> q ^p
~(~p) <= > p
~(p ^q ) ,=> ~p v ~q
p ^(p v r) <=> p
p ^p <=> p
 
Gabarito
Comentado
 
 
 
5.
De Morgam
Silogismo Hipotético
Adição
Modus Tolens
Modus Ponens
 
Gabarito
Comentado
 
 
 
6.
Modus Tolens
Silogismo Disjuntivo
Silogismo Hipotético
Modus Ponens
Comutatividade
 
Gabarito
Comentado
Gabarito
Comentado
 
 
 
7.
As expressões p ^q => p e p => p v q são respectivamente representações de quais regras de inferência?
Modus Tolens
Modus Ponens
Adição
Silogismo Hipotético
Silogismo Disjuntivo
 
Gabarito
Comentado
Gabarito
Comentado
 
 
 
8.
Simplificação e Adição
Adição e SImplificação
Adição e Absorção
Simplificação e Absorção
Absorção e Simpificação
 
Gabarito
Comentado
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 24/07/2022 15:19:38. 
 
 
 
 
javascript:abre_colabore('37230','290584901','5560394591');