MATEMTICA I AO

LGICA PROPOSICIONAL
REGLAS DE INFERNCIA Y CUANTIFICADORES

Nadie aprende si no se ha equivocado al intentarlo...

REGLAS DE INFERENCIA
Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos.
Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de
verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas
de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin.
Ejemplo 1
Es vlido el siguiente argumento?
Si usted invierte en el mercado de valores, entonces se har rico.
Si se hace usted rico, entonces ser feliz.
__________________________________________________
Si usted invierte en el mercado de valores, entonces ser feliz.

Sea:

p: Usted invierte en el mercado de valores.

q: Se har rico.
r: Ser feliz

De tal manera que el enunciado anterior se puede representar con notacin lgica de la
siguiente manera:
p q
q r
______
p r

Ejemplo 2.
Es vlido el siguiente argumento?
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
Los impuestos bajan
Solucin: Sea p: Los impuestos bajan; q: El ingreso se eleva.
p q
q
_____
p
El aplicar la regla de inferencia es lo que le cuesta ms al alumno y se deber poner mucha
atencin para que el alumno aprenda a aplicar dicha regla.

En una demostracin no solamente hay tautologas e hiptesis, tambin existen reglas de

inferencia que permiten obtener nuevas lneas vlidas, esta es la parte en donde la mayora de
alumnos tienen problemas y en donde no sabe que regla aplicar para resolver un determinado
problema. Ejemplos:

CUANTIFICADORES
A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso
llamado de cuantificacin. Asociados a la indeterminada x, introducimos los smbolos x y x, llamados
CUANTIFICADOR UNIVERSAL Y CUANTIFICADOR EXISTENCIAL respectivamente. Las expresiones

Cualquier operador lgico de la forma para todo, para cada, todo o cada,
es un CUANTIFICADOR UNIVERSAL y se representa de la siguiente manera:
Para todo x, se verifica p(x) se denota por x: p(x)

Los operadores de la forma existe, algn, por lo menos un, son CUANTIFICADORES
EXISTENCIALES y se representan como: Existe x, tal que se verifica p(x) se denota por

x / p(x).
Ejemplos: represente, aplicando el cuantificador apropiado, las siguientes expresiones en forma
simblica:
a) Hay animales carnvoros :
b) Todos somos inteligentes:
c) Hay nmeros impares :
d) Existe al menos un volcn:
e) Cada nmero natural es entero:
f) Hay palomas blancas:
g) Algunas personas son artistas:
h) Todos amamos la naturaleza:
Una funcin proposicional cuantificada universalmente es V si y slo si son V todas las proposiciones
particulares asociadas a aquella. Para asegurar la verdad de una proposicin cuantificada
universalmente es suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin
proposicional.

Un problema de inters es la negacin de funciones proposicionales cuantificadas. Por ejemplo, La

negacin de "Todos los enteros son impares" es "Existen enteros que no son impares" y en smbolos:

x / ~ p(x)
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador
en existencial, y se niega la funcin proposicional.

Ejemplo: Supongamos la proposicin: Todos los alumnos de mi colegio son aplicados

La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario.
Nos damos cuenta pronto que se trata de la implicacin de dos funciones proposicionales:
p(x): es alumno de mi colegio
q(x): es aplicado
Tenemos:

x: p(x) q(x)

Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente y una
implicacin resulta:

x / p(x) ~ q(x)

Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi colegio que no son aplicados.
La siguiente tabla nos muestra la negacin de proposiciones que contienen alguno de los cuantificadores
anteriores:

PROPOSICIN

NEGACIN

Algunos
Todos
Algunos no
Ningn

Ningn
Algunos no
Todos
Algunos

Ejemplos: Considere los enunciados:

a)
b)
c)
d)

Todos los ngulos son congruentes (F)

Algunos ngulos son rectos (V)
Existen ngulos no obtusos (V)
Ningn ngulo mide 30 (F)

La representacin simblica de cada enunciado y su negacin estn dadas por:

C : ngulos congruentes

A)
Negacin:

Traduccin: algunos ngulos no son congruentes (V)

R : ngulos rectos

B)

Negacin:
Traduccin: Ningn ngulos es recto (F)
O : ngulos obtusos

C)
Negacin:

Traduccin: todo ngulo es obtuso (F)

M: ngulo mide 30

D)
Negacin:

Traduccin: algn ngulo mide 30 (V)

EJERCICIO:
I.

Expresar simblicamente mediante cuantificadores y funciones proposicionales, negar y

traducir cada uno de los siguientes enunciados:

1) Hay mujeres hermosas

2) Existen conjuntos unitarios
3) Muchas personas viven en la

6) Algunos estudiantes tienen

dificultad en el aprendizaje
7) Todos los pases latinoamericanos

pobreza absoluta
4) Existen pases en va de

tienen deuda externa

8) No todos son nmeros primos.
9) Algunos nmeros no son primos.
10) Es falso que existan nmeros

desarrollo.
5) Ningn nmero natural es
negativo

II.

primos.

Escribir la negacin de cada una de las proposiciones siguientes

v. Escriba la negacin de cada una de las siguientes proposiciones

RESOLVER LOS SIGUIENTES EJERCICIOS.