Avaliação Final (Discursiva) - Individual-lógica matemática

Prévia do material em texto

21/12/2023 16:55 Avaliação Final (Discursiva) - Individual
about:blank 1/5
Prova Impressa
GABARITO | Avaliação Final (Discursiva) - Individual
(Cod.:886422)
Peso da Avaliação 4,00
Prova 74843700
Qtd. de Questões 2
Nota 10,00
No estudo do cálculo de predicados, aprendemos dois importantes quantificadores, o quantificador 
universal e o quantificador existencial. Além disso, vimos como trabalhar com estes quantificadores e 
como representar uma equivalência. Este princípio é fundamentado nas equivalências dos 
quantificadores e nas equivalências do cálculo proposicional. Fique atento, pois, quando aplicadas as 
regras de equivalência nos quantificadores, deve-se realizar a negação da sentença.
Assim, escreva para cada item duas representações simbólicas, uma com o quantificador de 
existência e outra com o quantificador universal:
a) Toda estrela é iluminada (utilize "E" para estrela e "A" para iluminada).
b) Nenhum relógio é único (utilize "R" para relógio e "U" para único).
Resposta esperada
a)
~∃x (Ex & ~Ax)
∀x (Ex → Ax)
b)
∀x (Rx → ~Ux)
~∃x (Rx & Ux)
Minha resposta
obs: pela dificuldade de digitar os símbolos , resolvi tudo manual e salvando em PDF e anexando
a tarefa desenvolvida á baixo em anexo
lnugica_matemnotica-discursiva.pdfClique para baixar sua resposta
Retorno da correção
 VOLTAR
A+
Alterar modo de visualização
1
21/12/2023 16:55 Avaliação Final (Discursiva) - Individual
about:blank 2/5
Parabéns, acadêmico, sua resposta atingiu os objetivos da questão e você contemplou o esperado,
demonstrando a competência da análise e síntese do assunto abordado, apresentando excelentes
argumentos próprios, com base nos materiais disponibilizados.
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICAClique para baixar o anexo da questão
21/12/2023 16:55 Avaliação Final (Discursiva) - Individual
about:blank 3/5
Os teoremas de equivalência do cálculo proposicional, além de serem utilizados em provas, podem 
ser aplicados em muitas outras situações. Uma delas, é possibilitar escrever a negação de um 
argumento. Para os argumentos a seguir, represente a escrita da sua negação e a forma simbólica de 
ambas.
a) Estou dirigindo, então não devo beber bebida alcoólica.
b) Tentarei passar na prova ou serei reprovado.
Obs.: não esqueça de identificar cada proposição e pontuar a equivalência utilizada. 
Dica: Inicie escrevendo a forma simbólica do argumento, depois a forma simbólica da negação e o 
por fim, a escrita da negação.
2
21/12/2023 16:55 Avaliação Final (Discursiva) - Individual
about:blank 4/5
Resposta esperada
Item a)
Se tomarmos:
A = Estou dirigindo
B = deve beber bebido alcoólica
Forma simbólica do argumento: A→~B
A sua negação será, utilizando a Implicação de Material (IM)
~(A→~B)
A & ~~B
21/12/2023 16:55 Avaliação Final (Discursiva) - Individual
about:blank 5/5
Forma simbólica da negação do argumento: A & B
Escrita da negação do argumento: Estou dirigindo e devo beber bebido alcoólica.
Item b)
Se tomarmos:
A = Tentarei passar na prova
B = Serei reprovado
Forma simbólica do argumento: A ∨ B
A sua negação será, utilizando a Lei de Morgan (LM)
~(A ∨ B)
Forma simbólica da negação do argumento:~A & ~B
Escrita da negação do argumento: Não vou passar na prova e não serei reprovado.
Minha resposta
obs: as resposta desenvolvidas, encontra-se em anexo a baixo.
matemnotica_lnugica-discursiva.pdfClique para baixar sua resposta
Retorno da correção
Parabéns, acadêmico, sua resposta atingiu os objetivos da questão e você contemplou o esperado,
demonstrando a competência da análise e síntese do assunto abordado, apresentando excelentes
argumentos próprios, com base nos materiais disponibilizados.
Imprimir