Lógica Predicativa

El ejercicio que realice para esta semana es el enunciado #57 de la página 104 del libro Lean Symbolic Logic.

El enunciado es el siguiente: 

57. All medicine is nasty;

      Senna is a medicine.

Traducido al español:

57. Toda la medicina es desagradable;

      Senna es una medicina.

Utilizo las siguientes expresiones:

D(x): Desagradable

M(x): Medicina

S(x): Senna

Tambien utilizamos cuantificadores:

Ahora representamos la oración en notación simbólica-lógica: 

      Toda la medicina es desagradable;         ∀x M(x)  ⇒  D(x)

      Senna es una medicina.                             S(x)  ⇒  M(x)

Por lo tanto concluimos que:

       Senna es desagradable                             S(x)  ⇒  D(x)



Ej. #95:
All shillings are round;

All these coins are round.

C(x): chelines

M(x): monedas

R(x): Redondas

Todos los chelines son redondos; ∀x C(x)  ⇒  R(x)

Todas estas monedas son redondas. ∀x M(x)  ⇒  R(x)

Concluimos que:

Todos los chelines y las monedas son redondas. ∀x C(x) ˄ ∀x M(x)  ⇒  R(x)

Bibliografía:

http://www.gutenberg.org/files/28696/28696-h/28696-h.htm

http://docencia.udea.edu.co/cen/logica/capitulo4.htm