Avaliação Final (Discursiva) - Individual logica

Prévia do material em texto

20/12/2023 10:32 Avaliação Final (Discursiva) - Individual
about:blank 1/4
Prova Impressa
GABARITO | Avaliação Final (Discursiva) - Individual
(Cod.:886422)
Peso da Avaliação 4,00
Prova 74843791
Qtd. de Questões 2
Nota 10,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.
 VOLTAR
A+
Alterar modo de visualização
1
20/12/2023 10:32 Avaliação Final (Discursiva) - Individual
about:blank 2/4
Com todo este conhecimento e utilizando as regras de inferência não hipotéticas, de equivalência e de 
derivadas, prove o argumento ∼(P ∨ Q), ~P → R, ~Q → R |- R.
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
20/12/2023 10:32 Avaliação Final (Discursiva) - Individual
about:blank 3/4
Resposta: o argumento é verdadeiro.
1_questao.jpegClique 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.
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, x > 2 → x2 > 4
b) ∃m ∈ R | m/m=m
c) Nem todos os políticos são honesto ou corruptos
d) Todos os humanos são racionais.
Resposta esperada
a) Se um número real é maior que 2 então seu quadrado é maior que 4.
(ou resposta equivalentes)
b) Existe um número real cujo a divisão dele por ele mesmo é igual a ele mesmo.
(ou resposta equivalentes)
c) Usando
“P” políticos
“H”honesto
“C” corrupto
∃x(Px → (Hx ∨ Cx))
d) Usando
“H” para humanos
“R” para racionais.
∀x(Hx → Rx)
Minha resposta
resposta em anexo.
2_questao.jpegClique para baixar sua resposta
Retorno da correção
2
20/12/2023 10:32 Avaliação Final (Discursiva) - Individual
about:blank 4/4
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