Estructuras Discretas INF319 - SA

UNIVERSIDAD AUTÓNOMA GABRIEL RENE MORENO

FACULTAD DE INGENIERÍA EN CIENCIAS DE LA COMPUTACIÓN Y
TELECOMUNICACIONES

ESTRUCTURAS DISCRETAS
Ing. Katime Gutierrez Bruno

Santa Cruz de la Sierra, enero de 2021

Capítulo 1
1
Estructuras Discretas INF319 - SA

Leyes de la Lógica Cuantificacional

a) Leyes de intercambio de cuantificadores (I C)
a.1 ~ (∀x, F[x]) ⇔ ⁆x: ~F[x]
a.2 ~ (⁆x, F[x]) ⇔ ∀x: ~F[x]
a.3 ∀x, F[x] ⇔ ~⁆x: ~F[x]
a.4 ⁆x, F[x] ⇔ ~∀x, ~F[x]
a.5 ∀x, ∀y, F[x, y] ⇔ ~(⁆x: ⁆y: ~F[x, y]
a.6 ⁆x: ⁆y: F[x, y] ⇔ ~(∀x, ∀y ~F[x,y]
a.7 ~ (∀x, ∀y, F[x, y]) ⇔⁆x: ⁆y: ~F[x, y]
a.8 ~ (⁆x: ⁆y: F[x, y]) ⇔∀x, ∀y, ~F[x, y]
Regla. El valor de verdad de la proposición no cambia si se niegan todos los
cuantificadores y esquemas proposicionales, y se sustituyen los cuantificadores
universales por cuantificadores existenciales, y a la inversa.

b) Distributividad de los Cuantificadores (Dt C)

b.1. ∀x, [F[x] ∧ G[x])  ⇔ (∀x, F[x] ∧ ∀x, G[x])
b.2. ⁆x: [F[x] ∧ G[x])  ⇔ (⁆x: F[x] ∧ ⁆x: G[x])
b.3. ∀x, [F[x] ∨ G[x])  ⇔ (∀x, F[x] ∨ ∀x, G[x])
b.4. ⁆x: [F[x]  ∨ G[x])  ⇔ (⁆x: F[x] ∨ ⁆x: G[x])

c) Conmutatividad de Cuantificadores (C C)
c.1. ∀x, ∀y [F[x, y] => ∀y, ∀x [F[x, y]
c.2. ⁆x: ⁆y: [F[x, y] => ⁆y: ⁆x: [F[x, y]
Si la cuantificación es heterogénea, las equivalencias respectivas no siempre se
cumplen.   En cambio es posible probarse las siguientes leyes:
c.3. ⁆x: ∀y: [F[x, y] => ∀y, ⁆x: [F[x, y]
c.4. ⁆y: ∀x: [F[x, y] => ∀x, ⁆y: [F[x, y]

Capítulo 1
2
Estructuras Discretas INF319 - SA

d) Leyes de oposición aristotélica (O A)

d.1. ∀x, (F[x]  G[x]) ⇔ ~⁆x: (F[x] ^ ~G[x])
d.2. ∀x, (F[x] ~G[x]) ⇔ ~⁆x: (F[x] ^ ~G[x])
d.3. ⁆x: (F[x] ^ G[x]) ⇔ ~∀x, (F[x]  ~G[x])
d.4. ⁆x: (F[x] ^ ~G[x]) ⇔ ~∀x, (F[x]  G[x])

e) Ley del silogismo categórico (S C)

[(∀x, (F[x] G[x])) ^ (∀x, (G[x]  H[x]))] => (∀x, (F[x]  H[x])

f) Leyes fundamentales de la Lógica Cuantificacional

f.1 Especificación universal (E U): ∀x, F[x]  F[y]
∀x, F[x]
F[y] (o F[a])
f.2 Generalización universal (G U): F[y]  ∀x, F[y]
F[y] (o F[a])
∀x, F[x]
f.3 Especificación existencial (E E): ⁆x: (F[x] ^ G[x])
.⁆x: F[x]
F[y] (o F[a])
f.2 Generalización existencial (G E): F[y]  ⁆y:, F[y]
F[y] (o F[a])
⁆x: F[x]

Capítulo 1
3