Professional Documents
Culture Documents
LGICA PROPOSICIONAL
ASIGNATURA:
MATEMTICA DISCRETA
CARRERA:
INGENIERA EN SISTEMAS DE INFORMACIN
Dpto. I.S.I.
Prof.: Aguilar, Nancy; Del Valle, Graciela
Ao 2013
LGICA PROPOSICIONAL
Las reglas de la lgica le dan un significado preciso a los enunciados matemticos o
sentencias matemticas. Estas reglas se usan para distinguir entre argumentos vlidos y no
1
PROPOSICIONES
Una proposicin es una oracin declarativa que es correcta o falsa, pero no ambas cosas a
la vez.
Ejemplos:
a)
b)
c)
d)
Ejemplos:
-Buenas noches
-Qu hora es?
Estas dos ltimas oraciones no son proposiciones porque no son declarativas.
x+2=7
x+y=8
Estas ecuaciones no son proposiciones porque no son ni verdaderas ni falsas, ya que no se
les otorg valor a las variables.
Para denotar proposiciones, por convenio utilizamos letras minsculas: p, q, r, s, etc.
El rea de la lgica que trata proposiciones se llama clculo proposicional o lgica
proposicional. Fue desarrollada sistemticamente por primera vez por el filsofo griego
Aristteles, hace ms de 2300 aos.
MTODOS PARA PRODUCIR PROPOSICIONES NUEVAS A PARTIR DE LAS YA
EXISTENTES
Definicin: Sea p una proposicin. El enunciado No se cumple p es otra proposicin,
llamada negacin de p. Se denota -p.
Tabla:
2
p
V
F
-p
F
V
La tabla de verdad muestra las relaciones entre los valores de verdad de las proposiciones.
Ej.: Hoy es martes, su negacin, No se cumple que hoy es martes
CONECTIVOS U OPERADORES LGICOS
Se usan para formar nuevas proposiciones a partir de dos o ms ya creadas.
Conjuncin
Definicin: Sean p y q proposiciones. La proposicin p q, es la proposicin
que es verdadera cuando tanto p como q son verdaderas y falsa en cualquier otro caso.
La proposicin p q se llama conjuncin de p y q.
Tabla:
p
V
V
F
F
V
F
V
F
p q
V
F
F
F
p q
0
0
1
1
0
1
0
1
0
0
0
1
q: hoy llueve
es la proposicin que
es falsa cuando tanto p como q son falsas y verdadera en cualquier otro caso. La
proposicin p q se llama disyuncin de p y q. Este tipo de disyuncin es
inclusiva.
Tabla:
p
p q
V
V
F
F
V
F
V
F
V
V
V
F
Otra forma:
p q
0
0
1
1
0
1
0
1
0
1
1
1
q: traspiramos
p q
V
V
F
F
V
F
V
F
F
V
V
F
p q
0
0
1
1
0
1
0
1
0
1
1
0
q
V
F
V
F
pq
V
F
V
V
Otra forma:
p
0
0
1
1
q
0
1
0
1
pq
1
1
0
1
p implica q
Si p,q
p es suficiente para q
q cuando p
q siempre que p
q es necesario para p
5
q se deduce de p
Tabla:
p
V
V
F
F
q
V
F
V
F
-p
F
F
V
V
-q
F
V
F
V
pq
V
F
V
V
qp
V
V
F
V
-p-q
V
V
F
V
-q-p
V
F
V
V
Tabla:
6
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
p sii q
si p, entonces q, y recprocamente
Ejemplo:
P: puedes tomar el vuelo
q: compras un billete
-p
p q
p^-p
V
F
F
V
V
V
F
F
Ejemplo: -( p q ) y -p^-q
p
-p
-q
p
q
V
V
F
V
F
V
F
F
V
F
V
F
V
V
V
-( p q
-p^-q
-( p q p
F
F
F
F
F
F
V
V
V
pq
Equivalencia
p^Vp
pv Fp
pvVV
p^FF
pvpp
p^pp
-(-p) p
Pvq qvp
p^q q^p
(pvq)vr pv(qvr)
(p^q)^r p^(q^r)
pv(q^r) (pvq)^(pvr)
p^(qvr) (p^q)v(p^r)
Nombre
L. de Identidad
-(p^q ) -pv-q
-(pvq) -p^-q
pv(p^q) p
p^(pvq) p
pv-p V
p^-p F
L. de De Morgan
L. de Dominacin
L. Idempotentes
L. de la doble negacin
L. Conmutativas
L. Asociativas
L. Distributivas
L. de Absorcin
L. de negacin o inversas
-(pq) p^-q
(pq)^(pr) p(q^r)
(pr)^(qr) (pvq)r
(pq)v(pr) p(qvr)
(pr)v(qr) (p^q)r
pq (pq)^(qp)
pq -p-q
pq (p^q)v(-p^-q)
-(pq) p-q
Una red de conmutacin est formada por cables e interruptores que conectan terminales
T1 y T2. Cuando un interruptor est abierto, entonces no pasa corriente por l. Lo indicamos
con 0; mientras que 1 indica que el interruptor est cerrado y por consiguiente pasa la
corriente por l.
T1
T2
T1
T2
9
La red necesita que los dos interruptores estn cerrados para que la corriente circule de T1 a
T2. Los interruptores estn en serie y se representan con la proposicin p ^ q.
T1
T2
T1
-p
T2
-q
q
(p^q) v [(-p^-q) v q]
Vamos a simplificar esta proposicin compuesta:
(p^q) v [(-p^-q) v q] (p^q) v [(-p v q) ^ (-q v q)] (p^q) v [(-p v q) ^ To] (p ^ q) v (-p v
q) [(p ^ q) v q] v p q v p
Red simplificada:
T1
-p
T2
Puede hacer la tabla para comprobar que los resultados son equivalentes.
10
Ejemplo:
{(p ^ t) v [r ^ (t v q)]}^ -t ^ ( -r v t)
T1
t
-q
-r
-t
T2
Vamos a simplificar:
{(p ^ t) v [r ^ (t v q)]}^ -t ^ ( -r v t) {(p ^ t ^ -t) v [r ^ (t v q) ^ -t]}
{(p ^ Fo) v [r ^ ( t v q) ^ -t]} ^ (-r v t) {Fo v [r ^[(t ^ -t) v (-q ^ -t)]} ^(-r v t)
r ^[Fo v (-q ^ -t) ^ (-r v t) [r ^ (-q ^ -t)] ^ (-r v t) (r ^ -q ^ -t) ^ (-r v t)
(r ^ -q ^ -t ^ -r) v (r ^ -q ^ -t ^ t) r ^ -r ^ -q ^ -t) v (r ^ -q ^ Fo)
(Fo ^ -q ^ -t) v (r ^ -q ^ Fo) Fo ^ Fo Fo
T2
T1
El interruptor est abierto. Cuando T1 recibe un estmulo elctrico, ste nunca llega a T2
{t ^ [(r ^ s) v (r^ s ^ -t)]} v -t
t
T1
s -t
T2
-t
11
Vamos a simplificar:
{t ^ [(r ^s) v (r ^ s ^ -t)]} v t [t ^ ( r ^ s)] v t ( t v t) ^ (r v t)
To ^ (r v t) ^ (s v t) (r v t) ^ (s v t) (r ^ s) v -t
r
T1
T2
-t
12
1 5
2
resulta
13
S(x, y):Los nmeros x-3; y+2; x-y; 2x-y son nmeros positivos, x, y Z. Cuando se
sustituye una de las letras x por una constante de nuestro conjunto dominio o universo, se
sustituyen todas las apariciones que hace esta letra x en la expresin. Si x=3; S(3, y)
resulta:
S (3, y): Los nmeros 0; y + 2; 3 y; 6 y; son nmeros positivos, y z.
Si x = 3 e y = 5 entonces: S (3, 5): Los nmeros 0; 7; -2; 1 son nmeros positivos, siendo
S(3, 5) una proposicin falsa.
Definicin: Si P(x) y Q(x) son expresiones relacionales, tambin lo son: -P(x); Q(x) ^
P(x); Q(x) v P(x).
Ejemplo: La negacin de R(x): x es un nmero que es un cubo perfecto, x N, es la
expresin R(x): x es un nmero que no es un cubo perfecto, x N; o bien, no es cierto
que el nmero x sea un cubo perfecto, x N.
Ejemplo: La Funcin Proposicional U(x): x es un nmero mayor que 5 y x es un cubo
perfecto, x N, resulta de la conjuncin de las funciones proposicionales:
P(x): x es un nmero mayor que 5, x N
R(x): x es un nmero que es un cubo perfecto, x N
Entonces, se pueden construir expresiones relacionales de manera que:
-
Resulte una proposicin verdadera para alguno o todos los valores de sus variables.
Resulte una proposicin falsa para alguno o todos los valores de sus variables.
Las frases: Para algn x; Para algunos x, y; Para todo x; Para todos x, y,
cuantifican a las Funciones Proposicionales e indican la frecuencia con la cual un sujeto
o varios cumplen una propiedad.
14
S(x,y) y la expresin
La expresin
y).
Las expresiones relacionales cuantificadas (existencial o universalmente)
Proposiciones, es decir expresiones que tienen valores de verdad, 0 o 1.
son
Consideramos a D:
x / P(x) es verdadera se existe al menos un a tal que P(a) es
verdadera.
x / P(x) es falsa cuando P(a) es falsa para cualquier a del dominio.
dominio.
x: P(x) es falsa cuando P(a) es falsa para al menos un a del
dominio.
Ejemplo: Sean las expresiones relacionales: P(x); Q(x) y R(x), donde en todos los
casos x Z.
P(x): x es mayor o igual que 2
Q(x) : |x|=2
R(x): x2 -5x+6=0
15
proposicin verdadera.
[ P(x)Q ( x)]
- [ x : F( x ) ] x /F(x )
+
x
:
x
0, x Z 0
Ejemplo 1:
es V
x : x 0, x Z 0
es F
+
16
(Ley conmutativa)
Definicin: Si P(x, y) es una expresin relacional en dos variables x, y con el mismo o con
x , y : P( x , y)
distintos universos, entonces la proposicin
es lgicamente
equivalente a la proposicin
y , x : P( x , y) . x , y : P ( x , y ) .
Podemos expresar
x , y : P ( x , y ) y , x :P ( x , y ) .
Simplificando la notacin: x , y : P ( x , y ) y , x : P( x , y ) .
Podemos expresar adems a b N /ab=ba
Definicin: Si Q(x, y) es una expresin relacional en dos variables x, y con el mismo o
x , y /P ( x , y ) es lgicamente
con distintos universos, entonces la propiedad
equivalente a la proposicin y , x /P ( x , y )
x , y /P( x , y)
y , x /P ( x , y )
17
y se puede escribir:
y simplificando:
x , y / P(x , y)
y , x/ P ( x , y )
x , y / P (x , y )
un y tal que P(x, y). Cada valor seleccionado para la variable x produce una eleccin
diferente de la variable y.
La proposicin x y : P(x , y ) es existe un valor x para todos los y que verifica
P(x, y).
Ejemplo 1: Cuando expresamos para cada nmero entero x existe un entero y tal que
x + y = 0; hacemos referencia a que para cada nmero entero x existe un valor y que es
y = -x, tal que x + (-x) = (-x) + x = 0.
Considerando la expresin
que para todos los enteros y, x + y = y + x = 0, es falsa, porque elegido un entero x, por
ejemplo x = 2, el nico valor de la variable y que satisface la igualdad es -2.
Del ejemplo vemos que, en general, la proposicin
x y / P(x , y ) , no es lgicamente
para todos los valores de y tales que P(x, y). La usamos en existe un elemento 0
que para todo x z
es 0 + x = x + 0 = x
Z /H ( x)
tal
(neutro de la suma en Z)
x Z :H ( x)
18
Esto es falso.
Ejemplo 4: Hay alumnos que estudian y trabajan
Este enunciado sugiere un cuantificador existencial y dos funciones proposicionales.
P(x): x estudia ;
Q(x): x trabaja
x / [ P(x)Q (x ) ]
Negamos -
[ x / P(x)Q (x )] x :[ P( x )Q (x) ] x :
P(x) v Q(x)
ALCANCE DE UN CUANTIFICADOR
Para determinar el alcance de un cuantificador aplicamos la siguiente regla:
MTODOS DE DEMOSTRACIN
Frecuentemente nos preguntamos:
Cundo es correcto un argumento matemtico?
Qu mtodos se pueden utilizar para construir argumentos matemticos?
Para responder estas cuestiones vamos a definir algunos trminos:
Un Teorema es una sentencia que se puede verificar que es verdadera.
Para demostrar que un teorema es verdadero, debemos llevar a cabo una serie de sentencias
que constituyen un argumento llamado Demostracin.
Las sentencias que se utilizan en una demostracin pueden incluir axiomas o
postulados.
Los axiomas o postulados son enunciados o proposiciones que se aceptan sin demostracin.
Las Reglas de inferencia, son los medios usados para deducir conclusiones a partir de
otras afirmaciones, enlazan los pasos de una demostracin.
Falacias, son razonamientos incorrectos.
Lema es un teorema sencillo utilizado en la demostracin de otros teoremas.
Demostraciones complicadas son a veces ms fciles de entender haciendo uso de lemas,
los cuales se demuestran por separado.
Un Corolario es una proposicin que se puede establecer directamente a partir de un
Teorema que ya ha sido demostrado.
Una Conjetura es una sentencia cuyo valor de verdad es desconocido. Cuando se
encuentra una demostracin para una conjetura, sta se convierte en teorema.
Se usan para demostrar teoremas matemticos, y adems por sus muchas aplicaciones en
ciencias de la computacin.
Reglas de Inferencia
Mediante reglas de inferencia vamos a justificar los pasos de una demostracin. Luego de
una serie de hiptesis (o premisas) se llega de forma lgica a una conclusin.
Ejemplo: La siguiente proposicin
Se indica:
p q
p
q
Regla
Inferencia
p
pq
p
pq
q
de Tautologa
Nombre
p ( p q)
p q p q
p q
p
Adicin
( p q) p ( p q ) q
Simplificacin
[( p)(q) ] ( p q )
Conjuncin o
combinacin
[( p q) p ] q
Modus Ponens
[( p q)q ] p
Modus Tollens
[ ( p q ) (q r) ] ( p r )
Silogismo Hipottico
q
pq
p q
Ley
p
q
p q
q
p
p q
qr
p r
[( p q)p ] q
pq
p
q
Silogismo Disyuntivo
[( p q)q ] p
pq
21
de
q
p
pq
[( p q)(p r )] (q r)
Ley de Resolucin
p r
qr
1)
p q
2)
p
q
q
Tambin podemos indicar:
1) y 2) Modus Ponens
1 p q
2)
p/ q
1 p q
p
q
1) y 2) Modus Ponens
Ej.3: Si llueve hoy, entonces hoy no haremos un asado. Si no hacemos un asado hoy,
p
-q
-q
1)
pq
2)
q r
p r
Silog. Hipottico
22
2)
1) y 2) Silog. Disyuntivo
Ej.5: Si hoy es feriado, se cerrar la facultad. La facultad no est cerrada hoy. Por lo tanto,
p
hoy no es feriado.
-p
1)
p q
2)
q
q
1) y 2) Modus Tollens
ARGUMENTOS VLIDOS
Se dice que un argumento deductivo es correcto si siempre que todas las hiptesis o
premisas son verdaderas, la conclusin tambin lo es. Mostrar que q se deduce
lgicamente de las hiptesis p1, p2,..,pn es lo mismo que mostrar que la implicacin
p
pn ) q
es verdadera.
Ej.1: Si
2
( 2)
( 32 )
23
2>3 /2
2>
9
4
Ej.2: Mostrar que las siguientes hiptesis conducen a la conclusin: estaremos en casa al
atardecer.
(Cuando hay muchas hiptesis o premisas, se necesitan varias reglas de inferencia para
demostrar que un argumento es correcto).
Esta tarde no hay sol y hace ms fro que ayer. Iremos a nadar solo si hay sol. Si no
-p
casa al atardecer.
1 p q
2 r p
3) -r s
4) s t
5) p
Simplificacin en 1)
6) r
en 5) y 2) Modus Tollens
7) s
en 6) y 3) Modus Ponens
8) t
en 7) y 4) Modus Ponens
q
24
p q
2) p r
3) r s
4) q p
5) q r
Contrarresproco en 1)
4) y 2) Silog. Hipottico
6) -q s
5) y 6) Silog. Hipottico
Ej.4: Estoy soando o estoy alucinado. No estoy soando. Si estoy alucinado, veo elefantes
P
-p
1)
pq
2) p
3) q r
4) q
5) r
1) y 2) Silog. Disyuntivo
4) y 3) Modus Ponens
-r
p q
25
2) q r
3) r
4) p r
5) p
1) y 2) Silog. Hipottico
4) y 3) Modus Tollens
p q
es verdadera, entonces q debe ser verdadera tambin. Esto indica que la combinacin
p verdadero y q falso no ocurre nunca. Una demostracin de este tipo se llama
demostracin directa. Para realizar este tipo de demostracin, se supone que p es
verdadera y se utilizan reglas de inferencia y teoremas ya demostrados, para demostrar
que q debe ser tambin verdadera.
Definicin: El entero n es par si existe un entero k/ n = 2k y es impar si existe un entero k/
n =2k + 1.
Teorema: n es un entero impar, entonces n2 es un entero impar
Hip.) n es un entero impar
Tesis) n2 es un entero impar
Dem.) Suponemos que la hip. es V, entonces
n = 2k + 1, donde k es un entero
n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1
n2 es un nmero impar(es una unidad mayor que el doble de un entero)
Demostraciones
indirectas:
La
implicacin
contrarrecproca,
p q , la implicacin
p q
p q
es
equivalente
su
26
p q
p q
F V , lo cual es cierto.
Por lo tanto, si se puede ver que q es verdadera, entonces se puede dar una definicin
llamada demostracin trivial.
Demostraciones vacuas: Supongamos que la hiptesis p de una implicacin
es falsa. Entonces
o
p q
p q
F V
27
28