Lógica de Predicados

·     INTRODUCCIÓN:
Con la lógica de enunciados,la lógica formal era capaz de decudur acerca de la
validez de cualquier inferencia en la que se derivara un enunciado sin analizar de
otro u otros enunciados que tampoco se analizaban.

  En otras palabras: la lógica formal, a nivel de la lógica de enunciados, sólo puede

analizar formalmente de manera acabada aquellos razonamientos en cuya validez
no desempeñan ningún papel la estructura interna de las proposiciones.

Hay razonamientos que es preciso ir más allá, penetr n la estructura interna de los
enunciados.

·     NECESITAMOS SABER:

     cuantificadores:

 Universal (V)) todos los elementos del dominio cumplen una determinada
propiedad o        relación.

 Existencial (ξ)) algun elementos del dominio cumple una determinada

propiedad o relación.

UNIVERSAL POSITIVO: Todos los x que satisfacen la propiedad S tb P.

Ej: Los alumnos aman la Lógica. Vx[Al(x) → Lo(x)]
UNIVERSAL NEGATIVO: Todos los x que satisfacen la propiedad S NO P.
Ej: Los alumnos no aman la Lógica. Vx[Al(x)  → ¬Lo(x)]
EXISTENCIAL POSITIVO: Algunos x que satisfacen la propiedad S tb P.
Ej: Algunos alumnos aman la lógica. ξx[Al(x) ∩ Lo(x)]
EXISTENCIAL NEGATIVO: Algunos x que satisfacen la propiedad S NO P.
Ej: Algunos alumnos no aman la lógica: ξx[Al(x) ∩¬Lo(x)]

EJERCICIOS RESUELTOS:
1. Hay hombres que ni son libres ni sienten ningún deseo de serlo:

—> Vx(Hx ∩ ¬Lx ∩ ¬Dx) 

[ Es decir: ' hay algún x tal que x es hombre, y x no es libre, y x no siente ningún
deseo de ser libre']

2. Nadie entraba en la academia de Platón a menos que supiera geometría.

—> Vx(Gx → Ex)

[ Es decir: ' Para todo x, si x sabia geometría, entonces x entraba en la Academia
de Platón']