Lógica - CB0260

Lógica de Predicados Monádicos

Andrés Sicard Ramírez

Universidad EAFIT

3 de marzo de 2014
Introducción

lógica proposicional
Introducción

lógica de predicados monádicos

lógica proposicional
Introducción

lógica de predicados de primer orden

lógica de predicados monádicos
lógica proposicional
Introducción

lógica de predicados de primer orden

lógica de predicados monádicos
lógica proposicional
 Introducción

lógica de predicados de orden superior

lógica de predicados de primer orden

lógica de predicados monádicos
lógica proposicional

Lógica - CB0260. Lógica de Predicados Monádicos 6/138

 Motivación

Ejemplo
Todos los hombres son mortales. Socrátes es humano. Luego, Socrátes es
mortal.

Lógica - CB0260. Lógica de Predicados Monádicos 7/138

 Motivación

Ejemplo
Todos los hombres son mortales. Socrátes es humano. Luego, Socrátes es
mortal.
P : Todos los hombres son mortales
H: Socrátes es humano
M : Socrátes es mortal
El argumento

1 P
2 H /∴ M

es inválido.

Lógica - CB0260. Lógica de Predicados Monádicos 8/138

 Motivación

Ejemplo
Todos los hombres son mortales. Socrátes es humano. Luego, Socrátes es
mortal.
P : Todos los hombres son mortales
H: Socrátes es humano
M : Socrátes es mortal
El argumento

1 P
2 H /∴ M

es inválido. La validez del argumento depende de la estructura interna de

los enunciados simples.

Lógica - CB0260. Lógica de Predicados Monádicos 9/138

 Proposiciones Singulares

Convenciones
Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z

Proposición singular
Sujeto + atributo/predicado

Lógica - CB0260. Lógica de Predicados Monádicos 10/138

 Proposiciones Singulares

Convenciones
Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z

Proposición singular
Sujeto + atributo/predicado

Ejemplos

Socrátes es mortal
s: Sócrates
M x: x es mortal
M s: Sócrates es mortal

Lógica - CB0260. Lógica de Predicados Monádicos 11/138

 Proposiciones Singulares

Convenciones
Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z

Proposición singular
Sujeto + atributo/predicado

Ejemplos

Socrátes es mortal Hx: x es humano

s: Sócrates Ha, Hb, Hc, . . .
M x: x es mortal
M s: Sócrates es mortal

Lógica - CB0260. Lógica de Predicados Monádicos 12/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen variables individuales. No son ni verdaderas ni
falsas.

Lógica - CB0260. Lógica de Predicados Monádicos 13/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen variables individuales. No son ni verdaderas ni
falsas.

Lógica de predicados monádicos

Los predicados sólo tienen una variable.

Lógica - CB0260. Lógica de Predicados Monádicos 14/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen variables individuales. No son ni verdaderas ni
falsas.

Lógica de predicados monádicos

Los predicados sólo tienen una variable.

Instanciación
El proceso de obtener una proposición singular a partir de una función
proposicional sustituyendo las variables por constantes.

Lógica - CB0260. Lógica de Predicados Monádicos 15/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen variables individuales. No son ni verdaderas ni
falsas.

Lógica de predicados monádicos

Los predicados sólo tienen una variable.

Instanciación
El proceso de obtener una proposición singular a partir de una función
proposicional sustituyendo las variables por constantes.

Ejemplo
Hx: x es humano
Hs es una instancia de sustitución de Hx

Lógica - CB0260. Lógica de Predicados Monádicos 16/138

 Proposiciones Generales

Proposición general
Una proposición general no contiene nombre de individuos. Se obtiene a
partir de una función proposicional por generalización (cuantificación).

Lógica - CB0260. Lógica de Predicados Monádicos 17/138

 Proposiciones Generales

Proposición general
Una proposición general no contiene nombre de individuos. Se obtiene a
partir de una función proposicional por generalización (cuantificación).

Cuantificadores
(∀x): Cuantificador universal
(∃x): Cuantificador existencial
Observación: Copi (1998) usa la notación “(x)” en lugar de la
notación “(∀x)”.

Lógica - CB0260. Lógica de Predicados Monádicos 18/138

 Proposiciones Generales

Ejemplo
Todo es mortal,

Lógica - CB0260. Lógica de Predicados Monádicos 19/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal,

Lógica - CB0260. Lógica de Predicados Monádicos 20/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x,

Lógica - CB0260. Lógica de Predicados Monádicos 21/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x, es decir,
(∀x)M x.

Lógica - CB0260. Lógica de Predicados Monádicos 22/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x, es decir,
(∀x)M x.

Ejemplo
Algo es mortal,

Lógica - CB0260. Lógica de Predicados Monádicos 23/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x, es decir,
(∀x)M x.

Ejemplo
Algo es mortal, es decir
existe cuando menos un x tal que x es mortal,

Lógica - CB0260. Lógica de Predicados Monádicos 24/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x, es decir,
(∀x)M x.

Ejemplo
Algo es mortal, es decir
existe cuando menos un x tal que x es mortal, es decir
existe cuando menos un x tal que M x,

Lógica - CB0260. Lógica de Predicados Monádicos 25/138

 Proposiciones Generales

Ejemplo
Todo es mortal, es decir,
dado cualquier x, x es mortal, es decir,
dado cualquier x, M x, es decir,
(∀x)M x.

Ejemplo
Algo es mortal, es decir
existe cuando menos un x tal que x es mortal, es decir
existe cuando menos un x tal que M x, es decir
(∃x)M x.

Lógica - CB0260. Lógica de Predicados Monádicos 26/138

 Verdad de las Proposiciones Generales

La cuantificación universal de una función proposicional es verdadera

cuando todas sus instancias de sustitución son verdades.

Lógica - CB0260. Lógica de Predicados Monádicos 27/138

 Verdad de las Proposiciones Generales

La cuantificación universal de una función proposicional es verdadera

cuando todas sus instancias de sustitución son verdades.
La cuantificación existencial de una función proposicional es verdadera
cuando al menos una instancia de sustitución es verdadera.

Lógica - CB0260. Lógica de Predicados Monádicos 28/138

 Negación de las Proposiciones Generales

Ejemplos
Proposición general Negación
Todo es mortal: (∀x)M x

Lógica - CB0260. Lógica de Predicados Monádicos 29/138

 Negación de las Proposiciones Generales

Ejemplos
Proposición general Negación
Todo es mortal: (∀x)M x Algo no es mortal: (∃x)∼M x

Lógica - CB0260. Lógica de Predicados Monádicos 30/138

 Negación de las Proposiciones Generales

Ejemplos
Proposición general Negación
Todo es mortal: (∀x)M x Algo no es mortal: (∃x)∼M x
Algo es mortal: (∃x)M x

Lógica - CB0260. Lógica de Predicados Monádicos 31/138

 Negación de las Proposiciones Generales

Ejemplos
Proposición general Negación
Todo es mortal: (∀x)M x Algo no es mortal: (∃x)∼M x
Algo es mortal: (∃x)M x Nada es mortal: (∀x)∼M x

Lógica - CB0260. Lógica de Predicados Monádicos 32/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

Convenciones
Existe al menos un individuo.
Φ: Representa cualquier símbolo de atributo/predicado (variable
predicativa).

Lógica - CB0260. Lógica de Predicados Monádicos 33/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

contrarias
(∀x)Φx (∀x)∼Φx
co
nt
ra rias
o
d icdt ic
ra tor
nt ias
co

(∃x)Φx (∃x)∼Φx
subcontrarias

Lógica - CB0260. Lógica de Predicados Monádicos 34/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

contrarias
(∀x)Φx (∀x)∼Φx
co
nt
ra rias
o
d icdt ic
ra tor
nt ias
co

(∃x)Φx (∃x)∼Φx
subcontrarias

Relaciones
Proposiciones contrarias: Ambas pueden ser falsas, pero no pueden ser
ambas verdaderas.

Lógica - CB0260. Lógica de Predicados Monádicos 35/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

contrarias
(∀x)Φx (∀x)∼Φx
co
nt
ra rias
o
d icdt ic
ra tor
nt ias
co

(∃x)Φx (∃x)∼Φx
subcontrarias

Relaciones
Proposiciones subcontrarias: Ambas pueden ser verdaderas, pero no
pueden ambas ser falsas.

Lógica - CB0260. Lógica de Predicados Monádicos 36/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

contrarias
(∀x)Φx (∀x)∼Φx
co
nt
ra rias
o
d icdt ic
ra tor
nt ias
co

(∃x)Φx (∃x)∼Φx
subcontrarias

Relaciones
Proposiciones contradictorias: Una debe ser verdadera y la otra falsa.

Lógica - CB0260. Lógica de Predicados Monádicos 37/138

 Relaciones Generales entre las Cuantificaciones Universal y
Existencial

contrarias
(∀x)Φx (∀x)∼Φx
co
nt
ra rias
o
d icdt ic
ra tor
nt ias
co

(∃x)Φx (∃x)∼Φx
subcontrarias

Relaciones
En cada lado, la verdad de la proposición más baja es implicada por la
verdad de la proposición de arriba.

Lógica - CB0260. Lógica de Predicados Monádicos 38/138

 Alcance de un Cuantificador

Ejemplo
(1) es diferente a (2):

(∀x)(Hx ⊃ M x) (1)
(∀x)Hx ⊃ M x (2)

Lógica - CB0260. Lógica de Predicados Monádicos 39/138

 Alcance de un Cuantificador

Ejemplo
(1) es diferente a (2):

(∀x)(Hx ⊃ M x) (1)
(∀x)Hx ⊃ M x (2)

La función proposicional asociada a (1) es Hx ⊃ M x

Instancias de substitución: Ha ⊃ M a, Hb ⊃ M b, . . .

Lógica - CB0260. Lógica de Predicados Monádicos 40/138

 Alcance de un Cuantificador

Ejemplo
(1) es diferente a (2):

(∀x)(Hx ⊃ M x) (1)
(∀x)Hx ⊃ M x (2)

La función proposicional asociada a (1) es Hx ⊃ M x

Instancias de substitución: Ha ⊃ M a, Hb ⊃ M b, . . .
(2) es una función proposicional
Instancias de substitución: (∀x)Hx ⊃ M a, (∀x)Hx ⊃ M b, . . .

Lógica - CB0260. Lógica de Predicados Monádicos 41/138

 Alcance de un Cuantificador

Ejemplo
(1) es diferente a (2):

(∀x)(Hx ⊃ M x) (1)
(∀x)Hx ⊃ M x (2)

La función proposicional asociada a (1) es Hx ⊃ M x

Instancias de substitución: Ha ⊃ M a, Hb ⊃ M b, . . .
(2) es una función proposicional
Instancias de substitución: (∀x)Hx ⊃ M a, (∀x)Hx ⊃ M b, . . .

Convención
Un cuantificador tiene como alcance, la más pequeña de las componentes
que la puntuación permita.

Lógica - CB0260. Lógica de Predicados Monádicos 42/138

 Proposiciones Generales “Tradicionales”

Afirmativa universal (A)

Negativa universal (E)
Afirmativa particular (I)
Negativa particular (O)

Ejemplos
(A) Todos los humanos son mortales (∀x)(Hx ⊃ M x)
(E) Ningún humano es mortal (∀x)(Hx ⊃ ∼M x)
(I) Algunos humanos son mortales (∃x)(Hx ∧ M x)
(O) Algunos humanos no son mortales (∃x)(Hx ∧ ∼M x)

Lógica - CB0260. Lógica de Predicados Monádicos 43/138

 Proposiciones Generales “Tradicionales”

Afirmativa universal (A)

Negativa universal (E)
Afirmativa particular (I)
Negativa particular (O)

Ejemplos
(A) Todos los humanos son mortales (∀x)(Hx ⊃ M x)
(E) Ningún humano es mortal (∀x)(Hx ⊃ ∼M x)
(I) Algunos humanos son mortales (∃x)(Hx ∧ M x)
(O) Algunos humanos no son mortales (∃x)(Hx ∧ ∼M x)

Observación: Mirar la figura en Copi (1998, pág. 92).

Lógica - CB0260. Lógica de Predicados Monádicos 44/138

 Representación de Enunciados

Ejemplo
Todos los miembros son padres o ingenieros.
M x: x es miembro
P x: x es padre
Ix: x es ingeniero
(∀x)(M x ⊃ (P x ∨ Ix))

Lógica - CB0260. Lógica de Predicados Monádicos 45/138

 Representación de Enunciados

Ejemplo
Algunos senadores son o desleales o mal aconsejados.
Sx: x es senador
Dx: x es desleal
M x: x es mal aconsejado
(∃x)(Sx ∧ (Dx ∨ M x))

Lógica - CB0260. Lógica de Predicados Monádicos 46/138

 Representación de Enunciados

Ejemplo
Las manzanas y los plátanos son nutritivos.
M x: x es una manzana
P x: x es un plátano
N x: x es nutritivo
((∀x)(M x ⊃ N x)) ∧ ((∀x)(P x ⊃ N x)) (proposición general
compuesta)
(∀x)((M x ∨ P x) ⊃ N x) (proposición general simple)
(∀x)((M x ∧ P x) ⊃ N x) (incorrecta!)

Lógica - CB0260. Lógica de Predicados Monádicos 47/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
4. Los ejecutivos todos tienen secretarias. (Ex: x es un ejecutivo. Sx: x
tiene una secretaria.)

Lógica - CB0260. Lógica de Predicados Monádicos 48/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
4. Los ejecutivos todos tienen secretarias. (Ex: x es un ejecutivo. Sx: x
tiene una secretaria.)
Representación: (∀x)(Ex ⊃ Sx)

Lógica - CB0260. Lógica de Predicados Monádicos 49/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
5. Sólo los ejecutivos tienen secretarias. (Ex: x es un ejecutivo. Sx: x tiene
una secretaria.)

Lógica - CB0260. Lógica de Predicados Monádicos 50/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
5. Sólo los ejecutivos tienen secretarias. (Ex: x es un ejecutivo. Sx: x tiene
una secretaria.)
Representación: (∀x)(Sx ⊃ Ex)

Lógica - CB0260. Lógica de Predicados Monádicos 51/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
16. Algunos medicamentos son peligrosos sólo si se toman en cantidades
excesivas. (M x: x es un medicamento. P x: x es peligroso. Ex: x se toma
en cantidades excesivas.)

Lógica - CB0260. Lógica de Predicados Monádicos 52/138

 Representación de Enunciados

Ejemplos (Copi (1998), págs. 94–95)

I. Traducir cada una de las siguiente oraciones a la notación lógica de las
funciones proposicionales y cuantificadores, usando en cada caso las
abreviaciones que se sugieren.
16. Algunos medicamentos son peligrosos sólo si se toman en cantidades
excesivas. (M x: x es un medicamento. P x: x es peligroso. Ex: x se toma
en cantidades excesivas.)
Representación: (∃x)(M x ∧ (P x ⊃ Ex))

Lógica - CB0260. Lógica de Predicados Monádicos 53/138

 Proposiciones Generales y Número de Individuos
Supuesto de la Lógica de Predicados: Existe al menos un individuo

Lógica - CB0260. Lógica de Predicados Monádicos 54/138

 Proposiciones Generales y Número de Individuos
Supuesto de la Lógica de Predicados: Existe al menos un individuo
Si hay exactamente un individuo a:

(∀x)Φx ≡ Φa,
(∃x)Φx ≡ Φa.

Lógica - CB0260. Lógica de Predicados Monádicos 55/138

 Proposiciones Generales y Número de Individuos
Supuesto de la Lógica de Predicados: Existe al menos un individuo
Si hay exactamente un individuo a:

(∀x)Φx ≡ Φa,
(∃x)Φx ≡ Φa.

Si hay exactamente dos individuos a y b:

(∀x)Φx ≡ (Φa ∧ Φb),

(∃x)Φx ≡ (Φa ∨ Φb).

Lógica - CB0260. Lógica de Predicados Monádicos 56/138

 Proposiciones Generales y Número de Individuos
Supuesto de la Lógica de Predicados: Existe al menos un individuo
Si hay exactamente un individuo a:

(∀x)Φx ≡ Φa,
(∃x)Φx ≡ Φa.

Si hay exactamente dos individuos a y b:

(∀x)Φx ≡ (Φa ∧ Φb),

(∃x)Φx ≡ (Φa ∨ Φb).

Si hay exactamente k individuos a, b, . . . , k:

(∀x)Φx ≡ (Φa ∧ Φb ∧ · · · ∧ Φk),

(∃x)Φx ≡ (Φa ∨ Φb ∨ · · · ∨ Φk).

Lógica - CB0260. Lógica de Predicados Monádicos 57/138

 Validez de Argumentos: Semántica

Validez de Argumentos
“Un argumento que involucra cuantificadores es válido si y sólo si es válido
no importando cuántos individuos hay, siempre que haya cuando menos
uno.” (Copi 1998. Lógica Simbólica, pág. 103)

Lógica - CB0260. Lógica de Predicados Monádicos 58/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)

Lógica - CB0260. Lógica de Predicados Monádicos 59/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Lógica - CB0260. Lógica de Predicados Monádicos 60/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Ba Ea Pa Ba ⊃ P a Ea ⊃ P a Ba ⊃ Ea

Lógica - CB0260. Lógica de Predicados Monádicos 61/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Ba Ea Pa Ba ⊃ P a Ea ⊃ P a Ba ⊃ Ea
T T F

Lógica - CB0260. Lógica de Predicados Monádicos 62/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Ba Ea Pa Ba ⊃ P a Ea ⊃ P a Ba ⊃ Ea
T F T T F

Lógica - CB0260. Lógica de Predicados Monádicos 63/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Ba Ea Pa Ba ⊃ P a Ea ⊃ P a Ba ⊃ Ea
T F T T T F

Lógica - CB0260. Lógica de Predicados Monádicos 64/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 104)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Todos los elefantes son pesados. Luego,
todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∀x)(Ex ⊃ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a:
(Ba ⊃ P a)
(Ea ⊃ P a) / ∴ (Ba ⊃ Ea)

Ba Ea P a Ba ⊃ P a Ea ⊃ P a Ba ⊃ Ea
T F T T T F ×
El argumento es inválido!

Lógica - CB0260. Lógica de Predicados Monádicos 65/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 105)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Algunos elefantes son pesados. Por lo
tanto, todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∃x)(Ex ∧ P x) / ∴ (∀x)(Bx ⊃ Ex)

Lógica - CB0260. Lógica de Predicados Monádicos 66/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 105)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Algunos elefantes son pesados. Por lo
tanto, todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∃x)(Ex ∧ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para un individuo a el argumento es válido.

Lógica - CB0260. Lógica de Predicados Monádicos 67/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 105)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Algunos elefantes son pesados. Por lo
tanto, todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∃x)(Ex ∧ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para dos individuos a y b:
(Ba ⊃ P a) ∧ (Bb ⊃ P b)
(Ea ∧ P a) ∨ (Eb ∧ P b) / ∴ (Ba ⊃ Ea) ∧ (Bb ⊃ Eb)

Lógica - CB0260. Lógica de Predicados Monádicos 68/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 105)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Algunos elefantes son pesados. Por lo
tanto, todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∃x)(Ex ∧ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para dos individuos a y b:
(Ba ⊃ P a) ∧ (Bb ⊃ P b)
(Ea ∧ P a) ∨ (Eb ∧ P b) / ∴ (Ba ⊃ Ea) ∧ (Bb ⊃ Eb)
El argumento es inválido para la asignación

Lógica - CB0260. Lógica de Predicados Monádicos 69/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 105)

Demuestre que el siguiente argumento es inválido:
Todas las ballenas son pesadas. Algunos elefantes son pesados. Por lo
tanto, todas las ballenas son elefantes.
(∀x)(Bx ⊃ P x)
(∃x)(Ex ∧ P x) / ∴ (∀x)(Bx ⊃ Ex)
Para dos individuos a y b:
(Ba ⊃ P a) ∧ (Bb ⊃ P b)
(Ea ∧ P a) ∨ (Eb ∧ P b) / ∴ (Ba ⊃ Ea) ∧ (Bb ⊃ Eb)
El argumento es inválido para la asignación
Ba Bb Ea Eb Pa Pb
T T F T T T
Lógica - CB0260. Lógica de Predicados Monádicos 70/138
 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 107, I.4)

Demuestre que el siguiente argumento es inválido:
(∀x)(Hx ⊃ ∼Ix)
(∃x)(Jx ∧ ∼Ix) / ∴ (∀x)(Hx ⊃ Jx)

Lógica - CB0260. Lógica de Predicados Monádicos 71/138

 Validez de Argumentos: Semántica

Ejemplo (Copi (1998), pág. 107, I.4)

Demuestre que el siguiente argumento es inválido:
(∀x)(Hx ⊃ ∼Ix)
(∃x)(Jx ∧ ∼Ix) / ∴ (∀x)(Hx ⊃ Jx)
El argumento es inválido con dos individuos a y b y la asignación

Ha Ia Ja Hb Ib Jb
T F F T F T

Lógica - CB0260. Lógica de Predicados Monádicos 72/138

 Validez de Argumentos: Semántica

Ejemplo
Demuestre que el siguiente argumento es inválido:
(∀x)Hx ⊃ (∀x)M x / ∴ (∀x)(Hx ⊃ M x)

Lógica - CB0260. Lógica de Predicados Monádicos 73/138

 Validez de Argumentos: Semántica

Ejemplo
Demuestre que el siguiente argumento es inválido:
(∀x)Hx ⊃ (∀x)M x / ∴ (∀x)(Hx ⊃ M x)
El argumento es inválido con dos individuos a y b:
Ha Hb Ma Mb
T F F F
(Ha ∧ Hb) ⊃ (M a ∧ M b) (Ha ⊃ M a) ∧ (Hb ⊃ M b)
T F ×

Lógica - CB0260. Lógica de Predicados Monádicos 74/138

 Decidibilidad de la Lógica de Prédicados Monádicos

Teorema
“Si un argumento contiene n símbolos de predicados diferentes, entonces, si
es válido para un modelo que contenga 2n individuos, entonces es válido en
cualquier modelo, o universalmente válido.” (Copi 1998. Lógica
Simbólica, pág. 106)

Lógica - CB0260. Lógica de Predicados Monádicos 75/138

 Decidibilidad de la Lógica de Prédicados Monádicos

Teorema
“Si un argumento contiene n símbolos de predicados diferentes, entonces, si
es válido para un modelo que contenga 2n individuos, entonces es válido en
cualquier modelo, o universalmente válido.” (Copi 1998. Lógica
Simbólica, pág. 106)
Observación: El teorema anterior sólo es válido para símbolos de predicados
monádicos.

Lógica - CB0260. Lógica de Predicados Monádicos 76/138

 Variables Libres y Ligadas

Definición (Variable libre)

Una variable que no se encuentra dentro del alcance de un cuantificador.

Definición (Variable ligada)

Una variable que se encuentra dentro del alcance de un cuantificador.

Ejemplos
(∀x)(P x ⊃ Cx) ⊃ Cx: La primera, segunda y tercera ocurrencia de x
están ligadas. La cuarta ocurrencia de x está libre.

Lógica - CB0260. Lógica de Predicados Monádicos 77/138

 Variables Libres y Ligadas

Definición (Variable libre)

Una variable que no se encuentra dentro del alcance de un cuantificador.

Definición (Variable ligada)

Una variable que se encuentra dentro del alcance de un cuantificador.

Ejemplos
(∀x)(P x ⊃ Cx) ⊃ Cx: La primera, segunda y tercera ocurrencia de x
están ligadas. La cuarta ocurrencia de x está libre.
(∀x)(P x ⊃ Cx) ⊃ (∃x)(Ax ∧ Cx): La primera, segunda y tercera
ocurrencia de x están ligadas al cuantificador universal. La cuarta, quinta y
sexta ocurrencia de x están ligadas al cuantificador existencial.

Lógica - CB0260. Lógica de Predicados Monádicos 78/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen al menos una variable libre.

Proposiciones
Expresiones cuya toda ocurrencia de una variable debe ser ligada.

Lógica - CB0260. Lógica de Predicados Monádicos 79/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen al menos una variable libre.

Proposiciones
Expresiones cuya toda ocurrencia de una variable debe ser ligada.

Ejemplos
Las funciones proposicionales pueden contener:
Proposiciones singulares: F a ∧ Gx

Lógica - CB0260. Lógica de Predicados Monádicos 80/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen al menos una variable libre.

Proposiciones
Expresiones cuya toda ocurrencia de una variable debe ser ligada.

Ejemplos
Las funciones proposicionales pueden contener:
Proposiciones singulares: F a ∧ Gx
Proposiciones generales: (∀x)(P x ⊃ Cx) ⊃ Cx

Lógica - CB0260. Lógica de Predicados Monádicos 81/138

 Funciones Proposicionales

Función proposicional
Expresiones que contienen al menos una variable libre.

Proposiciones
Expresiones cuya toda ocurrencia de una variable debe ser ligada.

Ejemplos
Las funciones proposicionales pueden contener:
Proposiciones singulares: F a ∧ Gx
Proposiciones generales: (∀x)(P x ⊃ Cx) ⊃ Cx
Varias variables libres: F u ∧ Gv

Lógica - CB0260. Lógica de Predicados Monádicos 82/138

 Instanciación de Funciones Proposicionales

Regla
Al reemplazar variables por constantes para obtener una proposición a
partir de una función proposicional, la misma constante debe reemplazar
cada ocurrencia libre de la misma variable.

Lógica - CB0260. Lógica de Predicados Monádicos 83/138

 Instanciación de Funciones Proposicionales

Regla
Al reemplazar variables por constantes para obtener una proposición a
partir de una función proposicional, la misma constante debe reemplazar
cada ocurrencia libre de la misma variable.

Ejemplo
Función proposicional: F x ∨ (Gy ∧ Hx)

Lógica - CB0260. Lógica de Predicados Monádicos 84/138

 Instanciación de Funciones Proposicionales

Regla
Al reemplazar variables por constantes para obtener una proposición a
partir de una función proposicional, la misma constante debe reemplazar
cada ocurrencia libre de la misma variable.

Ejemplo
Función proposicional: F x ∨ (Gy ∧ Hx)
Instancia correcta: F a ∨ (Gb ∧ Ha)

Lógica - CB0260. Lógica de Predicados Monádicos 85/138

 Instanciación de Funciones Proposicionales

Regla
Al reemplazar variables por constantes para obtener una proposición a
partir de una función proposicional, la misma constante debe reemplazar
cada ocurrencia libre de la misma variable.

Ejemplo
Función proposicional: F x ∨ (Gy ∧ Hx)
Instancia correcta: F a ∨ (Gb ∧ Ha)
Instancia incorrecta: F a ∨ (Gb ∧ Hc)

Lógica - CB0260. Lógica de Predicados Monádicos 86/138

 Instanciación de Funciones Proposicionales

Regla
Al reemplazar variables por constantes para obtener una proposición a
partir de una función proposicional, la misma constante debe reemplazar
cada ocurrencia libre de la misma variable.

Ejemplo
Función proposicional: F x ∨ (Gy ∧ Hx)
Instancia correcta: F a ∨ (Gb ∧ Ha)
Instancia incorrecta: F a ∨ (Gb ∧ Hc)
Instancia correcta: F c ∨ (Gc ∧ Hc)

Lógica - CB0260. Lógica de Predicados Monádicos 87/138

 Generalización de Funciones Proposicionales

Ejemplo
Función proposicional: F x ⊃ Gx
Generalizaciones universales:
(∀x)(F x ⊃ Gx), (∀y)(F y ⊃ Gy), (∀z)(F z ⊃ Gz), . . .

Lógica - CB0260. Lógica de Predicados Monádicos 88/138

 Generalización de Funciones Proposicionales

Ejemplo
Función proposicional: F x ⊃ Gx
Generalizaciones universales:
(∀x)(F x ⊃ Gx), (∀y)(F y ⊃ Gy), (∀z)(F z ⊃ Gz), . . .
Generalizaciones existenciales:
(∃x)(F x ⊃ Gx), (∃y)(F y ⊃ Gy), (∃z)(F z ⊃ Gz), . . .

Lógica - CB0260. Lógica de Predicados Monádicos 89/138

 Generalización de Funciones Proposicionales

Ejemplo
Función proposicional: F x ⊃ Gx
Generalizaciones universales:
(∀x)(F x ⊃ Gx), (∀y)(F y ⊃ Gy), (∀z)(F z ⊃ Gz), . . .
Generalizaciones existenciales:
(∃x)(F x ⊃ Gx), (∃y)(F y ⊃ Gy), (∃z)(F z ⊃ Gz), . . .

Ejemplo
Función proposicional: F x ∧ Gy
Dos funciones proposicionales diferentes: (∀x)(F x ∧ Gy) y (∀y)(F x ∧ Gy)

Lógica - CB0260. Lógica de Predicados Monádicos 90/138

 Prueba Formal de Validez

Argumento Prueba formal de validez

P1 1 P1
.. ..
. .
Pn n Pn /∴ C
∴ C n+1 S1
..
.
n+m Sm

Lógica - CB0260. Lógica de Predicados Monádicos 91/138

 Prueba Formal de Validez

Argumento Prueba formal de validez

P1 1 P1
.. ..
. .
Pn n Pn /∴ C
∴ C n+1 S1
..
.
n+m Sm
P1 , . . . , Pn y C son proposiciones,

Lógica - CB0260. Lógica de Predicados Monádicos 92/138

 Prueba Formal de Validez

Argumento Prueba formal de validez

P1 1 P1
.. ..
. .
Pn n Pn /∴ C
∴ C n+1 S1
..
.
n+m Sm
P1 , . . . , Pn y C son proposiciones,
cada Si6=m puede ser una proposición o una función proposicional,

Lógica - CB0260. Lógica de Predicados Monádicos 93/138

 Prueba Formal de Validez

Argumento Prueba formal de validez

P1 1 P1
.. ..
. .
Pn n Pn /∴ C
∴ C n+1 S1
..
.
n+m Sm
P1 , . . . , Pn y C son proposiciones,
cada Si6=m puede ser una proposición o una función proposicional,
cada Si es un supuesto de alcance limitado o se sigue de las
proposiciones o funciones proposicionales anteriores por una regla de
inferencia o por una equivalencia lógica y

Lógica - CB0260. Lógica de Predicados Monádicos 94/138

 Prueba Formal de Validez

Argumento Prueba formal de validez

P1 1 P1
.. ..
. .
Pn n Pn /∴ C
∴ C n+1 S1
..
.
n+m Sm
P1 , . . . , Pn y C son proposiciones,
cada Si6=m puede ser una proposición o una función proposicional,
cada Si es un supuesto de alcance limitado o se sigue de las
proposiciones o funciones proposicionales anteriores por una regla de
inferencia o por una equivalencia lógica y
la última proposición Sm es la conclusión C.
Lógica - CB0260. Lógica de Predicados Monádicos 95/138
 Convenciones

Constantes individuales: a, . . . , t

Lógica - CB0260. Lógica de Predicados Monádicos 96/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas

Lógica - CB0260. Lógica de Predicados Monádicos 97/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z

Lógica - CB0260. Lógica de Predicados Monádicos 98/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable

Lógica - CB0260. Lógica de Predicados Monádicos 99/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable
ν (nu): Denota cualquier variable o constante

Lógica - CB0260. Lógica de Predicados Monádicos 100/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable
ν (nu): Denota cualquier variable o constante
Φµ: Denota cualquier función proposicional o proposición

Lógica - CB0260. Lógica de Predicados Monádicos 101/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable
ν (nu): Denota cualquier variable o constante
Φµ: Denota cualquier función proposicional o proposición
Φν: Denota el resultado de reemplazar toda ocurrencia libre de µ
en Φµ por ν, a condición de que si ν es una variable debe ocurrir libre
en Φν en todos los sitios en que µ ocurra libre en Φµ.

Lógica - CB0260. Lógica de Predicados Monádicos 102/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable
ν (nu): Denota cualquier variable o constante
Φµ: Denota cualquier función proposicional o proposición
Φν: Denota el resultado de reemplazar toda ocurrencia libre de µ
en Φµ por ν, a condición de que si ν es una variable debe ocurrir libre
en Φν en todos los sitios en que µ ocurra libre en Φµ. (Si Φµ no
contiene ocurrencia libre de µ, entonces Φµ y Φν son idénticas.

Lógica - CB0260. Lógica de Predicados Monádicos 103/138

 Convenciones

Constantes individuales: a, . . . , t
Atributos (predicados): Letras mayúsculas
Variables individuales: u, v, w, x, y y z
µ (mu): Denota cualquier variable
ν (nu): Denota cualquier variable o constante
Φµ: Denota cualquier función proposicional o proposición
Φν: Denota el resultado de reemplazar toda ocurrencia libre de µ
en Φµ por ν, a condición de que si ν es una variable debe ocurrir libre
en Φν en todos los sitios en que µ ocurra libre en Φµ. (Si Φµ no
contiene ocurrencia libre de µ, entonces Φµ y Φν son idénticas.
Además, ν y µ pueden, desde luego, ser la misma variable: si lo son,
también son idénticas Φν y Φµ.)

Lógica - CB0260. Lógica de Predicados Monádicos 104/138

 Convenciones

Ejemplos

µ ν Φµ Φν

Lógica - CB0260. Lógica de Predicados Monádicos 105/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X

Lógica - CB0260. Lógica de Predicados Monádicos 106/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X

Lógica - CB0260. Lógica de Predicados Monádicos 107/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X
x b Φx: Hx ∧ (∀x)(Hx ⊃ Qa) Φb: Hb ∧ (∀x)(Hx ⊃ Qa) X

Lógica - CB0260. Lógica de Predicados Monádicos 108/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X
x b Φx: Hx ∧ (∀x)(Hx ⊃ Qa) Φb: Hb ∧ (∀x)(Hx ⊃ Qa) X
x y Φx: (∀x)(Hx ⊃ Qa) Φy: (∀x)(Hy ⊃ Qa) ×

Lógica - CB0260. Lógica de Predicados Monádicos 109/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X
x b Φx: Hx ∧ (∀x)(Hx ⊃ Qa) Φb: Hb ∧ (∀x)(Hx ⊃ Qa) X
x y Φx: (∀x)(Hx ⊃ Qa) Φy: (∀x)(Hy ⊃ Qa) ×
y x Φy: (∀x)(Hx ⊃ Qy) Φx: (∀x)(Hx ⊃ Qx) ×

Lógica - CB0260. Lógica de Predicados Monádicos 110/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X
x b Φx: Hx ∧ (∀x)(Hx ⊃ Qa) Φb: Hb ∧ (∀x)(Hx ⊃ Qa) X
x y Φx: (∀x)(Hx ⊃ Qa) Φy: (∀x)(Hy ⊃ Qa) ×
y x Φy: (∀x)(Hx ⊃ Qy) Φx: (∀x)(Hx ⊃ Qx) ×
y z Φy: (∀x)(Hx ⊃ Qy) Φz: (∀x)(Hx ⊃ Qz) X

Lógica - CB0260. Lógica de Predicados Monádicos 111/138

 Convenciones

Ejemplos

µ ν Φµ Φν
x a Φx: F x Φa: F a X
x y Φx: F x Φy: F y X
x b Φx: Hx ∧ (∀x)(Hx ⊃ Qa) Φb: Hb ∧ (∀x)(Hx ⊃ Qa) X
x y Φx: (∀x)(Hx ⊃ Qa) Φy: (∀x)(Hy ⊃ Qa) ×
y x Φy: (∀x)(Hx ⊃ Qy) Φx: (∀x)(Hx ⊃ Qx) ×
y z Φy: (∀x)(Hx ⊃ Qy) Φz: (∀x)(Hx ⊃ Qz) X
y a Φy: (∀x)(Hx ⊃ Qy) Φa: (∀x)(Hx ⊃ Qa) X

Lógica - CB0260. Lógica de Predicados Monádicos 112/138

 Inferencias con Funciones Proposicionales

Inferencias con funciones proposicionales

Nuestras reglas de inferencia trabajan con funciones proposicionales.

Ejemplo
Aunque F x y Gx son funciones proposicionales, la siguiente inferencia es
correcta.
..
.
n F x ⊃ Gx
n+1 Fx
n+2 Gx MP n, n+1
..
.

Lógica - CB0260. Lógica de Predicados Monádicos 113/138

 Reglas de Inferencia

Observación: Copi (1998) presenta las reglas de inferencia gradualmente

(§ 4.2 y § 4.5). Nuestra presentación corresponde a las reglas presentadas
en § 4.5 y éstas serán las reglas evaluadas.

Lógica - CB0260. Lógica de Predicados Monádicos 114/138

 Regla de Inferencia: Instanciación Universal

Instanciación Universal
(∀µ)Φµ
(IU)
∴ Φν

Lógica - CB0260. Lógica de Predicados Monádicos 115/138

 Regla de Inferencia: Instanciación Universal

Instanciación Universal
(∀µ)Φµ
(IU)
∴ Φν

Ejemplo (Copi (1998), pág. 96)

Todos los hombres son mortales. Socrátes es humano. Luego, Socrátes es
mortal.
1 (∀x)(Hx ⊃ M x)
2 Hs / ∴ M s
3 Hs ⊃ M s IU 1
4 Ms MP 3, 2

Lógica - CB0260. Lógica de Predicados Monádicos 116/138

 Regla de Inferencia: Instanciación Universal

Ejemplo (Copi (1998), pág. 126, ej. 4)

..
.
n (∀x)(∃y)(F x ⊃ Gy)
n+1 (∃y)(F y ⊃ Gy) IU n (Error!)
Error: Porque y no ocurre libre en Φy: (∃y)(F y ⊃ Gy) en todos los lugares
donde x ocurre libre en Φx: (∃y)(F x ⊃ Gy).

Lógica - CB0260. Lógica de Predicados Monádicos 117/138

 Regla de Inferencia: Generalización Existencial

Generalización Existencial
Φν (GE)
∴ (∃µ)Φµ

Observación: Los símbolos µ y ν están intercambiados en relación a IU.

Lógica - CB0260. Lógica de Predicados Monádicos 118/138

 Regla de Inferencia: Generalización Existencial

Generalización Existencial
Φν (GE)
∴ (∃µ)Φµ

Observación: Los símbolos µ y ν están intercambiados en relación a IU.

Ejemplo
..
.
n Fa ⊃ Fb
n+1 (∃x)(F x ⊃ F b) GE n

Lógica - CB0260. Lógica de Predicados Monádicos 119/138

 Regla de Inferencia: Generalización Existencial

Ejemplo (Copi (1998), pág. 120)

..
.
n Fx ⊃ Fy
n+1 (∃x)(F x ⊃ F x) GE n (Error!)
Error: Porque cada ocurrencia libre de x en Φx: F x ⊃ F x no fue
reemplazada por y en Φy: F x ⊃ F y.

Lógica - CB0260. Lógica de Predicados Monádicos 120/138

 Regla de Inferencia: Instanciación Existencial

Instanciación Existencial (IE)

(∃µ)Φµ con la condición que ν sea una variable sin

ocurrencias libres ni en p ni en cualquier renglón
Φν anterior a Φν.
..
.
p
∴ p

Lógica - CB0260. Lógica de Predicados Monádicos 121/138

 Regla de Inferencia: Instanciación Existencial

Ejemplo (Copi (1998), pág. 123)

1 (∀x)(F x ⊃ Gx)
2 (∃y)F y / ∴ (∃z)Gz
3 Fu
4 F u ⊃ Gu IU 1
5 Gu MP 4, 3
6 (∃z)Gz GE 5
7 (∃z)Gz IE 2, 3–6

Lógica - CB0260. Lógica de Predicados Monádicos 122/138

 Regla de Inferencia: Instanciación Existencial

Ejemplo (Copi (1998), pág. 124)

1 (∀x)(∃y)(F x ≡ ∼F y) / ∴ (∃x)(F x ≡ ∼F x)
2 (∃y)(F x ≡ ∼F y) IU 1
3 F x ≡ ∼F x (Error!)
4 (∃x)(F x ≡ ∼F x) GE 3
5 (∃x)(F x ≡ ∼F x) IE 2, 3–4
Error: Porque x aparece como una variable libre antes de Φx: F x ≡ ∼F x.

Lógica - CB0260. Lógica de Predicados Monádicos 123/138

 Regla de Inferencia: Generalización Universal

Generalización Universal
con la condición que ν sea una variable que
Φν (GU) no ocurre libre en (∀µ)Φµ o en cualquier
∴ (∀µ)Φµ supuesto dentro de cuyo alcance esté Φν.1
Observación: Los símbolos µ y ν están intercambiados en relación a IU.

1
Ver correcciones a Copi (1998) en la página web del curso.
Lógica - CB0260. Lógica de Predicados Monádicos 124/138
 Regla de Inferencia: Generalización Universal

Ejemplo (Copi (1998), pág. 125)

1 (∀x)(F x ≡ F x) / ∴ (∀x)(∀y)(F x ≡ F y)
2 Fx ≡ Fx IU 1
3 (∀y)(F x ≡ F y) GU 2 (Error!)
4 (∀x)(∀y)(F x ≡ F y) GU 3
Error: Porque x ocurre libre en (∀µ)Φµ: (∀y)(F x ≡ F y).

Lógica - CB0260. Lógica de Predicados Monádicos 125/138

 Regla de Inferencia: Generalización Universal

Ejemplo

1 (∃x)F x / ∴ (∀x)F x
2 Fx
3 Fx IE 1, 2 (Error!)
4 (∀x)F x GU 3
Error: Porque x es una variable libre en p: F x.

Lógica - CB0260. Lógica de Predicados Monádicos 126/138

 Verdades Lógicas que Involucran Cuantificadores

Ejemplo (Copi (1998), pág. 134)

Demostrar que ((∀x)F x ∨ (∀x)Gx)) ⊃ (∀x)(F x ∨ Gx).
1 (∀x)F x ∨ (∀x)Gx / ∴ (∀x)(F x ∨ Gx)
2 (∀x)F x Supuesto
3 Fy IU 2
4 F y ∨ Gy Ad. 3
5 (∀x)(F x ∨ Gx) GU 4
6 (∀x)F x ⊃ (∀x)(F x ∨ Gx) RDC 2–5
7 (∀x)Gx Supuesto
8 Gy IU 7
9 F y ∨ Gy Ad. 8
10 (∀x)(F x ∨ Gx) GU 9
11 (∀x)Gx ⊃ (∀x)(F x ∨ Gx) RDC 7–10

Lógica - CB0260. Lógica de Predicados Monádicos 127/138

 Verdades Lógicas que Involucran Cuantificadores

12 ((∀x)F x ⊃ (∀x)(F x ∨ Gx))

∧ ((∀x)Gx ⊃ (∀x)(F x ∨ Gx)) Conj. 6, 11
13 ((∀x)(F x ∨ Gx)) ∨ ((∀x)(F x ∨ Gx)) DC 12, 1
14 (∀x)(F x ∨ Gx) Taut. 13

Lógica - CB0260. Lógica de Predicados Monádicos 128/138

 Regla de Inferencia: Negación de Cuantificadores

Negación de cuantificadores

(∀µ)Φµ ≡ ∼(∃µ)∼Φµ (NC1)

∼(∀µ)Φµ ≡ (∃µ)∼Φµ (NC2)
(∀µ)∼Φµ ≡ ∼(∃µ)Φµ (NC3)
∼(∀µ)∼Φµ ≡ (∃µ)Φµ (NC4)

Lógica - CB0260. Lógica de Predicados Monádicos 129/138

 Reglas de Inferencia

Sugerencia
Realizar primero los ejercicios de explicar porqué una supuesta
“demostración” es errónea.

Lógica - CB0260. Lógica de Predicados Monádicos 130/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5

Lógica - CB0260. Lógica de Predicados Monádicos 131/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5
Algunas respuestas erróneas:
En el paso 2 hay un error porque x quedo libre.

Lógica - CB0260. Lógica de Predicados Monádicos 132/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5
Algunas respuestas erróneas:
En el paso 2 la IU se aplica sobre ∀ más no sobre ∃.

Lógica - CB0260. Lógica de Predicados Monádicos 133/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5
Algunas respuestas erróneas:
En el paso 3 no se puede seleccionar F x ≡ Gy porque x no puede
tener ocurrencias libres en cualquier renglón anterior, lo cual sucede en
el renglón 2.

Lógica - CB0260. Lógica de Predicados Monádicos 134/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5
Algunas respuestas erróneas:
En el paso 4 no se puede emplear GU porque y quedo libre.

Lógica - CB0260. Lógica de Predicados Monádicos 135/138

 Reglas de Inferencia

Ejemplo (Copi (1998), pág. 126, ej. 3)

Identificar y explicar todos los errores de la siguiente “demostración”
errónea:
1 (∀x)(∃y)(F x ≡ Gy) / ∴ (∃y)(∀x)(F x ≡ Gy)
2 (∃y)(F x ≡ Gy) IU 1
3 F x ≡ Gy
4 (∀x)(F x ≡ Gy) GU 3
5 (∃y)(∀x)(F x ≡ Gy) GE 4
6 (∃y)(∀x)(F x ≡ Gy) IE 2, 3–5
Respuesta correcta: El uso de GU en el paso 4 es incorrecto, porque x
ocurre libre en el supuesto F x ≡ Gy dentro cuyo alcance se encuentra
Φx: F x ≡ Gy.

Lógica - CB0260. Lógica de Predicados Monádicos 136/138

 Reglas de Inferencia para los Cuantificadores: Resumen

IU∗ GE∗ IE∗,a GU∗,b

(∀µ)Φµ Φν (∃µ)Φµ Φν
∴ Φν ∴ (∃µ)Φµ ∴ (∀µ)Φµ
Φν
..
.
p
∴ p
∗ La expresión Φν denota un buen reemplazo de toda ocurrencia libre de µ
en Φµ por ν.
a La variable ν es una variable sin ocurrencias libres ni en p ni en cualquier

renglón anterior a Φν.

b La variable ν es una variable que no ocurre libre en (∀µ)Φµ o en

cualquier supuesto dentro de cuyo alcance esté Φν.

Lógica - CB0260. Lógica de Predicados Monádicos 137/138
 Referencias

Copi, Irving M. (1998). Lógica Simbólica. Compañía Editorial Continental.

Lógica - CB0260. Lógica de Predicados Monádicos 138/138