Colaborar - Av2 - Lógica e Matemática Computacional

Prévia do material em texto

10/04/2023, 18:59 Colaborar - Av2 - Lógica e Matemática Computacional
https://colaboraread.com.br/aluno/avaliacao/index/3510926301?atividadeDisciplinaId=14340393 1/3
 Lógica e Matemática Computacional (/aluno…
Av2 - Lógica e Matemática Computacional
Sua avaliação foi confirmada com sucesso
  
(/notific
×
Informações Adicionais
Período: 20/03/2023 00:00 à 08/05/2023 23:59
Situação: Cadastrado
Tentativas: 3 / 3
Pontuação: 800
Protocolo: 844233554
Avaliar Material
1)
a)
b)
c)
d)
e)
2)
Na tabela estão apresentadas algumas operações. Observe atentamente cada uma delas.
  A B A (A B)
L1 F F   V
L2 V V F  
L3   F F F
L4 F   V F
Assinale a alternativa que completa corretamente o resultado de cada linha.
Alternativas:
L1 - V; L2 – F; L3 – F; L4 – V
L1 - F; L2 – F; L3 – F; L4 - V
L1 - V; L2 – F; L3 – F; L4 - F
L1 - F; L2 – V; L3 – F; L4 - F
L1 - V; L2 – V; L3 – V; L4 - V Alternativa assinalada
https://colaboraread.com.br/aluno/timeline/index/3510926301?ofertaDisciplinaId=1974808
https://colaboraread.com.br/notificacao/index
javascript:void(0);
10/04/2023, 18:59 Colaborar - Av2 - Lógica e Matemática Computacional
https://colaboraread.com.br/aluno/avaliacao/index/3510926301?atividadeDisciplinaId=14340393 2/3
a)
b)
c)
d)
e)
3)
a)
b)
c)
d)
e)
4)
O conectivo lógico da_________é utilizado quando desejamos obter um resultado falso, se e somente se, as
duas proposições forem falsas. Do mesmo modo, o conectivo lógico da_________é utilizado quando
desejamos obter um resultado verdadeiro, se e somente se, as duas forem verdadeiras. E, por fim, o
conectivo lógico da _________é utilizado quando desejamos inverter um resultado.
Assinale a alternativa que completa corretamente as lacunas da frase.
Alternativas:
disjunção, negação e conjunção
conjunção, disjunção e negação
negação, disjunção e conjunção
disjunção, conjunção e negação Alternativa assinalada
conjunção, negação e disjunção
Uma proposic¸a~o pode ser verdadeira ou falsa e não pode ser válida ou invalida; do mesmo modo, um
argumento pode ser valido ou invalido e na~o pode ser verdadeiro ou falso. Dado um argumento é
importante validar se ele é válido ou inválido, o grande desafio é como fazer essa validação.
A lógica possui mecanismos que permitem validar os dados de um argumento, os quais são compostos
Alternativas:
pelas regras de equivalência e inferência lógica. Alternativa assinalada
pelas regras de covalência e  inferência lógica.
pelas regras de covalência e  recorrência lógica.
pelas regras de equivalência e recorrência lógica.
pelas regras de tolerância e coerência lógica.
Além das regras de equivalência, o processo de dedução lógica também possui as regras de inferência.
Na inferência, dada uma determinada fbf, ela poderá ser substituída por outra que atenda a regra de
inferência.
 
De acordo com as informações apresentadas na tabela a seguir, faça a associação das Regras de inferência
de dedução para a Lógica Proposicional na COLUNA A com suas respectivos descrições na COLUNA B.
 
COLUNA A COLUNA B
I. Modus Ponens (MP)
1. além de existirem implicações e conjunções nas hipóteses, a conclusão também é
uma implicação. Sua estrutura é dada pela fbf:
( P  ¿ Q) ¿ (Q ¿ R) ¿ (P ¿ R)
10/04/2023, 18:59 Colaborar - Av2 - Lógica e Matemática Computacional
https://colaboraread.com.br/aluno/avaliacao/index/3510926301?atividadeDisciplinaId=14340393 3/3
a)
b)
c)
d)
e)
5)
a)
b)
c)
d)
e)
II. Modus Tollens (MT)
2. envolve uma implicação e uma conjunção e possui a seguinte estrutura: ( P ¿ Q) ¿
P ¿ Q
III. Silogismo Hipotético
(SH)
3. além de envolver uma implicação e uma conjunção, também envolve a negação
de uma das proposições. Sua estrutura é dada pela fbf: ( P ¿ Q) ¿ ¬Q ¿ ¬P 
Assinale a alternativa que apresenta a associação correta entre as colunas:
Alternativas:
I - 2, II - 3, III - 1.
I - 2, II - 1, III - 3. Alternativa assinalada
I - 3, II - 2, III - 1.
I - 1, II - 3, III - 2.
I - 3, II - 1, III - 2.
Além das regras de equivalência, o processo de dedução lógica também possui as regras de inferência.
Na inferência, dada uma determinada fbf, ela poderá ser substituída por outra que atenda a regra de
inferência. Há três regras de inferência principais: Modus Ponens (MP), Modus Tollens (MT) e Silogismo
Hipotético (SH).
 
De acordo com as informações apresentadas na tabela a seguir, faça a associação das regras de inferência
na Coluna A com as respectivas estruturas apresentados na Coluna B.
 
Coluna A Coluna B
I. Modus Ponens (MP) 1. (P ¿ Q)¿¬Q ¿ ¬P
II. Modus Tollens (MT) 2. (P ¿ Q)¿P ¿ Q
III. Silogismo Hipotético (SH) 3. (P ¿ Q)¿(Q ¿ R) ¿ (P ¿ R)
 
Assinale a alternativa que apresenta a associação CORRETA entre as colunas.
Alternativas:
I - 1; II - 3; III - 2.
I - 2; II - 1; III - 3. Alternativa assinalada
I - 3; II - 1; III - 2.
I - 3; II - 2; III - 1.
I - 1; II - 2; III - 3.