TEORÍA DE LÓGICA PREDICATIVA 1

Se dice que un razonamiento es VÁLIDO cuando a partir de las premisas se deduce la

conclusión de manera necesaria.

( ∀ x ) es el cuantificador universal y se lee así : Para todo x

( ∃ x ) es el cuantificador existencial y se lee así :Existe al menos un x

ALCANCE DEL CUANTIFICADOR

( ∀ x )( Lx → Ax ) ≠ ( ∀ x ) Lx → Ax

P(x) es una fórmula predicativa que afecta a una variable individual.

P(x,y) es una fórmula predicativa que afecta a dos variables individuales.

P(x,y,z) es una fórmula predicativa que afecta a tres variables individuales.

P(x,y,z,w,………..) es una fórmula predicativa que afecta a muchas variables individuales.

P(a) es una fórmula predicativa que afecta a una constante individual.

P(a,b) es una fórmula predicativa que afecta a dos constantes individuales.

P(a,b,c) es una fórmula predicativa que afecta a tres constantes individuales.

P(a,b,c,d,………..) es una fórmula predicativa que afecta a muchas constantes individuales.

Los predicados lógicos se representan con letras mayúsculas: P, Q, R, S…

x, y, z,… son las variables individuales. Se usan variables individuales cuando NO se conoce la
identidad del individuo.

a, b, c,… son las constantes individuales. Se usan constantes individuales cuando SÍ se conoce
la identidad del individuo.

EJEMPLOS

bernardo es Poeta: Pb y se lee así: “P de b”

antonio es Ingeniero: Ia y se lee así: “I de a”

hay por lo menos un Poeta: ( ∃ x ) P x y se lee así: “existe al menos un x P de x”

carlos es Poeta: Pc
todos los Toros son Bravos: (∀ x)(Tx → Bx)

abel es Hombre y no es Ocioso

----------------------------------------
no todos los Hombres son Ociosos

1. Ha∧ ¬Oa /\ ¬( ∀ x)(Hx →Ox)

2. ¬(¬ Ha ∨Oa) DE MORGAN 1 ↔

3. ( ∃ x ) ¬ ( ¬ Hx ∨Ox ) GE 2 →

4. ¬( ∀ x) (¬ Hx ∨Ox ) EC 3 ↔

5. ¬( ∀ x) ( Hx → Ox ) DEF DE COND 4 ↔