7 de septiembre de 2011
2
ndi
e General
0.1. Lgi
a Proposi
ional . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
0.1.1. TIPOS DE PROPOSICIONES . . . . . . . . . . . . . . . . . 4
0.1.2. OPERACIONES CON PROPOSICIONES . . . . . . . . . . . 4
0.1.3. Ejer
i
ios de proposi
iones . . . . . . . . . . . . . . . . . . . . 8
0.1.4. TABLA MOLECULAR . . . . . . . . . . . . . . . . . . . . . 13
0.1.5. Ejer
i
ios de Tabla, Taotologa, Contradi
in y Contingen
ia 15
0.1.6. LEYES LGICAS . . . . . . . . . . . . . . . . . . . . . . . . 17
0.1.7. Ejer
i
ios de leyes lgi
as . . . . . . . . . . . . . . . . . . . . . 20
0.1.8. INFERENCIA LGICA . . . . . . . . . . . . . . . . . . . . . 20
0.1.9. Ejer
i
ios de Inferen
ia y demostra
iones Matemti
as . . . . 34
0.1.10. CIRCUITOS LGICOS . . . . . . . . . . . . . . . . . . . . . 37
0.1.11. Ejer
i
ios de Cir
uitos lgi
os . . . . . . . . . . . . . . . . . . 38
0.1.12. Ejer
i
ios Complementarios . . . . . . . . . . . . . . . . . . . 40
4
Deni
in 0.1.1 (Proposi
in). Es todo enun
iado que puede ser verdadero o falsa
pero no ambos simultaneamente.
Nota
in: Las proposi
iones los representaremos
on las letras mins
ulas p, q ,
r , . . ..
Observa
in 0.1.1. Aquellos enun
iados que indi
an una pregunta, un orden, o
una ex
lama
in, son expresiones no proposi
ionales.
Adems, notemos que todo proposi
in son enun
iados, pero no todo enun
iado
son proposi
iones.
1. Proposi
in Simple: Son aquellos que tienen un solo sujeto y un slo pred-
i
ado.
2. Proposi
iones Compuesta: Son aquellos que tienen dos o mas proposi
iones
simples, o de manera anlogo, una proposi
in
ompuesta son aquellos que
tiene dos o mas sujetos y/o dos o mas predi
ados.
OJo: El valor de verdad de las proposi
iones
ompuestas depende mu
ho del valor
de verdad de las proposi
iones simples.
Llamaremos
one
tivos lgi
os unos smbolos que sirve para unir dos o mas
proposi
iones y son , , , , , .
Sean dos proposi
iones p y q
CONJUNCIN (): La
onjun
in es el resultado de
omponer estas proposi-
iones
on el
one
tivo lgi
o y se lee y , y se es
ribe
on las proposi
iones
p q y se lee p y q y tiene
omo tabla de verdad.
5
pq pq
VV V
VF F
FV F
FF F
pq pq
VV V
VF V
FV V
FF F
pq pq
6
VV F
VF V
FV V
FF F
p p
V F
F V
pq pq
VV V
VF F
FV V
FF V
7
pq pq
VV V
VF F
FV F
FF V
Hasta ahora, hemos enun
iado de las proposi
iones, y denir las opera
iones
on
proposi
iones.
Que su
ede si las proposi
iones simples o algunas de ellas tienes un valor sea ver-
dadero o falso, enton
es nuestra proposi
in
ompuestas (
on los
one
tivos lgi
os)
tendrn un valor de verdad sea verdadero o puede ser falso. Estos valores de de-
notaran
omo V (p) = F o V (p) = V Para poder visualizar, hagamos un ejemplo
sen
illo.
V (p) = F y V (q) = V
enton
es
ual es el valor de verdad de la proposi
in:
s : El presidente del Per es Alan Gar
ia o lima es
apital del Per.
Solu
in: simbolizando se puede ver que s p q , enton
es apli
ando la tabla de
verdad de la disyun
in in
lusiva seria V (s) F V V
La vera
idad de la proposi
in s es verdadero.
De esta manera se trabaja
uando
ono
emos algunos de los valores de verdad
de las proposi
iones simples y/o proposi
iones
ompuestas para hallar el valor de
verdad de algunas proposi
iones
ompuestas muy
ompli
adas.
toria Natural de Los ngeles (NHM) y "mega herbvoros"del Pleisto
eno evolu-
Li Qiang, del Instituto de Paleontologa
ionaron de an
estros menos resistentes
Vertebrada y Paleoantropologa de la al fro en Norteamri
a y Eurasia.
A
ademia China de Cien
ias. El estudio
on
luye que la meseta ti-
La extin
in de los
ono
idos
omo betana podra haber sido la
una evolu-
9
tiva de los rino
erontes lanudos y otras Los autores des
riben similitudes en
riaturas peludas resistentes al fro que otros grandes fsiles animales en
ontra-
deambularon por Norteamri
a y Eura- dos en la Cuen
a de Zanda, in
luidos un
sia durante la ltima Edad del Hielo. leopardo de las nieves y un antlope ti-
nas de los Himalayas en el Tibet suro
i- haber sido el trampoln para una amplia
dental, muestra
laras adapta
iones a un variedad de espe
ies resistentes al fro que
lima ms fro y nevado. se expandieron posteriormente durante la
ltima Edad del Hielo.
Mediante el anlisis de la edad del
El do
tor Wang expli
a que .en los lu-
fsil y sus
ara
tersti
as fsi
as, los au-
gares fros,
omo el Tbet, el rti
o y la
tores
on
luyen que este rino
eronte,
Antrtida, se realizarn los des
ubrim-
Coelodonta thibetana, fue un an
estro
ientos ms inesperados en el futuro, ya
relativamente primitivo en el rbol ge-
que
ontinan siendo las fronteras que
nealgi
o del rino
eronte lanudo,
om-
siguen an inexploradas en gran parte".
parado
on sus
ontrapartes en el Pleis-
to
eno. 2. Juramaia sinensis, el ante
esor
Este hallazgo sugiere que los ms antiguo de los mamferos
rino
erontes se adaptaron a la fra Meseta a
tuales "jueves 25 de agosto de
Tibetana mu
ho antes de que el
ambio 2011
fsiles de un mamfero pare
ido a una los rboles a diferen
ia de otros mamfer-
musaraa que vivi en China ha
e 160 os de su po
a, una
apa
idad que pudo
millones de aos durante el perodo Ju- permitirles sobrevivir a las dif
iles
ondi-
rsi
o.
iones de vida del Jursi
o.
latn signi
a madre jursi
a de China) uran el
rneo in
ompleto del animal,
es .o bien una 'tatarata abuela' o una parte del esqueleto y huellas de tejidos
'tatarabuela' de todos los mamferos pla- residuales blandos
omo pelo.
entarios (euterios) existentes hoy", ar- Pero lo que permiti a los paleon-
han expli
ado expertos de la Universidad fueron sometidos a pruebas que demues-
de Oxford. tran que las formas dete
tadas en la ro-
Investiga
iones anteriores datan la
a son de naturaleza biolgi
a, pues se
edad de la Tierra de 4.500 millones de pueden observar estru
turas similares a
aos, mientras que fe
han el ini
io de la las
lulas, por tanto, no es el resul-
vida en el planeta ha
e 3.800 millones de tado de un pro
eso de mineraliza
in.
aos, de modo que este hallazgo prue- "Por primera vez en ro
as arqueanas, se
ba que aos antes de lo que los
ient- halla una aso
ia
in dire
ta entre una
os pensaban "haba ba
terias
apa
es morfologa
elular y subprodu
tos del
de vivir sin oxgeno". metabolismo", expli
an los
ient
os.
En este sentido, los
ient
os han Cuando apare
ieron estas ba
terias,
sealado que estn "muy seguros de la ha
e 3.400 millones de aos, la Tierra era
edad de los fsiles", ya que las ro
as sed- un lugar
lido,
on una fuerte a
tivi-
imentarias donde los han en
ontrado se dad vol
ni
a, y la temperatura de los
formaron entre dos episodios vol
ni
os. o
anos al
anzaba los 50 grados. En la
Con
retamente, el hallazgo, publi
ado en a
tualidad sigue habiendo ba
terias que
'Nature Geos
ien
e', se ha produ
ido en utilizan ms azufre que oxgeno para
ar-
una zona ro
osa
ono
ida
omo Strelley garse de energa y proliferar y se en
uen-
Poll, al oeste del pas, y los fsiles se es- tran sobre todo en lugares
lidos
omo
taban adosados a mi
ros
pi
os
ristales las
himeneas hidrotermales, al fondo de
de pirita. los o
anos.
Segn apunta el estudio, los fsiles
Como hemos visto, en la de
inin de opera
iones
on proposi
iones,
ada
one
-
tivo lgi
o tiene una tabla de valores, esto es:
pq pq p pq pq pq pq
VV V F V F V V
VF F V V F F
FV F V V V V F
14
FF F F F V V
pq [ (p q)] [ p p
VV F V V F F F
VF V F V F V V
FV V F V V V F
FF V F V V V V
Pasos 2 1 6=2,5 3 5=3,4 4
En el ejemplo anterior podemos notar de que la tabla mole
ular nos ta puro valor
de verdad verdadero, tambin existem esquemas mole
ulares que nos dan valores de
verda todos falsos, estos
asos tiene un nombre y son:
Tautologa (T ): Se llama tautologa al resultado del esquema mole
ular donde los
valores son todos verdaderos.
Contra
in (C ): Se llama
ontradi
in al resultado del esquema mole
ular donde
los valores son todos falsos.
Contingen
ia: Se llama
ontingen
ia al resultado del esquema mole
ular donde los
15
pq [ (p q) p pq
VV F V F F F V
VF F V F F V F
FV F V F V F V
FF V F V V V V
Pasos 3 2 4 1 6=4,5 5
Claramente podemos ver que el esquema mole ular nos da una ondingen ia.
tingen ia
En
ada uno de los ejer
i
ios hallar la tabla de verdad y diga si es taotologa,
ontradi
in y
ontingen
ia
Notemos que existen esquemas mole
ulares (distintos) pero en la tabla del esque-
ma mole
ular nos dan los valores de verdad iguales, a estos tipos de proposi
iones
los llamamos proposi
iones equivalentes, sern de notados por , y son llamados
omo ley.
LEYES LGICAS: las leyes lgi
as son:
Las tres leyes son las prin
ipales que da la existen
ia de la Lgi
a proposi
ional,
pero existen mu
has mas y son:
4. Involu in: ( p) p
5. Idempotente:
a) P P P
b) P P P
6. Ley de la Conmutatividad
a) p q q p
b) p q q p
) p q q p
a ) (p q) r p (q r)
b ) (p q) r p (q r)
18
) (p q) r p (q r)
8. Ley de la distibudividad
a ) p (q r) (p q) (p r)
b ) p (q r) (p q) (p r)
) p (q r) (p q) (p r)
d ) p (q r) (p q) (p r)
9. Ley de Morgan:
a ) (p q) p p
b ) (p q) p p
a ) p q p q
b ) (p q) q p
a ) p q (p q) (q p)
b ) p q (p q) ( q p)
a ) p (p r) p
b ) p ( p r) p r
) p (p r) p
d ) p ( p r) p r
a ) p q q p
b ) p q q p
a) T T T
b) T p p
) T C C
d) T p T
e) C C C
f) C p p
g) C p C
h) T C T
i ) p p C
j ) p p T
Ejemplo 0.1.4. Hallar la forma equivalente de la proposi in: es nese ario en-
portivo.
no
ometer infra
in o
Si entreno debidamente y no
ometo infra
in, en
ontes dar un buen
papel deportivo
1. Se ordena la inferen
ia, pero en el
aso se su forma lgi
a haya sido alterado
en el lenguaje natural observando el esquema premisa-
on
lusin.
4. Se
onstruye una formula
ondi
ional que tenga
omo ante
edente a las premisas
unidas por el operador
onjuntivo " y
omo
onse
uente la
on
lusin.
dos lados iguales. No se llama iss eles. En onse uen ia no tiene dos
1. La formalgi a:
P q
[(p q) q] p
pq [(p q) q] p
VV V F F V F
VF F F V V F
FV V F F V V
FF V V V V V
Pasos 1 3 2 5=3,4 4
Ejemplo 0.1.6. El pueblo es una masa pasiva que sigue bien las ideas de
un gran hombre, bien los pre eptos de la idea absoluta. Sigue los pre eptos
La inferen
ia es vlida.
Solu
in: En la
on
lu
in de la inferen
ia podemos ver que hay doble nega
in.
1. Forma lgi a.
a) El pueblo es una masa pasiva que sigue bien la ideas de un gran hombre
o el pueblo es una masa pasiva que sigue bien los pre
eptos de la idea
absoluta.
b) El pueblo es una masa pasiva que sigue los pre
eptos de la idea absoluta.
23
Luego: El pueblo es una masa pasiva que no sigue las ideas de un gran hombre.
pq
[(p q) q] p
pq [(p q) q] p
VV V V V F F
VF V F F V F
FV V V V F V
FF F F F V V
Pasos 1 3 2 5=3,4 4
pqr [( p q) ( q r) ( r)] pq
VVV V V V F F V V
VVF V V V V V V V
VFV V V V F F V V
VFF V F F F V V V
FVV F F V F F V V
FVF F F V F V V V
FFV V V V F F V V
FFF V F F F V V V
Pasos 1 5=1,4 2 4=2,3 3 7=6,5 6
1. Se supone verdadero el ante
edente (Con
lu
in) y falsa el
onse
uente (hipte-
sis).
2. Se determina loa valores de la variable del
onse
uente de manera que exprese
la falsedad de esta inferen
ia
3. Se traslada los velores al ante
edente y se designa loa valores de los dems
variables (proposi
iones), tratandose de ha
er verdadero al antesedente.
p q
rq
1. [(p q) (q r) r] q
suponemos que:
[(p q) (q r) r] q F
enton
es
[(p q) (q r) r] V y q F
2. q V
3. p q V , q r V , r V
4. Vemos que: p V , q V , r F
pq
ps
p p
qs
2. Como q s F , enton es q F y s F
3. Vemos que:
q F y p q V enton
es p F
s F , p V y p s V enton
es s V
p p V enton
es p V o F
p q
p q
p
27
p q
p q
p q
q r
p r
p q
q r
p r
p q
pq
28
p (q q)
(p q r) s
(p q r)
mivimiento.
p q
DEMOSTRACIONES MATEMTICAS
En las matemti
as tenemos algunas propiedades que si deben ser demostrados
para esto, existen formas o mtodos de demostra
in, las
uales estudiaremos olo
dos, y son:
29
1. Demostra in dire ta
DEMOSTRACIN DIRECTA:
Sean dos proposi
iones p y q enton
es la
ondi
ional es p q .
Segn la tabla de la verdad de la
ondi
ional, si p es falso, enton
es la proposi
in
p q es verdadero, en este
aso no tendramos nada que demostrar.
Cuando partimos de la verdad de p o de un
onjunto de premisas de la forma
p1 p2 p3 . . . pn se dedu
e la verdad de la
on
lusin q . Esto es, si tenemos
la proposi
in
ompuesta p1 p2 p3 . . . pn q y si p1 p2 p3 . . . pn es
verdadero enton
es debemos dedu
ir (Pasos de inferen
ia) la
on
lu
in de q .
Derimos que hemos usado una demostra
in dire
ta.
Sugeren
ia: Dada una inferen
ia
ualesquiera
1) p1
2) p2
3) p3
..
.
n) pn / q
3. Se pro
ede eje
utar las deriva
iones tomando
omo punto de partida
ualquiera
de las premisas (esto se ha
e utilizando las impli
a
iones notables, ver pgina
26) siempre que sea fa
tible e indi
ando a la dere
ha en forma abreviada que
premisa y mediante que ley o regla se ha obtenido la nueva expresin.
30
Observa
in: Una demostra
in dire
ta es tambin apli
ando las reglas de equiv-
alen
ia, ver pgina 17, deviendo llagar asi a una tautologa. O en
aso
ontrario
apli
ando la tabla de la verdad y en
ontrando una tautologa.
1) pq
2) qr
3) r
4) p s/ s
6) p
7) s
1) (p q) t
2) pq
6. omo t = s
1) p1
2) p2
3) p3
..
.
n) pn / q
(p1 p2 p3 . . . pn ) q
2. Se eliminan las nega
iones que efe
tuan a operadores mediante las leyes de De
Morgan.
3. Se suprime las dobles nega iones apli ando la ley del mismo nombre.
4. Se apli
a las leyes de distribu
in (8), absor
in (12)y tautologa (14)
uando
fuera ne
esario.
32
1. [( p q) p] q
2. ( p q) p q
3. (p q) p q
4. (p p q) ( p q q)
Vemos que en ambos parentisis
ontiene por lo menos una taotologa que es T
p p q q . Por lo tanto la inferen
ia es vlida
1) p1
2) p2
3) p3
..
.
n) pn / q
1) p1
2) p2
3) p3
..
.
n) pn
n + 1) q
2. de esta premisa adi
ional, junto
on las premisas dadas, en
ontrar en
ontrar
la expresin C p p
3. Se une en forma
ondi
ional o impli
ativa la premisa adi
ional
on la
ontra
in
hallada, atraves de la regla de la prueva
onti
ional, volviendo la demostra
in
a ll izquierda, a la posi
in original.
1) p1
2) p2
3) q
..
.
n) pn / p3
(p1 p2 p3 . . . pn ) q
[(p1 p2 p3 . . . pn ) q]
34
3. Se eliminan las nega
iones que efe
tuan a operadores mediante las leyes de De
Morgan.
4. se suprime las bobles nega iones apli ando la ley del mismo nombre.
5. Se apli
a las leyes de distribu
in (8), absor
in (12)y tautologa (14)
uando
fuera ne
esario.
Ojo:se entiende que tiene que salir ontrdi in porque estamos negando la inferen ia.
1. {[(p q)] q}
2. { [( p q) p] q}
3. ( p q) p q
4. (p q) p q
5. (p p q) (p q q)
Vemos que en ambos parentisis
ontiene por lo menos una
ontradi
in que es:
C p p q q . Por lo tanto la inferen
ia es vlida
Diga si las siguientes inferen
ias son validas o no, los nmeros impares por medio
de Mtodo Analti
o, los nmeros pares por el Metodo abreviado y
omprebe
su resultado
on el Mtodo de la tabla de verdad.
(p q) r B)
r r/ s
Trabajo o apruebo lenguaje
C)
Si trabajo no puedo estudiar
r q Aprob lenguaje
p q Por lo tanto, yo estudi
r s/ p s
C)
2. Sea n un nmero entero, demuestre
que ni n2 es mltiplo de 3, enton
es si trabajo no puedo estudiar
q p
q p
B)
p p
p
p
q
C)
p p q
p r
q
q
D)
39
p q p q
p p q p
q q
E)
q r
p q r s
r s
p r
p q r
q r s
3. Smbolizar las proposi
iones, luego ha
er el
ir
uito lgi
o, luego simpli
ar,
adems ha
er el
ir
uito equivalente y es
ribir en palabras.
a ) {[( p q) r] [ (q (s p))]} (p q)
b ) { (p q) [(r p) (r s)} t
3. Simpli ar ([p q] q)