Fundamentos de Lgica

Qu es una proposicin?
Cules son los conectivos lgicos?
Cmo utilizar las tablas de verdad?
Qu es una tautologa?
Qu es una contradiccin?
Proposiciones
Una proposicin es una declaracin sobre la que se
puede decidir su veracidad o falsedad. Es decir, es
un enunciado verdadero o es un enunciado falso,
pero no puede ocurrir ambas cosas.

Por ejemplo

SON PROPOSICIONES
El 2 es un nmero primo.
25 es divisible entre 3 .
6 + 5 = 10 .
El aula A1-205 est en el
2do piso.
NO SON PROPOSICIONES
Pare inmediatamente!
15 y 18 tienen la misma
cantidad de divisores?.
En realidad, a qu se refiere?.
Lvalo.

Cules de los siguientes enunciados son
proposiciones?
(Explica por qu lo son o no lo son)

1) El trabajo en grupo es lo ms fcil que existe.
2) 2 es divisor de 15.
3) Fuiste a la manifestacin del sbado?.
4) El aula A1-205 de la Unimet tiene ms de 50 mts.
cuadrados.
5) x + 3 es un entero positivo.
6) Tranquilcese.
Respuestas: Slo son proposiciones los
enunciados dados en 2 y 4
Proposiciones
Notacin
Para denotar o representar las proposiciones se usan letras
minsculas: p, q, r, s, ...

p: El aula A1-204 est en el 2do piso

q: El aula A1-204 es iluminada

r: El 5 es un entero par

s: La Tierra es el nico planeta con vida en el universo

t: El aula A1-204 no est iluminada

u: Un decenio tiene 10 aos

Negacin
El enunciado No se cumple p es una proposicin llamada
la negacin de p y se denota por p.

Ejemplo
p: Nuestro saln est en el 2do piso.
p : Nuestro saln no est en el 2do piso.
p : No es cierto que nuestro saln est en el 2do piso.

Si p es verdadera entonces p es falsa. En cambio, si p es
falsa, p es verdadera.
La tabla de verdad de la negacin es:
p p
V F
F V
Las proposiciones se combinan mediante conectivos,
por ejemplo, y, o, pero, si ... entonces

Por ejemplo
p: El aula A1-204 est en el 2do piso;
q: El aula A1-204 es iluminada.
pueden combinarse como:

El aula A1-204 est iluminada y est en el 2do piso

Si el aula A1-204 est iluminada entonces se encuentra en
el 2do piso
Notacin
La proposicin resultante de conectar dos ms
proposiciones se denomina proposicin compuesta.

Ejemplo
r : El aula A1-205 est en el 2do piso pero es iluminada
r es la proposicin compuesta p y q


s: Si el aula A1-204 est iluminada entonces se encuentra
en el 2do piso
s es la proposicin compuesta Si q entonces p


Conectivos
La conjuncin de p y q es la proposicin p y q
que se denota por p . q.
La conjuncin es verdadera, nicamente cuando ambas
proposiciones que la componen son verdaderas.

Ejemplo
Sea p: 2 divide a 68
q: 2 divide a 25.
p . q : 2 es divisor de 68 y de 25.

Valor de verdad: p . q es falsa
Conectivos
La disyuncin de p y q, es la proposicin p o q, que se
denota por p v q. El o se usa en el sentido
inclusivo; como en
La solucin de (x2).(y+2) = 0 es x = 2 o y = -2.

La disyuncin es falsa, nicamente, cuando ambas
proposiciones son falsas.
Ejemplo:
Sean p: 3 divide a 6 q: 3 divide a 7
p v q : 3 divide a 6 a 7

Valor de verdad: p v q es verdadera.

Conectivos
Las tablas de verdad de los dos conectivos
anteriores son:
p v q
V
V
V
F
Tablas de verdad
p q p . q
V V V
V F F
F V F
F F F
p y q
p o q
La implicacin es la proposicin Si p entonces q ,
que se denota por p q

A p se le llama hiptesis (o antecedente) y
a q se le llama tesis (o consecuente).

La proposicin p q, se puede leer tambin como
Si p, q
p slo si q
p es suficiente para q
q es necesaria para p
p implica q
q se deduce de p

Conectivos
Ejemplo:
p: Los polvos de jardn contienen veneno
q: Los polvos de jardn son de colores brillantes.

La proposicin p q puede estar expresada como:

Si los polvos de jardn contienen veneno entonces son de colores
brillantes;

Los polvos de jardn contienen veneno slo si son de colores brillantes;

Son necesarios los colores brillantes para los polvos de jardn que
contienen veneno;

Los polvos de jardn son de colores brillantes si contienen veneno.
Conectivos
Si p entonces q es verdadera, cada vez que la condicin p
es verdadera obliga a que la condicin q tambin sea verdadera.
Es decir, con el cumplimiento de p, se promete el cumplimiento
de q.



La tabla de verdad para la implicacin es
p q p q
V V V
V F F
F V V
F F V
Conectivos
La implicacin es falsa, nicamente, cuando el antecedente es
verdadero y el consecuente es falso. En este caso, a pesar de
estar dadas las condiciones, no se cumple la promesa.
Ejemplo:
p: La respuesta automtica se puede enviar
q: El sistema de archivos est lleno.

p q :
Si la respuesta automtica no se puede enviar, el archivo est lleno.

q p :
La respuesta automtica no se puede enviar cuando el archivo est
lleno.

q p :
La respuesta automtica no se puede enviar si el archivo est lleno.

p q :
Si la respuesta automtica se puede enviar, el archivo no est lleno.
Conectivos
Ejercicio
Si x = 1, cul es el valor de la variable x despus de
ejecutarse cada una de las siguientes instrucciones?
a) If 2 + 2 = 4 then x:=x + 1
b) If (1+1=3) or (2+2=3) then x:=x + 1
c) If (2+3=5) and (4+3=7) then x:=x + 1
d) If x < 3 then x:=x + 1

Conectivos
Respuesta:
a) x = 2 c) x = 2
b) x = 1 d) x = 2

x = ??
La proposicin p si y slo si q se denomina bicondicional y se
denota por p q
Es verdadera cuando p y q tienen los mismos valores de
verdad, es decir, es verdadera si ambas componentes son
verdaderas o ambas son falsas.
Una manera de abreviar si y slo si es sii.
p si y slo si q se puede expresar como
p es condicin necesaria y suficiente para q.


Ejemplo
p : 24 es un nmero par.
q : 24 es divisible por 2.
p q : 24 es un nmero par si y slo si 24 es divisible entre 2.

Conectivos
La tabla de verdad para el bi-condicional es
p q p q
V V V
V F F
F V F
F F V
Conectivos
Una tautologa es una proposicin compuesta que
es verdadera para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p v p
Soy un hombre o no soy un hombre

Una contradiccin es una proposicin compuesta que
es falsa para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p . p
Soy un hombre pero no soy un hombre
Tautologa y contradiccin
1) Halla los valores de verdad de las proposiciones si sabes que
p q es falsa.
a) p . q b) q p c) p v p d) p v q
Piensa un rato y justifica tus respuestas
3) Construye una tabla de verdad para cada una de las proposiciones
a) ( p v q ) q
b) ( p . q ) ( p v q )
c) q (p v q)

2) Halla los valores de verdad de p, q, r, s, t para que
( p . q ) . r ( s v t ) sea falsa
Cules de estas proposiciones
es una tautologa?
Puedes construir una
contradiccin a partir de alguna de
ellas? Cul?
Ejercicios
La formalizacin es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje formal o
simblico.

4) Expresa las siguientes proposiciones usando p, q y los conectivos.
Sean p: La temperatura est sobre los 17C
q: Llueve

a) La temperatura est sobre los 17C pero llueve.
b) Ni la temperatura supera los 17C ni llueve.
c) No es cierto que llueva con la temperatura superior a los 17C.
d) Llueve cuando la temperatura est sobre los 17C.
e) Que la temperatura est sobre los 17C es suficiente para que no
llueva.
f) O bien llueve o bien la temperatura es superior a 17C.
Formalizacin
5) Sean p: El mensaje es revisado para buscar algn virus
q: El mensaje fue enviado desde un sistema desconocido

Expresa las siguientes proposiciones usando p, q y los
conectivos.

a) El mensaje se revisa para buscar algn virus siempre que se haya
enviado desde un sistema desconocido.

b) El mensaje fue enviado desde un sistema desconocido pero no
revis para buscar ningn virus.

c) Cuando el mensaje no es enviado desde un sistema desconocido
no se revisa para buscar ningn virus.

d) El mensaje fue enviado desde un sistema desconocido pero no se
reviso para buscar ningn virus.


Formalizacin
Lgica
Equivalencia Lgica
-Qu es?
-Cmo comprobarla?
Leyes Lgicas
-Cules son?
-Cmo usarlas?
Circuitos Lgicos
-Qu son?
-Cmo se aplican?
Introduccin
La Sra. Ana le escribe a su casero, el Sr. Pepe: A menos que
arregle la tubera, no pagar la renta.

Cmo expresar esta proposicin mediante proposiciones ms simples?
Consideremos que las proposiciones simples son:
p: La Sra. Ana paga la renta.
q: El Sr. Pepe arregla la tubera.

Respuesta 1: Usando v q v p
Respuesta 2: Usando q p
Y lgicamente
son la misma proposicin?
Equivalencia Lgica
Dos proposiciones u y v son lgicamente equivalentes cuando
u es VERDADERA si y slo si v es VERDADERA
u es FALSA si y slo si v es FALSA
Y lo denotamos por u v.

Ejemplo: Comprobemos que p v q es lgicamente
equivalente a q p.
p q p q v p
V V F V
V F F F
F V V V
F F V V
q q p
F V
V F
F V
V V
Conclusin: S son lgicamente equivalentes ! ! !
p v q q p.
q v p
V
F
V
V
q p
V
F
V
V
Puedes identificar otra proposicin cuya tabla de verdad coincida con
sta?

Equivalencia Lgica
p q p v q q p ?
V V V V V
V F F F F
F V V V V
F F V V V
p v q q p p q
Llamaremos Equivalencia 1 de la implicacin a:
p q p v q
p q
Vocabulario
Determinadas proposiciones estn relacionadas con una implicacin;
usamos trminos tales como la recproca, la inversa y la contra
recproca o contrapositiva.
Para p q, q p es la recproca
p q es la inversa
q p es la contrapositiva
o contrarecproca
Adems, p q es equivalente a q p
Ejemplo en lenguaje comn:
Si hubo un robo, algo desapareci
es equivalente a
Si nada ha desaparecido entonces no hubo robo
Ejercicio
Sean p, q y r proposiciones. Asocia las proposiciones u y v que
sean lgicamente equivalentes
u v

( p . q ) p . q
( p v q ) p v q
p v ( p . q ) q
p
p
Leyes Lgicas
En muchos casos, necesitamos usar una proposicin
equivalente a la que tenemos entre manos... Y no siempre es
fcil realizar tablas de verdad si se tienen muchas proposiciones.
Por eso, necesitamos conocer algunas equivalencias notables
entre proposiciones, que llamaremos Leyes Lgicas
Ley
Nombre de la Ley
p v p T
p . p F
de Dicotoma
de Contradiccin
p . F F
p v T T
de Dominacin
p p
de Doble Negacin
p . T p
p v F p
de Elemento Neutro
Leyes Lgicas
Recuerda cmo demostrar una ley
Ley Nombre de la Ley
(p . q) p v q
(p v q) p . q
de De Morgan
p . (p v q) p
p v (p . q) p
de Absorcin
p . q q . p
Conmutativa
(p . q).r p.(q . r)
Asociativa
p .(q v r) (p.q) v (p.r)
Distributiva
Uso de las Leyes
Ejemplo: Demuestra que
(p . q . r) v (p . q . r) p . r
- Ley usada -
(p . q . r ) v (p . q . r)
(p . r . q ) v (p . r . q) Conmutativa
[(p . r) . q ] v [(p . r) . q] Asociativa
(p . r) . (q v q) Distributiva
(p . r) . T Dicotoma
p . r Elemento Neutro
Las leyes son muy tiles para demostrar que dos proposiciones
son equivalentes.
Ejercicios
1.- Utiliza las leyes para demostrar que
p (q v r) (p . q) r

2.- Descubre el error en la demostracin siguiente:
p (q v r) p v (q v r)
p v ( r v q)
( p v r) v q
(p . r) v q
(p . r) q


Para ver las
respuestas, clickea
Circuitos Lgicos
Una red de conmutacin o circuito est formada por cables e
interruptores que conectan a dos terminales.
T
1
_______ ... _______T
2

Si un interruptor est abierto, no fluye la corriente por l y se le asocia el
valor 0
y si est cerrado, permite el paso de la corriente y se le asocia el valor
1.

Hay dos tipos simples de circuitos: en serie y en paralelo.
Cuando est en paralelo, la corriente fluye si alguno o ambos
estn cerrados y se representa por p v q.

Red en paralelo
p v q
T1
T2
q
p
En un circuito en serie, la corriente fluye de T
1
a T
2
si ambos
interruptores estn cerrados y no fluye, si alguno o ambos estn
abiertos. Se le asocia, entonces, la proposicin p . q

Red en serie
p . q
T1 T2 p
q
Circuitos Lgicos
Podemos ahora, utilizar la simplificacin de proposiciones para
simplificar circuitos y conseguir otros que sean equivalentes y
realicen la misma funcin ms eficientemente.
Ejercicio
3.- Simplifica el circuito
T2
p q
q
r q
p
q
r
T1
Respuestas
1.- Uso de las leyes:
p (q v r) p v (q v r) Equivalencia 1
( p v q) v r Asociativa
(p . q) v r De Morgan
(p . q) r Equiv. 1


2.- El error en la demostracin esta en el ultimo paso. De hecho, p
(q v r) (p . r) q
Respuestas
3.- El circuito lgico: -Razones-
[(p . q) v (q . r)] v [p . ( q v (r . q))]
[(p . q) v (r . q)] v [(p . q) v (p . r . q)] Conmut. y Distrib.
(p . q) v (p . q) v (r . q) v (p . r . q) Conmut. y Asociat.
[p . (q v q)] v [(r . q) v (p . r . q)] Distrib y Asociat.
p v [(r . q) v (p . r . q)] Inverso y Neutro
p v (r . q) Absorcin

q
T2
T1
p
r
El circuito
simplificado es
Argumentos
y
Reglas de inferencia
* Qu es una implicacin lgica?
* Qu es un argumento?
* Qu es un argumento vlido?
* Cmo usar las reglas de inferencia para
establecer y demostrar la validez de un
argumento?

Recuerda
Equivalencia significa igualdad
sustituible por

Las leyes lgicas nos muestran algunas
proposiciones equivalentes a otras. Eso
equivale a conocer atajos proposicionales.

Puedes dar un ejemplo de dos proposiciones
compuestas que sean lgicamente
equivalentes?
. Pasemos a un concepto nuevo
Qu es una implicacin lgica?
Sean r y s dos proposiciones compuestas.
Decimos que r implica lgicamente a s
cuando r s es una tautologa y lo
denotamos por r s.

Esto significa que s es verdadera siempre que
r sea verdadera.

Ejemplo: Comprueba que [(p q) . p] q.
En este caso, r es [(p q) . p] y s es q
Pinsalo unos minutos ...!
Qu es una implicacin lgica?
Para comprobar [(p q) . p] q usamos la
definicin.
p q p q [(pq) . p] [(p q) . p] q.
V V V V V
V F F F V
F V V F V
F F V F V
Esta es una implicacin lgica llamada: Modus
Ponens o Modo Positivo.
Est relacionada con un modo de razonamiento: Si
tengo dinero, voy al cine. Y tengo dinero. Por lo
tanto, voy al cine!
... implicacin lgica
Observa que:
Una implicacin lgica NO es lo mismo que una equivalencia
lgica.
En una equivalencia lgica podemos sustituir una
proposicin por otra.
En la implicacin lgica no podemos sustituir una
proposicin por otra. Puedes dar una razn?
Que r s sea una tautologa equivale a decir que
s es cierta cada vez que r sea cierta.



... implicacin
lgica
Ejercicio 1:
Decide si es o no es cierto que :
a) | q . (p q) | p
b) | q . (p q) | p
c) [ (p v q) . p ] q
Toma unos minutos para decidir ...
a) No es cierto; es falsa si p y q son falsas.
b) Es cierto; a esta implicacin se le llama Modus Tollens.
c) Es cierto; a esta implicacin se le llama Silogismo disyuntivo.
Qu es un argumento?
Un argumento es una proposicin compuesta del
tipo

Si (p
1
. p
2
. p
3
. ..... . p
k
) entonces q

Premisas Conclusin

Ejemplo
Si Juan se gana la beca, viaja a Pars. Y Juan se gan la
beca.
Por lo tanto, viajar a Pars.
Este argumento tiene dos premisas.
Las premisas son: Si Juan gana la beca entonces viaja a Pars
y Juan se gan la beca.
La conclusin es: Juan viaja a Pars.
Si Juan se gana la beca, viaja a Pars. Y Juan se gan la
beca. Por lo tanto, viajar a Pars.

Este argumento puede representarse como una tabla o
como una implicacin.

Sean las proposiciones:
p: Juan gana la beca
q: Juan viaja a Pars.
Tabla: p q
p
q
Implicacin:
[(p q) . p] q
Qu es un argumento?
Ejercicio
Fue Elisa o fue Carlos quien cometi el fraude. Pero
Elisa estaba fuera de la ciudad cuando el crimen fue
cometido. Si ella estuvo fuera de la ciudad, no pudo
cometer el crimen. Eso nos conduce, lgicamente, a
Carlos. l es el culpable.
a) Cules son las premisas en este argumento?
b) Cul es la conclusin?
Proposiciones simples
p : Elisa cometi el fraude.
q : Carlos cometi el fraude.
r : Elisa estaba fuera de la ciudad cuando el crimen fue
cometido.

Hay varias premisas y la conclusin es una proposicin simple.
Premisa 1: p v q Premisa 2: r Premisa 3: r p
Conclusin: q
Argumento
Ejemplo: Expresa simblicamente
Si el hijo de Leonidas est vivo, ste se casar
con Ivette. Pero el hijo de Leonidas muri, por lo
tanto, l no podr casarse con Ivette.

Tabla: p q
p
q
Implicacin:
{(p q) . p} q
Es sta una implicacin
lgica?
Proposiciones simples:
p: El hijo de Leonidas est vivo
q: El hijo de Leonidas se casa con Ivette
Argumento
Se dice que:
Un argumento es vlido si cada vez que las
premisas son verdaderas, la conclusin es verdadera.

Es decir, si las premisas son ciertas, est garantizada
la veracidad de la conclusin. De modo que un
argumento es vlido si la implicacin:
(Premisas) (Conclusin)
es una implicacin lgica.

Un argumento es vlido debido a su forma, no a su
contenido.
Argumento vlido
[(p q) . p] q Este ES un
argumento vlido
[(p q) . p] q Este NO ES un
argumento vlido.
Para comprobar la segunda afirmacin,
supn que las premisas son
verdaderas y verifica que no puedes
asegurar que la conclusin es
verdadera
Argumento vlido
Un argumento puede ser vlido (debido a su forma) aunque el
contenido de la conclusin pueda ser falso.

Ejemplo
Si Ud. invierte en la Bolsa, se har rico.
Si Ud. se hace rico, ser feliz
___________________________
Si Ud. invierte en la Bolsa, ser feliz.

Comprueba que este es un argumento vlido.
Argumento vlido
Son reglas que permiten establecer la veracidad de un
argumento sin tener que realizar una gran tabla de
verdad.

Las reglas estn asociadas a formas de razonamiento.
Las reglas de inferencia tienen asociadas implicaciones
lgicas.

Algunas de las ms usadas son: el Modus Ponens y el
Modus Tollens que ya vimos. Otras son: Silogismo,
Silogismo disyuntivo, Simplificacin, Amplificacin,
Demostracin por casos.
Reglas de Inferencia
Reglas de Inferencia
Silogismo
hipottico
[(p q) . (q r)] (p r)
Silogismo
disyuntivo
[( p v q) . p)] q
Nombre de la Regla
Implicacin lgica
Simplificacin ( p . q ) p
Amplificacin p ( p v q )
Modus Ponens [ p . ( p q)] q
Modus Tollens [( p q) . q ] p
Con estas reglas podemos ir de un lado a
otro, pero no podemos regresarnos una vez
que usamos la garrocha.
Ejemplo: Dado el argumento
|(p v q) (r . s)] . (r t) . (t ) | q

a) Decida si es o no vlido.
b) En caso de ser vlido, demustrelo. Si no es vlido, d un
contraejemplo.

a) Anlisis sobre la validez:
Debemos suponer que todas las premisas son
ciertas y trataremos de comprobar que la
conclusin tambin lo es.
Es conveniente empezar de la premisa ms sencilla.
Validez de argumentos
Hay tres premisas:
(p v q) (r . s) . (r t) . (t )
P1 P2 P3

Comencemos por P3: t es falsa.
Por P2: r debe ser falsa.
Al ver P1: si r es falsa, r . s es falsa, de modo que
el antecedente p v q es falso.

Pero (p v q) (p . q),
por lo tanto, (p . q) es verdadera. Esto ocurre,
cuando tanto p como q son verdaderas. De modo
que q es verdadera.
Validez de argumentos
Por lo tanto, el argumento es
vlido !!!
Demostracin de la validez
b) Demostremos que es vlido.
Los pasos de la demostracin estn sugeridos por la
parte anterior. Partimos del antecedente y utilizando
las leyes lgicas y las reglas de inferencia tratamos de
tender los puentes para llegar a la conclusin.

En cada lnea justificaremos el paso dado, mencionando el
nombre de la ley o de la regla de inferencia que usamos

- Ley usada -
[(p v q) (r . s)] . (r t) . (t )

[(p v q) (r . s)] . [(r t) . (t )] Asociativa
[(p v q) (r . s)] . r Modus Tollens
[(p v q) (r . s)] . (r v s) Amplificacin
[(p v q) (r . s)] . ( r . s) De Morgan
(p v q) Modus Tollens
p . q De Morgan
p . q Doble negacin
q Reduccin
Demostracin de la validez
Ejemplo 2: Dado el argumento
|(p q) . (r v s) . ( pv s)| (q s)
a) Decida si es o no vlido.
b) En caso de ser vlido, demustrelo.
Si no es vlido, d un contraejemplo.

a) Sobre la validez:
Supongamos que todas las premisas son ciertas y
trataremos de demostrar que la conclusin lo es.
P1: (p q) es cierta.
P2: (r v s) es cierta.
P3: ( p v s) es cierta.
C: q s ser cierta?
Validez de argumentos
P1: (p q) es cierta.
P2: (r v s) es cierta.
P3: ( p v s) es cierta.
C: q s

Por P3: p y s no pueden ser ambas falsas.
Caso 1: Supongamos que s es cierta, pero no lo es p.
Por P1: q puede ser verdadera o falsa. En cuyo caso, la
conclusin es cierta.
Caso 2: Supongamos que p es cierta, pero no lo es s.
Por P1: q es cierta. En cuyo caso, (q s) es cierta.
Caso 3: Supongamos que p y s son ambas ciertas.
Entonces q es cierta. En cuyo caso, (q s) es cierta.
Por lo tanto, el argumento es vlido !
Decidir sobre la validez
b) Sobre la demostracin:
Partiendo de las premisas, debemos arribar a la conclusin.
Completa las reglas o leyes que faltan.
- Ley o Regla usada -
(p q) . (r v s) . ( pv s)
(p v q) . (r v s) . ( p v s) sustitucin 1
|(p v q) . (p v s)| . (r v s) conm. y asoc.
{|(p v q) . p| v |(p v q) . s| } . (r v s) distribut.
{q v [(p v q) . s|} . (r v s) silog. disyuntivo
{q v (p . s) v (q . s)} . (r v s) ________
| q v (p . s) | . (r v s) ________
| (q v p) . (q v s) ] . (r v s) _________
(q v p) . (q v s) _________
(q v s) __________
q s __________
Demostrar la validez
Se tiene el siguiente argumento, parecido al ejemplo 1

|(p v q) (r . s)] . (r t) . (t)| q
P1 P2 P3


Decidamos si es, no, vlido.
Comencemos por P3: t es falsa.

Por P2: r debe ser falsa.

Al ver P1: como r es falsa, r . s es falsa; de modo
que p v q es falsa, lo cual ocurre cuando p y q
son falsas
Y si no es vlido?
En el argumento:

[|(p v q) (r . s)] . (r t) . (t)] q
P1 P2 P3

La conclusin puede ser falsa an cuando las premisas
son verdaderas !!! Esto indica que el argumento
NO es vlido.

De hecho, si p, r, s y q son V, F, V y V respectivamente, las
premisas son ciertas y la conclusin es falsa. Este es el
contraejemplo.
Cmo comprobar que no es vlido?
Ejercicio
Decida si el argumento es vlido y si lo es, proporcione una demostracin.
Denote a las proposiciones por p, q, r, s, ..

Si hay cierta probabilidad de lluvia o pierde su lazo rojo, Lucy
no cortar la grama. Siempre que la temperatura supere
los 80 F, no hay probabilidad de lluvia. Hoy la temperatura
es de 85 F y Lucy est usando su lazo rojo. Por lo tanto,
Lucy cortar la grama.
Cuantificadores
En esta clase trataremos:
Proposiciones abiertas
Cuantificador Universal
Cuantificador Existencial
Negacin de cuantificadores
Proposiciones
Considera los siguientes enunciados:
a) X es un profesor de matemticas
b) Paolo es un profesor de matemticas.
c) X es un divisor de 8
d) X es un divisor de Y.
e) 2 es un divisor de Y.
f) 3 es un divisor de 8.

Qu diferencias observas entre unas y otras?
Cules son proposiciones?
Se te ocurre alguna manera de convertir en proposiciones
las que no lo son? ...
Se dan enunciados que no son proposiciones pero que pueden
convertirse en proposiciones si se da un valor a las variables
X Y.
Proposiciones abiertas
Una proposicin abierta es un enunciado declarativo que
depende de una o ms variables dentro de un universo de
discurso, de modo que se convierte en una proposicin
para cada valor o reemplazo de la variable.
Ejemplo:
Supongamos que el universo de discurso est formado por los
nmeros naturales. Son proposiciones abiertas:

P(X): X es un divisor de 8
Observa P(2) es cierta, P(5) es falsa, P(32) es falsa.

Q(X,Y): X es un divisor de Y.
Q(2,5) es falsa pero Q(5, 100) es verdadera.

Ejercicio
Decide cules enunciados son proposiciones abiertas y
propn un universo de discurso.
a) (2n+3)
2
es un nmero impar.
b) 1 + 3 = 5
c) Existe un x tal que x < t.
d) x es un nmero real.
Observa bien la forma del enunciado en c)
Piensa, antes de responder.
Respuestas:
a) Es proposicin abierta. b) Es proposicin.
c) Es proposicin. d) Es proposicin abierta.
Cuantificadores
Las expresiones
Existe un x, Para algn x, Para cualquier x, Para todo
x, cuantifican las proposiciones abiertas, lo que hace
posible asignarles un valor de verdad, convirtindolas en
proposiciones.

Son proposiciones cuantificadas
Para alguna x se cumple P(x)
Para algunos x y algunos y, se verifica Q(x,y)
Para todo x se satisface R(x).


Como se observa en las proposiciones anteriores hay dos
tipos de cuantificadores. Puedes distinguirlos?
Cuantificadores
El cuantificador existencial,
Para algn x se verifica p(x)
Existe x tal que se cumple p(x)
Para al menos un x se satisface p(x)
son proposiciones que se escriben como -x p(x)

El cuantificador universal,
Para todo x se verifica p(x)
Para cualquier x tal que se cumple p(x)
Para cada x se satisface p(x)
son proposiciones que se escriben como x p(x)

Cuantificadores
Ejemplo:
Escribe simblicamente las proposiciones:
r: Para cada entero n, si n es par entonces n
2
+ 19 es primo
s: Existe un nmero real x tal que x/(x
2
+ 1) = 2/5

a) Universo: los nmeros enteros,
p(n): n es par y q(n): n
2
+ 19 es primo

r : n [p(n) q(n)]

b) Universo: los nmeros reales, t(x): x/(x
2
+ 1) = 2/5
s: -x t(x)
Observa: Es importante especificar el Universo de
discurso.
Cuantificadores
Ejercicio 2:
En el Universo es los nmeros reales, considere las
proposiciones abiertas p(x): x > 2, q(x): x
2
> 4
Expresa en lenguaje coloquial y decide el valor de verdad
de las siguientes proposiciones.
a) x p(x)
b) x [p(x) q(x)]
c) x [q(x) p(x)]
a) Todos los nmeros reales son mayores a 2
b) Todo nmero real mayor que 2 tiene cuadrado mayor a 4
c) Cualquier nmero real con cuadrado mayor a 4 es mayor que 2
Ejercicio
Escribe en forma simblica las siguientes proposiciones y
decida el valor de verdad de las mismas.
p: Todo nmero real mayor que 2 tiene un cuadrado mayor
que l mismo
q: Algunos nmeros reales con cuadrado mayor que 4 son
menores que 2
r : Cualquier nmero satisface x
2
- x > 0 o no es mayor que 2
Toma unos minutos observa que en
r hace falta el universo de discurso
Qu ocurre si U est formado por los
nmeros reales? Y si a U lo forman los
enteros?
Veracidad y falsedad
Con cuantificador existencial: -x p(x)
Existe un nmero real con cuadrado mayor a 12
- Es verdadera pues se verifica para al menos un
ejemplar del universo.
Existen nmeros reales con cuadrado negativo
- Es falsa pues todo ejemplar del
universo no la satisface

Con cuantificador universal: x p(x)
Para cualquier nmero real x, x
2
> 0
- Es verdadera, pues se verifica para todos
y cada uno de los ejemplares del universo

Cualquier nmero natural mayor a 1, divide a 8
- Es falsa, pues no se satisface para
al menos un ejemplar del universo
... Veracidad y falsedad con cuantificadores
Ejemplo
En el universo de los nmeros enteros, considere las
proposiciones abiertas
p(x): x
2
8x + 15 = 0
q(x): x es impar.
r(x): x > 0.

-Determina si son verdaderas o falsas las siguientes
proposiciones.
a) x [ p(x) q(x)]
b) -x [ q(x) p(x)]
c) -x [ r(x) . p(x)]
d) x [ p(x) r(x)]

Toma unos minutos para responder
a) V; q(x) es V para todo x que
satisface p(x).
b) V
c) F
d) F
Ejercicio 4
Traduce a lenguaje simblico y determina los valores de verdad
de las proposiciones cuantificadas, si supones que el universo
son los nmeros enteros:

a) Al menos un entero es par
b) Si x es par entonces no es divisible entre 5
c) Ningn entero par es divisible entre 5
d) Cualquier par es divisible entre 4

Veracidad y falsedad con cuantificadores
Negacin de proposiciones cuantificadas
o Con cuantificador existencial:
La negacin de
-x p(x) : Existe x que satisface p(x)
es
[-x p(x)] No es cierto que exista x, que verifique p(x)

Ningn x satisface p(x)
Todo x satisface p(x)
x p(x)
x p(x) [ -x p(x)]
o Con cuantificador universal:
La negacin de
x p(x) : Para todo x se satisface p(x)
es
[x p(x)] NO es cierto que todo x
verifique p(x)
Algn x satisface p(x)
-x p(x)
-x p(x) [ x p(x)]
Negacin de proposiciones cuantificadas
Ejemplos: Exhiba la negacin de las proposiciones
1) r : Cualquier nmero real cuyo cuadrado es mayor que 1, es
mayor que 1 equivale a
r: Para todo x real, si x
2
> 1 entonces x > 1

La negacin es
r : Existe algn x real tal que x
2
>

1 y x s 1

2) p : Existen nmeros enteros pares que son divisibles entre 3
equivale a
p: Existen x enteros tales que x es par y x es divisible entre
3

La negacin es
p : Para todo entero x se cumple que x es impar o x no es
divisible entre 3
... Negacin de proposiciones cuantificadas
Ejercicio:
Determina si B, que la negacin propuesta de A, es correcta.
Determina cual de las proposiciones A o B es verdadera.
Si la negacin propuesta es incorrecta, escribe la correcta y
determina su valor de verdad

a) A: Todos los nmeros reales x que satisfacen que
x + 3 sea impar son impares.
B: Existen nmeros reales x tales que si x + 3 es par
entonces x es par.

b) A: Existen nmeros impares cuyo producto con 17 es
impar.
B: Cualquier nmero impar multiplicado por 17 es par.
Negacin de proposiciones cuantificadas
Argumentos con
cuantificadores.
* Cmo son los argumentos con
proposiciones cuantificadas?
* Cules son las reglas de inferencia
para estas proposiciones?
* Cmo determinar la validez de
argumentos con cuantificadores?
Qu perseguimos?
Muchos argumentos tienen en sus premisas
proposiciones cuantificadas y proposiciones
en el sentido usual. Por ejemplo:

Todos los matemticos comen galletas.
Algunas personas que comen galletas tienen
caries. Eduardo no tiene caries.
Por lo tanto, Eduardo no es matemtico.

Y nos preguntamos: Es este un argumento vlido?
Es lo que vamos a responder ahora
Con qu contamos?
En el Universo U, consideremos que la proposicin
x p(x) es Verdadera entonces
* p(a) es Verdadera para cualquier a en U y
* -x p(x) es Verdadera

Si p(x) se cumple para todos los miembros del Universo, en
particular, se cumple para:
* cualquier miembro a que tomemos
* al menos un miembro del Universo.
Es decir,
x p(x) p(a), para a en U.
x p(x) -x p(x)

Esta es la Regla de Especificacin Universal (REU).
Ejemplos
1) En U: universo de todas las personas, se tiene
m(x): x es profesor de Matemticas.
c(x): x ha estudiado Clculo.
Y el argumento:
Todos los profesores de Matemticas han estudiado Clculo. Len
es profesor de Matemticas. Por lo tanto, Len ha estudiado
Clculo.
Ser este un argumento vlido?
Expresin simblica
Supongamos que L: representa a Len
P1: x [m(x) c(x)]
P2: ____ m(L) _____
C: c(L)
Te parece vlido?
Por qu?
Ejemplos
Demostremos que el argumento 1 es vlido.
Partimos de las premisas,
x [m(x) c(x)] . m(L)
- Razones-
[m(L) c(L)] . m(L) REU

c(L) M. Ponens



Ilustremos con otro ejemplo, la forma de escribir
simblicamente un argumento y cmo demostrar su
validez, haciendo uso de las reglas de inferencia y de las
leyes lgicas que conocemos para proposiciones.
Ejemplos
2) En el universo U: los tringulos del plano, consideremos
p(x): x tiene dos lados de igual longitud
q(x): x es tringulo issceles
r(x): x tiene dos ngulos de igual medida.

Y el argumento:

En el tringulo XYZ no hay dos ngulos de igual medida.
Si un tringulo tiene dos lados de igual longitud, es un
issceles. Si un tringulo es issceles, tiene dos ngulos de
igual medida. Por lo tanto, el tringulo XYZ no tiene dos
lados de igual longitud .
Expresa simblicamente y
demuestra que el argumento es vlido.
Ejemplos
Expresin simblica de 2
Llamemos c: al tringulo XYZ en U.
P1: r(c)
P2: x [p(x) q(x)]
P3: x [q(x) r(x)]
C: p(c)

Demostremos que el argumento es vlido.
Partimos de las premisas,
x[p(x) q(x)] . x[q(x) r(x)] . r(c)
- Razones-
[p(c) q(c)] . [q(c) r(c)] . r(c) REU
[p(c) q(c)] . g(c) M. Tollens
p(c) M. Tollens

Ejemplos
3) En el universo U: los polgonos del plano, consideremos
p(x): x es un cuadrado
q(x): x tiene cuatro lados

Y el argumento:

Todos los cuadrados tienen cuatro lados. El cuadriltero
EFGH tiene cuatro lados. Por lo tanto, el cuadriltero
EFGH es un cuadrado.

Expresa simblicamente y
Decide si el argumento es vlido.
Ejemplos
Expresin simblica de 3
Llamemos c: al polgono EFGH en U.
P1: x [p(x) q(x)]
P2: q(c)
C: p(c)

Sobre la validez
x[p(x) q(x)] . q(c)
- Razones-
[p(c) q(c)] . q(c) REU

Ahora bien, aunque las premisas son verdaderas, la
conclusin es falsa. En efecto, basta con que
q(c) es V y p(c) es F. El argumento es falso.
Un giro
Consideremos la situacin siguiente:
Sea c un miembro del Universo y p(x) una proposicin
abierta, tal que
p(c) es Verdadera, entonces
-x p(x) es Verdadera.

Por lo tanto, si existe tal c
p(c) -x p(x)

Esta implicacin lgica se llama Regla de Generalizacin
Existencial (RGE)
Ilustremos esta regla
con el ejemplo
siguiente
4) Decide si el argumento siguiente es vlido o no.
Domingo, estudiante de este curso, sabe programar en
JAVA. Todos los que saben programar en JAVA pueden
conseguir trabajos bien pagados. Por lo tanto, alguien de
esta clase puede conseguir un trabajo bien remunerado.

Solucin
Sea U: todos los estudiantes de este curso y consideramos
p(x): x sabe programar en JAVA.
q(x): x puede conseguir un trabajo bien pagado.
Expresin simblica
Supongamos que d: representa a Domingo
P1: p(d)
P2: x [p(x) q(x)]
C: -x q(x)
Ejemplos
Te parece vlido?
Por qu?
Ejemplos
Demostracin de la validez de 4
Partimos de las premisas,

p(d) . x [p(x) q(x)]
- Razones

p(d) . [p(d) q(d)] REU
q(d) M. Ponens
-x q(x) RGE


Otro giro
Consideremos la situacin siguiente:
Sea p(x) una proposicin abierta tal que

-x p(x) es Verdadera, entonces
p(c) es Verdadera para algn c en U

Por lo tanto
-x p(x) p(c) para algn c en U.

Esta implicacin lgica se llama Regla de Especificacin
Existencial (REE)
Ilustremos esta regla
con el ejemplo
siguiente
Ejemplos
5) Decide si el argumento siguiente es vlido o no.
A todos los loros les gusta la fruta. Mi pjaro no es loro.
Por lo tanto, a mi pjaro no le gusta la fruta.

Solucin
Sea U: todos los pjaros, y consideramos
p(x): x es loro
q(x): x gusta de comer fruta
Expresin simblica
P1: x [p(x) q(x)]
P2: -x [p(x) . r(x)]
C: -x [q(x) . r(x)]

Te parece vlido?
Por qu?
Ejemplos
Demostracin de la validez de 5
Partimos de las premisas.
Sea a en U, el miembro que hace que P2 sea Verdadera;

x [p(x) q(x)] . -x [p(x) . r(x)]

- Razones
x [p(x) q(x)] . [p(a) . r(a)] REE
[p(a) q(a)] . [p(a) . r(a)] REU
{[p(a) q(a)] . p(a)} . r(a) Asociat.
q(a) . r(a) M. Ponens
-x [q(x) . r(x)] RGE


Ejemplos
Demostracin de la validez de 4
Partimos de las premisas,
P1 .
p(d) . x [p(x) q(x)]
- Razones

p(d) . [p(d) q(d)] REU
q(d) M. Ponens
-x q(x) RGE


Reglas de Inferencia con
cuantificadores
Nombre de la
Regla
Implicacin lgica
Especificacin
Universal (REU)
x p(x) p(a), para a en U.
x p(x) -x p(x)
Generalizacin
Existencial (RGE)
Sea c en U
p(c) -x p(x)
Especificacin
Existencial (REE)
-x p(x) p(c) para un c
particular en U.