Está en la página 1de 5

CUANTIFICADORES

Ejemplos: Los siguientes enunciados, son proposiciones?


1. Los rboles X dan buenos frutos.
2. El nmero 3 divide a y .
3. Todas las expresiones de la forma 5x son mltiplos de 5.
a
4.
b
Los enunciados anteriores no son proposiciones porque desconocemos a qu conjunto pertenecen X,
x, y, a, b; adems desconocemos de la cantidad de valores que cumplen con dichos enunciados.
Observacin: A los enunciados anteriores se les conoce como enunciados abiertos.
Definicin
En lgica matemtica, teora de conjuntos y matemtica en general, los cuantificadores son
smbolos usados para indicar cuntos y qu tipo de elementos de un conjunto dado cumplen con
cierta propiedad. Existen varios tipos de cuantificadores, los ms utilizados son:
Cuantificador universal: x ; x , y ; x , y ; . . .
Cuantificador existencial: x ; x , y ; x , y ; . . .
Ejemplos:
1. x ; 2 x
2. x

; x23

Proposicin V
Proposicin F, la inecuacin no cumple para x = 1

3. x , y ; x y 1

Proposicin F, la ecuacin no cumple para x = 0

4. x ; x 2 0

Proposicin V, cumple para x = 0

INFERENCIA LGICA
Ejemplo:
Si aumenta el precio del petrleo, entonces subir el precio de los pasajes.
Qu podemos concluir, si no sube el precio de los pasajes?
Definicin
Una Inferencia Lgica es una estructura de proposiciones llamadas premisas, en base a las cuales
inferimos otra proposicin llamada conclusin.

Premisa 1
Premisa 2
Conclusin
Ejemplo:
Cada vez que me esfuerzo ms, obtengo mejores resultados. Cuando obtengo mejores resultados,
mis padres se alegran. Por lo tanto, cada vez que me esfuerzo ms, mis padres me sonren.
Simblicamente
Premisa 1

Cada vez que me esfuerzo ms, obtengo mejores resultados.

pq

Premisa 2

Cuando obtengo mejores resultados, mis padres se alegran.

qr

Conclusin Cada vez que me esfuerzo ms, mis padres me sonren.

pr

Reglas de inferencia
Son argumentos vlidos, tautolgicos, es decir, ya no se necesita la demostracin de su validez.
A continuacin presentamos las ms importantes.
MODUS PONENS (MP)

P : x y
Premisas 1
Estructura:
P2 : x
Conclusin

Ejemplo:

Enunciado

Si los rboles dan buenos frutos, entonces progresar econmicamente.


Sucede que los rboles dan buenos frutos. Luego, progresar
econmicamente.

Proposiciones simples

p: los rboles dan buenos frutos


q: progresar econmicamente

Premisas

P1: Si los rboles dan buenos frutos, entonces


progresar econmicamente.
P2: Sucede que los rboles dan buenos frutos.

Conclusin

Progresar econmicamente

P1 : p q
P2 : p
q

Ejercicio:
Si la contaminacin no disminuye, entonces los rboles no darn buenos
frutos. Sucede que la contaminacin no disminuye. Luego, los rboles no
darn buenos frutos.

Enunciado

Proposiciones simples
Premisas
Conclusin

SILOGISMO DISYUNTIVO (SD)

P1 : x y
Premisas
Estructura:
P2 : x
Conclusin

o tambin

P1 : x y
Premisas
P2 : y
Conclusin

Ejemplo:
Enunciado

Siembro hortalizas o siembro legumbres. No siembro hortalizas. Por lo


tanto, siembro legumbres.

Proposiciones simples

p: Siembro hortalizas
q: siembro legumbres

Premisas

P1: Siembro hortalizas o siembro legumbres.


P2: No siembro hortalizas.

Conclusin

Siembro legumbres.

P1 : p q
P2 :

p
q

Ejercicio:

Enunciado

Proposiciones simples
Premisas
Conclusin

Suben el sueldo mnimo vital o las personas trabajan horas extras para
suplir sus necesidades. Las personas no trabajan horas extras para suplir
sus necesidades. Es as que, suben el sueldo mnimo vital.

MODUS TOLLENS (MT)

P : x y
Premisas 1
Estructura:
P2 : y
Conclusin

Ejemplo:
Si se desforestan los bosques amaznicos, los animales de la zona se
quedan sin hogar. Los animales de la zona no se quedan sin hogar. Luego,
no se desforestan los bosques amaznicos.

Enunciado

Proposiciones simples

Premisas

p: se desforestan los bosques amaznicos


q: los animales de la zona se quedan sin hogar
P1: Si se desforestan los bosques amaznicos, los
animales de la zona se quedan sin hogar.

P1 : p q

P2: Los animales de la zona no se quedan sin hogar.

P2 :

q
p

Conclusin

No se desforestan los bosques amaznicos.

Ejercicio:
Las anchovetas pueblan las costas peruanas porque hay abundancia de
plancton. Las anchovetas no pueblan las costas peruanas. Por lo tanto, no
hay abundancia de plancton.

Enunciado

Proposiciones simples

Premisas
Conclusin

SILOGISMO HIPOTTICO PURO (SHP)

P : x y
Premisas 1
Estructura:
P2 : y z
Conclusin

xz

Ejemplo:

Enunciado

Los leoncillos estn bien alimentados, debido a que las leonas tienen
leche. Los leoncillos estn bien alimentados, entonces los leoncillos
llegarn a la edad adulta. Por lo tanto, si las leonas tienen leche, los
leoncillos llegarn a la edad adulta.

Proposiciones simples

p: los leoncillos estn bien alimentados


q: las leonas tienen leche
r: los leoncillos llegarn a la edad adulta

Premisas

P1: Los leoncillos estn bien alimentados, debido a


que las leonas tienen leche.
P2: Los leoncillos estn bien alimentados, entonces
llegarn a la edad adulta.

Conclusin

Si las leonas tienen leche, los leoncillos llegarn a la


edad adulta.

P1 : q p
P2 : p r
qr

Ejercicio:

Enunciado

Sube el precio del pan porque sube el precio de la harina. Si sube el


precio del pan, tendr que hacer dieta. De modo que, tendr que hacer
dieta, puesto que sube el precio de la harina.

Proposiciones simples
Premisas
Conclusin

Ejercicios: Da la conclusin de cada una de las siguientes premisas e indica la regla de inferencia
que ests empleando.

1)

p (q t )
p

2)

p (q t )
p

3)

5)

(t p) (q t )
(t p)

6)

p (q t )
(q t )

7)

p
qt
p
(q

(q t )

t) p

4)

p (q t )
(q t ) r

8)

p h
t p