a) A sentença em forma de símbolos lógicos fica assim: Algumas P são F. Todas F têm C. Portanto, algumas P têm C. b) Para fazer a prova lógica da sentença, podemos utilizar o cálculo de predicados. Vamos utilizar as seguintes premissas: - P(x): "x é uma planta" - F(x): "x é uma flor" - C(x): "x tem cheiro doce" Com base nas premissas, podemos reescrever a sentença da seguinte forma: - ∃x(P(x) ∧ F(x)) (Algumas plantas são flores) - ∀x(F(x) → C(x)) (Todas as flores têm um cheiro doce) - ∴ ∃x(P(x) ∧ C(x)) (Portanto, algumas plantas têm um cheiro doce) A conclusão é verdadeira, pois a partir das premissas podemos inferir que existe pelo menos uma planta que é flor e que todas as flores têm cheiro doce, logo, existe pelo menos uma planta que tem cheiro doce.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Elementos de Lógica Digital
•FASE
Compartilhar