Tarea 5 - Lógica predicativa

Esta semana se nos dio a elegir un problema del libro Symbolic Logic por el autor Lewis Carrol que nos habla sobre la lógica predicativa y su simbología.

El problema que elegí es fue el siguiente: Problema 45 de la página 103

Some buns are rich;

All buns are nice.

De acuerdo al libro de Lewis Carrol podríamos definir lo siguiente de cada uno de nuestros enunciados.

Some buns are rich;

The Sign of Quantity is "some"

The Subject is "buns."

The Verb is "are."

The Predicate is “rich”

All buns are nice.

The Sign of Quantity is "all"

The Subject is "buns."

The Verb is "are."

The Predicate is “nice”

Comenzamos por la representación de cada uno en forma de símbolos para poder desarrollarlo de una forma lógica.

B(x) = buns

R(x) = rich

N(x) = nice

También usaremos los símbolos cuantificadores que nos servirán para completar nuestra expresión:

∀ = All

∃ = Some

Ahora comenzamos a sustituir los símbolos que ya hemos elegido en las oraciones.

- Some buns are rich

     ∃x B(x) ⇒ R(x) 

- All buns are nice

    ∀x B(x) ⇒ N(x)

En conclusión a estas expresiones podríamos decir que:

-Some rich things are nice

   ∃x R(x) ⇒ Nx(x)

Por ultimo,de este enunciado obtenemos que:

The Sign of Quantity is "some"

The Subject is "rich things"

The Verb is "are."

The Predicate is “nice”

Bibliografía:

http://www.gutenberg.org/cache/epub/28696/pg28696.txt