Avaliação Final (Discursiva) - Individual logica enviar

Prévia do material em texto

Prova Impressa
GABARITO | Avaliação Final (Discursiva) - Individual (Cod.:988641)
Peso da Avaliação 2,00
Prova 87614135
Qtd. de Questões 2
Nota 9,00
As regras de inferência servem para inferir uma conclusão sobre uma premissa, gerando um argumento que será válido. No caso das 
equivalências, são informações que podem ser escritas de um modo diferente sem a perda de generalidade. Por fim, temos as regras de 
derivadas, que servem para facilitar as provas de argumentos, simplificando o processo quando visto das regras básicas já utilizadas.
Com todo este conhecimento e utilizando as regras de inferência não hipotéticas, de equivalência e de derivadas, prove o argumento (R ∨ S) → 
T, ∼T |- ∼R.
 VOLTAR
A+ Alterar modo de visualização
1
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 1/6
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 2/6
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 3/6
Resposta esperada
Uma possível resolução é:
Caso o acadêmico responder de uma forma diferente, verificar tal prova com o auxílio das tabelas com as regras.
Minha resposta
segue em anexo as respostas .
qexzia_30-9-2024Clique para baixar sua resposta
Retorno da correção
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 4/6
Parabéns acadêmico, sua resposta se aproximou dos objetivos da questão, poderia apenas ter apresentado mais argumentos acerca dos
conteúdos disponibilizados nos materiais didáticos e estudos.
Para que possamos tornar a estrutura de sentenças complexas mais transparente, é necessária a introdução de novos símbolos na linguagem do 
cálculo proposicional, obtendo-se a linguagem do cálculo de predicados. Com esta simbologia, podemos traduzir argumentos ou enunciados 
num formato semelhante ao utilizado em programação. 
Assim, faça a tradução da linguagem formal para informal e vice-versa de acordo com os itens a seguir, não esquecendo de referenciar os 
predicados (item c e d) antes de formalizar:
a) ∀x ∈ R, x2 ≥ 0
b) ∃m ∈ R | m2 = m
c) Não existe celular que não receba ligação ou não receba mensagem
d) Todos os professores são dedicados.
Resposta esperada
a) Todos os números reais têm quadrados não negativos
(ou resposta equivalentes)
b) Existe um número real cujo quadrado é igual a ele mesmo.
(ou resposta equivalentes)
2
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 5/6
c) Usando
“C” celular
“L”receber ligação
“M” receber mensagem
x(Cx → (∼Lx ∨ ∼Mx))
d) Usando
“P” para professores
“D” para dedicado.
∀x(Px → Dx)
Minha resposta
segue em anexo as respostas.
ekjwio_30-9-2024Clique para baixar sua resposta
Retorno da correção
Parabéns acadêmico, sua resposta se aproximou dos objetivos da questão, poderia apenas ter apresentado mais argumentos acerca dos
conteúdos disponibilizados nos materiais didáticos e estudos.
Imprimir
27/11/2024, 20:16 Avaliação Final (Discursiva) - Individual
about:blank 6/6