Tarea 6 - Cuantificadores y Lógica Predicativa

Para esta tarea el ejercicio seleccionado es el siguiente:

"4.9 Asume the domain of discurse is all animals. Translate: "Some birds do not fly." (Use B for being a bird and F for being able to fly.)"

Asume que el objeto de discurso es todos los animales. Traduce a Lógica Predicativa "Algunas aves no vuelan." (Usando B para ser un pajaro y F para ser capaz de volar)

Si repasamos ahora cómo pueden ser expresados los silogismos en forma de lógica de predicados 

                                      Todos A son B              ∀x(Ax ! Bx)

                                       Ningún A es B           ¬∃x(Ax ^ Bx)

                                    Algunos A son B           ∃ x(Ax ^ Bx)

                                  No todos A son B          ¬∀x(Ax ! Bx)

Volviendo a leer nuestro enunciado "Algunas aves no vuelan."  podemos notar que es similar a la notación "Algunos A son B ∃ x(Ax ^ Bx)"

Por lo que el equivalente en Lógica Predicativa de nuestro enunciado, ajustándonos a los requisitos en que B = ser un ave y F = ser capaz de volar,  es:

∃x(B(x) ^ ¬F(x))

Fuente de Consulta:
http://www.logicinaction.org/docs/ch4.pdf