Ejemplo de lógica predicatica
Para ésta entrada, se nos encargó realizar un ejercicio en la que lo escogeriamos en del libro "Lean symbolic logic" de Lewis Carroll, el cuál yo escogí el ejercicio 57 de la página 104:
"All medicine is nasty" => "Toda medicina es desagradable"
"Senna is a medicine" => "Senna es una medicina"
Y lo buscado en esta actividad es expresar con lógica predicativa los enunciados dados.
Así que lo primero que hice fue expresar cada frase.
"All medicine is nasty" => "∀m→N(m)"
"Senna is a medicine" => "m(s)"
Una vez tenido las expresiones o con solo conocerlas, podemos concluir que "senna es desagradable":
"Senna is nasty" => "∴ ∀s→N(s) and N(s, m)"
Referencias:
Falta una constante y un predicato. Mejor M(x) = x es medicina, N(x) = x es nasty; s = Senna. Eso da (\forall x: M(x) \rightarrow N(x)) \wedge (M(s)) \therefore N(s). Van 6 pts.
ResponderEliminar