Equivalencias con Cuantificadores

Los cuantificadores introducen nuevas

equivalencias de sentencias de la lógica de
predicados:
I.2
∃X [r(X) ∨ q(X)] = ∃X r(X) ∨ ∃X q(X)
∀X [r(X) ∧ q(X)] = ∀X r(X) ∧ ∀X q(X)
Equivalencias en Lógica
de Predicados

2
1

Equivalencias con Cuantificadores Equivalencias con Cuantificadores

Pero otras no son equivalencias: Al combinarlos con una negación:

∃X [r(X) ∧ q(X)] → ∃X r(X) ∧ ∃X q(X) ¬[∀X r(X)] = ∃X ¬r(X)

∀X r(X) ∨ ∀X q(X) →∀X [r(X) ∨ q(X)] ¬[∃X r(X)] = ∀X ¬r(X)
¬[∀X ¬r(X)] = ∃X r(X)
¬[∃X ¬r(X)] = ∀X r(X)

3 4

Consecuencia Lógica
Los cuantificadores introducen nuevas reglas al
aplicar inferencias lógicas:

I.2 Regla de Especificación Universal

Si ∀X f(X) es verdadero, entonces la proposición
f(a) también es verdadera, donde a es una
Consecuencias Lógicas
constante.
en Lógica de Predicados

6
5
 Consecuencia Lógica Consecuencia Lógica
Como ejemplo, sean: En Lógica de Predicados:
m(X): X es un profesor de matemáticas ∀x[m(x)→c(x)]
c(X): X ha estudiado cálculo. m(juan)
∴c(juan)
Todos los profesores de matemáticas han
estudiado cálculo.
Juan es profesor de matemáticas.
Por lo tanto, Juan a estudiado cálculo.

7 8

Consecuencia Lógica Consecuencia Lógica

1) ∀x[m(x)→c(x)] premisa Regla de Generalización Universal
2) m(juan) premisa Si f(a) es verdadero para cualquier a, entonces
3) m(juan)→c(juan) especificación ∀Xf(X) es verdadero.
universal
4) c(juan) modus ponens

9 10

Consecuencia Lógica Consecuencia Lógica

Ejemplo 1) ∀x[p(x)→q(x)] premisa
∀x[p(x)→q(x)] 2) p(c)→q(c) Esp. Universal
∀x[q(x)→r(x)] 3) ∀x[q(x)→r(x)] premisa
∴∀x[p(x)→r(x)]
4) q(c)→r(c) Esp. Universal
5) p(c)→r(c) Silogismo
3) ∀x[p(x)→r(x)] Gen. Universal

11 12