Clculo proposicional

1 Algunos trminos
i) Denicin: describe y caracteriza un objeto matemtico.
ii) Axioma: proposicin cuya validez se acepta sin demostracin.
iii) Teorema: es una proposicin cuya validez se prueba a partir de axiomas, deniciones e
incluso de otros teoremas ya probados.
iv) Corolario: es un teorema que es caso particular de un teorema general o se deduce fcilmente
de un teorema anterior.
v) Demostracin: es un argumento irrefutable que permite constatar que una proposicin es
verdadera.
2 Proposiciones
Denicin 2.1 (Proposicin) Una proposicin es una oracin a la que se le puede asignar un
valor de verdad ya sea verdadero (V ) o falso (F) : Las proposiciones se denotan mediante letras
minsculas p; q; r:
Ejemplo 2.1 La oracin 3 es par, es una proposicin pues se le puede asignar un valor de
verdad y en este caso es F. Se puede denotar p : 3 es par.
Ejemplo 2.2 La oracin 2 > 1, es una proposicin pues se le puede asignar un valor de verdad
y en este caso es V . Se puede denotar q : 2 > 1:
Ejemplo 2.3 La oracin vamos a la soda, no es una proposicin pues no se le puede asignar
un valor de verdad.
Ejemplo 2.4 La oracin p(x) : x
2
= 3, es una proposicin cuyo valor de verdad es desconocido
mientras no se conozca el valor de x, se dice que depende de x:
Denicin 2.2 (Proposicin universal) Es de la forma para todo x en S; p(x), donde S es un
conjunto y p(x) es una proposicin sobre x; y se escribe \x S; p(x):
1
Prof. Adriana Sols A 2
Ejemplo 2.5 La proposicin \k Z; 2k es par. Esta proposicin en efecto es verdadera pues
para todo nmero entero k, 2k es par.
Ejemplo 2.6 La proposicin \x R; 2x es par. Esta proposicin es falsa pues por ejemplo
3
2
es
un nmero real y 3 no es par, as
3
2
es un contraejemplo para esta proposicin.
Nota: Un contraejemplo es una excepcin de una proposicin universal.
Ejemplo 2.7 La proposicin \a; b R; a b = b a, es una proposicin universal en dos variables
cuyo valor de verdad es V:
Denicin 2.3 (Proposicin existencial) Es de la forma existe algn x en S; tal que p(x),
donde S es un conjunto y p(x) es una proposicin sobre x; y se escribe x S; p(x):
Ejemplo 2.8 La proposicin x R; x
2
+3x+2 = 0 es verdadera pues existe x = 2 y x = 1
elementos de R que satisfacen p(x) : x
2
+3x+2 = 0: Ahora la proposicin existencial es verdadera
con solo que exista un solo elemento que la satisfaga, si ms elementos la satisfacen sigue siendo
vlida.
Ejemplo 2.9 La proposicin x N; x
2
+ 3x + 2 = 0 es falsa pues no existe ningn nmero
natural que satisfaga x
2
+ 3x + 2 = 0:
Ejemplo 2.10 Considere las siguientes proposiciones existenciales o universales y exprselas sim-
blicamente
a) Existe un nmero real cuyo cuadrado es negativo.
b) Cada nmero natural es entero.
c) El valor absoluto de cualquier nmero real es no negativo.
Nota: A partir de proposiciones simples llamadas atmicas se construyen proposi-
ciones compuestas o moleculares mediante la utilizacin de conectivas lgicas. Las
proposiciones compuestas se denotan con letras maysculas y su valor de verdad se
determina mediante el valor de verdad de las proposiones atmicas que la componen.
Prof. Adriana Sols A 3
3 Conectivas lgicas
Para describir las conectivas se utilizarn tablas de verdad. Una tabla de verdad describe el
valor de verdad de una proposicin compuesta a partir del valor de verdad de las proposiciones
atmicas que la componen.
3.1 Negacin()
Si p es una proposicin, su negacin tambin es una proposicin y se denota por p: Se lee no
p o no es cierto que p. Su tabla de verdad es:
p p
V F
F V
Ejemplo 3.1 Considere la proposicin p : 4 > 10 cuyo valor de verdad es F, la proposicin p
sera p : 4 _ 10 y su valor de verdad es V:
Nota: es claro que (p) es equivalente a p, es decir, tienen el mismo valor de verdad.
Se escribe (p) = p:
Ejemplo 3.2 Determine la negacin de p : n N; n
2
= 1.
Ejemplo 3.3 Determine la negacin de q : \x Z; x < 3.
3.2 Conjuncin(.)
Sean p y q dos proposiciones, la conjuncin de p y q es una nueva proposicin y se denota por
p . q. Se lee p y q. Su tabla de verdad es:
p q p . q
V V V
V F F
F V F
F F F
Ejemplo 3.4 Considere la proposicin p : \x R; x+0 = x y q : 2 = 3. Como el valor de verdad
de p es V y el de q es F el valor de verdad de p . q es F:
Prof. Adriana Sols A 4
3.3 Disyuncin(.)
Sean p y q dos proposiciones, la disyuncin de p y q es una nueva proposicin y se denota por
p . q. Se lee p o q. Su tabla de verdad es:
p q p . q
V V V
V F V
F V V
F F F
Ejemplo 3.5 Considere la proposicin p : x R; x
2
= 2 y q : tan

= 0. Como el valor de
verdad de p es V y el de q es F el valor de verdad de p . q es V:
3.4 Implicacin()
Sean p y q dos proposiciones, la implicacin de p y q es una nueva proposicin y se denota por
p q. Se lee si p entonces qo p implica q o q si p. En esta proposicin p recibe el nombre
de hiptesis o antecedente y q recibe el nombre de conclusin o consecuente.
La recproca de la proposicin p q es q p y la contrarrecproca o contrapositiva es la
proposicin q p:
Ejemplo 3.6 En la proposicin Si Cartago gana el campeonato, entonces los vecinos hacen una
esta se tiene la implicacin p q donde p : Cartago gana el campeonato y q : los vecinos hacen
una esta.
La recproca es q p : Si los vecinos hacen una esta, entonces Cartago gana el campeonato
La contrarrecproca es q p : Si los vecinos no hacen una esta, entonces Cartago no
gana el campeonato
La tabla de verdad de p q es:
p q p q
V V V
V F F
F V V
F F V
Ejemplo 3.7 Considere la proposicion Si 3 < 2, entonces 9 < 4
a) Determine el valor de verdad de esta proposicin.
b) Determine la proposicin recproca y contrapositiva de la proposicin.
Ejemplo 3.8 Probar que p q es equivalente a p . q:
Prof. Adriana Sols A 5
3.5 Doble implicacin o bicondicional()
Sean p y q dos proposiciones, la doble implicacin de p y q es una nueva proposicin y se denota
por p q. Se lee p si y solo si q. Se puede entender como (p q) . (q p). Su tabla de
verdad es:
p q p q
V V V
V F F
F V F
F F V
Ejemplo 3.9 Considere la proposicin p : 0 < 1 y q : 3 es impar. Como el valor de verdad de p
es V y el de q es V el valor de verdad de p q es V:
Ejemplo 3.10 Considere las siguientes proposiciones
p :Hoy es jueves
q :Voy a clases de matemtica
r :Me levanto temprano
i) Exprese en lenguaje simblico las siguientes proposiciones:
1. Hoy es jueves y me levanto temprano
2. No me levanto temprano o voy clases de matemtica
3. Si hoy es jueves, entonces me levanto temprano y voy a clases de matemtica
4. Voy a clases de matemtica si y solo si hoy no es jueves.
ii) Exprese en lenguaje natural las siguientes proposiciones:
1. p (q . r)
2. (p . r)
3. (p q)
Denicin 3.1 (Tautologa) Una proposicin compuesta es una tautologa si su valor de verdad
siempre es V sin importar el valor de verdad de las proposiciones atmicas que la componen.
Ejemplo 3.11 Muestre utilizando tablas de verdad que p . p es una tautologa.
Denicin 3.2 (Falacia o contradiccin) Una proposicin compuesta es una falacia si su valor
de verdad siempre es F sin importar el valor de verdad de las proposiciones atmicas que la
componen.
Prof. Adriana Sols A 6
Ejemplo 3.12 Muestre utilizando tablas de verdad que p . p es una falacia.
Denicin 3.3 (Contingencia o eventualidad) Una proposicin compuesta es una contingencia
si no es ni tautologa ni falacia.
Ejemplo 3.13 Determine si la proposicin (p . q) [q (p . q)] es una tautologa, falacia o
contingencia.
Ejemplo 3.14 Determine si la proposicin (p q) . r q es una contingencia, tautologa o
falacia.
4 Tabla de equivalencias lgicas
1. Implicacin y disyuncin p q = p . q 4. Contrapositiva p q = q p
2. Doble negacin (p) = p 5. De Morgan (p .
^
q) = p .
_
q
3. Conmut p . q
^
= q . p
^
6. Idempotencia p .
_
p = p
Ejemplo 4.1 Pruebe que p q = q p:
Ejemplo 4.2 Determine la negacin de la proposicin \x R, (x ,= 3 . x
2
< 5) :
5 Tabla de reglas de inferencia
Regla de inferencia Premisas Conclusin
Simplicacin p . q p, q
Adjuncin p, q p . q
Adicin p p . q
Silogismo hipottico p q; q r p r
Separacin (Modus ponens) p; p q q
Contraposicin (Modus Tollens) p q; q p
Silogismo disyuntivo p . q; p q
Prof. Adriana Sols A 7
Ejemplo 5.1 Muestre la proposicin p a partir de las proposiciones r t; r . s; t;
(s . q) p:
Ejemplo 5.2 Muestre la proposicin q a partir de las proposiciones p q; (r . s); r p;
s:
Ejemplo 5.3 Determine la validez del siguiente argumento
Si Carlos tiene diecisiete aos, entonces Carlos tiene la misma edad que Elena. Si Joaqun
no tiene la misma edad que Carlos, entonces Joaqun tiene distinta edad que Elena. Carlos tiene
diecisiete aos y Joaqun tiene la misma edad que Elena. Por tanto, Joaqun tiene la misma edad
que Carlos y Carlos la misma que Elena.