PROPIEDADES CATEGORICAS

TIPICAS

Direccin de Calidad Educativa

PROPSITO: Demostrar la validez o no

validez de los razonamientos a travs de
la
lgica
cuantificacional.

INTERCAMBIO DE CUANTIFICADORES:
i)
ii)
iii)
iv)
a)
b)
c)
d)

(x)
( x)
(x)
( x)

Fx ~ ( x) ~Fx
Fx ~ ( x) ~Fx
~Fx ~ ( x) Fx
~Fx ~ ( x) Fx

Todos son inteligentes No es verdad que algunos no son inteligentes.

Algunos son inteligentes No es verdad que ninguno es inteligente.
Ninguno es inteligente No es cierto que algunos son inteligentes.
Algunos no son inteligentes Es falso que todos sean inteligentes.

Reglas en Lgica
Cuantificacional

Reglas de Intercambio de cuantificadores (RIC)

i) (x) x ~ ( x) ~ x
ii) ( x) x ~ ( x) ~ x
iii)(x) ~ x ~ ( x) x
iv)( x) ~ x ~ ( x) x

Mtodo de la derivacin en la lgica

cuantificacional
REGLAS DE INFERENCIA PARA LOS CUANTIFICADORES
1. Eliminacin del cuantificador universal (ECU)

(x) x

2. Eliminacin del cuantificador existencial (ECE)

( x) x
a

3. Introduccin del cuantificador existencial (ICU)

(x) x

4. Introduccin del cuantificador existencial (ICE)

a
( x) x