Lógica Proposicional

q
LGICA
AUTOR:
JUAN ALFREDO HUAMANCHAQUI QUISPE
ndi e General
1. lgi a proposi ional
Tipos de proposi iones . . . . . . . . . . . . . . . . . . .

Opera iones on proposi iones . . . . . . . . . . . . . . .
Ejer i ios de proposi iones . . . . . . . . . . . . . .
Tabla mole ular . . . . . . . . . . . . . . . . . . . . . . .
Ejer i ios de Tabla, Tautologa, Contradi in . . . .
Leyes lgi as . . . . . . . . . . . . . . . . . . . . . . . . .
Ejer i ios de leyes lgi as . . . . . . . . . . . . . . .
Inferen ias lgi as . . . . . . . . . . . . . . . . . . . . . .
Anlisis de inferen ia mediante las tablas de verdad .
Anlisis de inferen ia por el mtodo abreviado . . .
Anlisis de inferen ia por el mtodo analti o: . . . .
Ejer i ios de Inferen ia y demostra iones . . . . . .
Cir uitos Lgi os . . . . . . . . . . . . . . . . . . . . . .
Ejer i ios de Cir uitos lgi os . . . . . . . . . . . . .
Bibliografa
ariesjuan84@gmail.com
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
9
15
21
23
25
30
31
31
34
36
40
42
48
51
Li : Juan A. Huaman haqui
Captulo
lgi a proposi ional

Deni in 1.0.1 (Enun iado). Es ualquier frase u ora in que expresa
una idea.
Deni in 1.0.2 (Proposi in). Es todo enun iado que puede ser verdadero o falsa pero no ambos simultneamente.
Nota in: Las proposi iones los representaremos on las letras mins-
ulas p, q , r, . . ..
Deni in 1.0.3
(Enun iado abiertos). Son enun iados que pueden
tomar ualquiera de los 2 valores de verdad.
Observa in 1.0.1.
Notemos que todo proposi in son enun iados, pero no todo enun iado son proposi iones.
Las ora iones ex lamativas, exhortativas o imperativas, las desiderativas y las ex lamativas o admirativas no son proposi iones porque
ninguna de ellas arma o niega algo, por lo tanto no son verdaderas
ni falsas.
As mismo las ora iones dubitativas, los jui ios de valor (a pesar de
que arman algo), no onstituyen proposi iones, pues su vera idad
o falsedad no puede ser estable ida
Ejemplo
Enun iado
Porque no es una proposi in
Viva el Per!
Est lloviendo?
Lvate la ara
Admira in
Pregunta
Imperativa u orden
3
CAPTULO 1.
Pedro es muy malo

Debemos honrar a nuestros padres
Que tengas muy buen da
Quiz llueva maana
LGICA PROPOSICIONAL
Jui io de valor
Exhortativa
Desiberativa
Dubitativa
Re ordemos que:
1. Las Ora iones Exhortativas (o Imperativas) son aquellas uya fun in es expresar alguno de los siguientes mensajes: un onsejo, un
ruego o peti in, un mandato o una orden, una prohibi in o negativa.
2. La Ora in Desiderativa (u Optativa) es aquella que expresa deseo,
soli itud o spli a de manera indire ta: Ejemplos: 1) Ojal gane
la lotera: expresa deseo indire tamente Desiderativa. 2) Quiero
ganar la lotera: expresa deseo dire tamente no Desiderativa
3. Las Ora iones Dubitativas expresan probabilidad, duda o suposi in. Estas ora iones utilizan lo u iones adverbiales de Duda: omo
Adverbios
a aso
quizs
tal vez
probablemente
posiblemente
seguramente
sin duda
puede
puede ser
a lo mejor
Ejemplos
A aso resuelva el problema

Quizs resuelva el problema
Tal vez onoz as la solu in a este problema.
Probablemente se ponga a llover
Posiblemente aprobar el examen
Seguramente nos vayamos de va a iones a Brasil
Lo lograremos sin duda
Maana puede llover
Puede ser ierto lo que di es
A lo mejor mi madre me ompra un regalo
Ejemplo 1.0.1. De ir uales de los siguientes enun iados son proposi iones y sino lo es de ir que tipo de enun iado es:
1. Estamos en verano, pero ha e fro
2. Estamos en verano, mas ha e fro
3. Tal vez sea demasiado tarde para en ontrar un restaurante abierto
P
CAPTULO 1.
LGICA PROPOSICIONAL
4. A aso en uentre las llaves y n del problema

5. Estamos en verano, sin embargo ha e fro
6. Quiz tu novio te est esperando en el bar de la otra uadra
7. Ojal puedan venir on nosotros
8. O lo tomas o lo dejas
9. Te quedas en asa o te unes a nosotros?
10. Sern, ms o menos, las uatro y media de la tarde
11. Tal vez puedas arreglar la ventana on una varilla de madera
12. A aso te omiste todo el pastel?
13. Haz primero tu tarea
14. No vuelvas por aqu
15. Ojal me to ara la lotera!
16. Que te salga bien el examen!
17. Venid a ver esto!
18. Ojal puedan venir on nosotros
19. Que te salga bien el examen!
20. Que no llueva durante el partido!
21. Por Dios, que no sea nada!
22. Que tengas una feliz Navidad
23. Ojal no me toque ese profesor
24. Ojal se re upere pronto
25. Que te vaya bien!
26. Que tengas un lindo da
27. Ojal tu problema se solu ione lo ms rpido posible
28. Que sea on salud
P
CAPTULO 1.
LGICA PROPOSICIONAL
29. Ojal onsiga entradas para el re ital de Britney Spears

30. Lava los platos!
31. 6+4=15
32. Por favor, sintate
33. Javier, dame ese libro
34. Es u ha esta noti ia
35. No hagas ningn ruido!
36. Mami, reglame para un helado
37. Haga primero las tareas
38. Mami, omprame un perrito
39. Haz primero tu tarea
40. No vuelvas por aqu
41. Venid a ver esto!
42. Prohibido fumar
43. Prohibido esta ionar
44. La palabra SOL tiene 3 letras.
45. Apague su motor
46. Vete antes de que l venga!
47. Saluda a tu primo!
48. Levntate, que llegas tarde
49. El mes de agosto tiene 31 das.
50. La sanda es ri a.
51. El amin es un medio de transporte.
52. La playa es bonita.
53. los periodistas omuni an la verdad
P
TIPOS DE PROPOSICIONES
CAPTULO 1.
LGICA PROPOSICIONAL
54. El peridi o EL PERUANO es de ir ula in na ional.

55. Solo se que nada se.
56. La palabra SOL tiene 3 letras?
57. Cierra la ventana!
58. Quiero que ierres la ventana
59. ... que me diga esto.
60. ... slo si insistes.
Deni in 1.0.4 (Sujeto de una ora in). Es el elemento de la ora in

del ual se di e algo.
Tipos de sujetos
Sujeto t ito: Cuando el sujeto no est es rito, pero se puede
pensar en l, se llama sujeto t ito.
Sujeto expreso: Es la parte ontraria al sujeto t ito, es uando
en la ora in se en uentra es rita el sujeto mismo.
Deni in 1.0.5
(Predi ado de una ora in). Es lo que se predi a, lo
que se di e; es en s la expresin on sentido ompleto.
Tipos de predi ado

Predi ado verbal: Es uando el verbo expresa el omportamiento
del sujeto.
Predi ado nominal: Es uando el sustantivo, adjetivo o parti i-
pio que sigue al verbo opulativo (ser o estar) ali a, lasi a o

identi a al sujeto. Por ejemplo
1. Las alles de la iudad son estre has y tortuosas.
2. Las olas estn muy altas.
3. La Internet es una gran red.
Tipos de proposi iones

Existen dos tipos de proposi iones.
P
TIPOS DE PROPOSICIONES
1.
CAPTULO 1.
LGICA PROPOSICIONAL
Proposi in Simple o Atmi a: Son aquellos que tienen un solo

sujeto y un slo predi ado.
2.
Proposi iones Compuesta o Mole ular: 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.
Ejemplo 1.0.2. De ir ual de las siguientes proposi iones son simple

o ompuestas
1. Juan ome mu ho.

2. La llama es Peruana.
3. 45 > 3 s y slo s 12 + 6 = 18
4. El o he en iende uando tiene gasolina en el tanque y tiene orriente la batera
5. El gato es un animal y respira
6. Mai ol ome mu ho y la llama es peruana enton es la llama vive
on Mai ol.
7. 45 > 3 y 12 + 6 = 18
8. La manzana es una fruta y es saludable,
9. La tierra es plana.
10. Lava el o he por favor.
11. Siete es un nmero natural.
12. 45 > 3 s y slo s 12 + 6 = 18
13. Si 12 + 6 = 18, enton es 25 + 3 = 23
14. Santiago es la apital de Repbli a Domini ana.
P
OPERACIONES CON PROPOSICIONES

CAPTULO 1.
LGICA PROPOSICIONAL
Observa in 1.0.2. Sea di ho que las proposi iones sern representado
por las letra mins ulas p, q , r, ..., enton es ada uno de las letras
mins ulas representa un texto que tiene un valor de verdad ya puede
ser verdadero o falso. Es de ir que:
p : La luna es un satlite de la tierra (es proposi in)
q : 2 (mal representado)
r : 45 > 3 y 12 + 6 = 18 (es proposi in)
s : nada (mal representado)
Opera iones on proposi iones

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
1.
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.
pq
VV
VF
FV
FF
pq
V
F
F
F
Sinnimos del one tivo :
p y q p e q p pero q p aunque q p aun uando q

tanto p omo q p sino q p sin embargo q p adems
q p , q p aunque q p a la vez q et
2.
P
DISYUNCIN: Se llama disyun in o suma lgi a de las proposi-

CAPTULO 1.
LGICA PROPOSICIONAL
iones p, q , dadas en ese orden, a las, proposi iones que se obtienen

enun iando q a ontinua in de p unidas ambos por el one tivo
o.
DISYUNCIN INCLUSIVA O DBIL ():
La disyuntiva in lusiva o dbil es una proposi in oligativa que resulta

de unir las proposi iones p y q on el one tivo , esto es p q
y se lee p o q . Y tiene la tabla de verdad.
pq
VV
VF
FV
FF
pq
V
V
V
F
Sinnimos del one tivo:
p o q p u q p ya q p bien q p ora q p sea

q p o en todo aso q
DISYUNCIN EXCLUSIVA O FUERTE (): Tambin

la palabra o suele usarse en el sentido de ex luyente en este
aso se simboliza por , y se es ribe por "p q y se lee "p
o q pero no ambos. Y su tabla de verdad es:
pq
VV
VF
FV
FF
pq
F
V
V
F
p q o p o q o bien p o bien q p o q pero no ambos

p no equivale a q O solo p o solo q no es ierto que
p equivale a q
3.
P
NEGACIN (): La proposi in negativa de la proposi in ar-
10

CAPTULO 1.
LGICA PROPOSICIONAL
mativa p a otra que se denota por " p y se lee "no p, y su
tabla de valor:
p
V
F
p
F
V
no p nun a p jamas p tampo o p no es verdad que p

no es ierto que p es falso que p le falta p are e de p
sin p no es el aso que ( p ....), et
4.
CONDICIONAL O IMPLICANCIA ():
Una proposi in
ondi ional o impli an ia es el resultado de unir las proposi iones p
y q on el one tivo lgi o "si PROPOSICIN, enton es PROPOSICIN y se denota on el smbolo " se es ribe "p q y se lee
"si p enton es q , on tabla de valor
pq
VV
VF
FV
FF
pq
V
F
V
V
si p enton es q q si p p slo si q p su iente para q

q ne esario para p p solamente si q q a menos que p q
porque p p salvo que q q , puesto que p q tambin p
q ya que p q siempre que p q dado que p q ada vez
que p q slo uando p q dado que p et .
Nota 1: Tenemos que tener mu ho uidado on las proposi iones

( q , p ), los art ulos y preposi iones de la ora in, pues estas
ambian el sentido del one tivo lgi o . Por ejemplo: y si p
enton es q si q enton es p .
P
11

CAPTULO 1.
LGICA PROPOSICIONAL
Nota 2: Cada sinnimo del one tivo lgi o involu rado on los
sinnimos del one tivo lgi o invierten el orden de la ondi ional

.
5.
BICONDICIONAL (): las
proposi in "(p q) (q p)

es simbolizado omo "p q y se lee "p si y slo si q , on tabla
de verdad
pq
VV
VF
FV
FF
pq
V
F
F
V
p si y slo si q p uando y slo uando q si p , enton es y

slo enton es q , p ne esaria y su iente para q et
La jerarqua de las proposi iones son: nega in, onjun in, disyun-
in, impli a in, bi ondi ional y son aso iadas por la izquierda.
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 verdadero 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 denotaran omo V (p) = F o V (p) = V Para
poder visualizar, hagamos un ejemplo sen illo.
Ejemplo 1.0.3. sean las proposi iones:
p : El presidente del Per es Oyanta Humala.

q : Lima es apital de Per.
Es f il ver que los valores de verdad de las proposi iones son:

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
P
12

CAPTULO 1.
LGICA PROPOSICIONAL
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.
Ejemplo 1.0.4. Simbolizar ada una de las proposi iones:

1. El 20 % de 150 es 30 50.
2. La huelga ontinua, pues no hay solu in.
3. La luna no est he ha de queso verde
4. Mara est aqu o Elena est en asa
5. Si Pedro est en asa o Juan est en el patio, enton es Jos es
ino ente.
6. Ne esito ponerme las gafas o esta luz es dbil.
7. Los patitos no se transforman en isnes
8. O Antonio ir al teatro o ir al ine.
9. Las rosas son rojas y las violetas son azules
10. Es ne esario pagar 100 soles y ser mas joven para ingresar
al baile
Solu in: Sean los proposi iones: p : pagar 100 soles. q soy mas
joven. s : Ingresar al baile:

enton es Es ne esario p y q para s
enton es Si s enton es ( p y q )
simbolizando es s (p q)
11. Si no es el aso que mar os sea un omer iante y un prospero industrial, enton es es ingeniero o no es omer iante.
Solu in: Sean las proposi iones:
p : Mar os es omer iante,

q : mar os es un prospero industrial,
s : Mar os es un Ingeniero.
simbolizando se tiene (p q) (s p).
P
13

CAPTULO 1.
LGICA PROPOSICIONAL
12. Si p : Carlos vendr,

q : Carlos ha re ibido la arta,
s : Carlos est interesado todava en el asunto
Simbolizar:
a) Carlos vendr, si ha re ibido la arta, siempre que esta
interesado todava en el asunto.
Solu in:
p , si q , siempre s Si s enton es (si q enton es p )

simbolizando es s (q p)
b) O arlos vendr porque ha re ibido la arta o no esta
interesado todava en el asunto
Solu in:
o( p porque q ) o (no s )
simbolizando es (q p) r
) Carlos vendr si y slo si ha re ibido la arta o vendr

porque esta interesado todava en el asunto.
Solu in:
( p si y slo si q )o ( p porque s )
( p si y slo si q )o (si s enton es p )
(p q) (s p)
13. De la falsedad de (p q) ( r s), dedu ir el valor de verdad

de:
a) ( p q) q
b) [( r q) q] [( q r) s
) (p s) [(p q) q]
Solu in:Hallando los valores de verdad de ada una de las proposi iones:
(p q) ( r s) F
enton es
p q F y r s F
por lo tanto p F , q V , r F y s F .
on estos valores es muy f il hallar los que nos piden.
14

CAPTULO 1.
LGICA PROPOSICIONAL
Ejer i ios de proposi iones

En ada uno de los textos en uentre 15 proposi iones
1.
Una espe ie de rino eronte lanudo da nuevas pistas sobre

la Edad del Hielo
Un equipo de gelogos y paleontlogos des ubri en 2007 un rneo

ompleto y la mandbula inferior de una espe ie de estos rino erontes
(Coelodonta thibetana), en las estriba iones de la ordillera del Himalaya en la meseta tibetana.
El equipo estuvo dirigido por el profesor Wang Xiaoming del Museo
de Historia Natural de Los ngeles (NHM) y Li Qiang, del Instituto de
Paleontologa Vertebrada y Paleoantropologa de la A ademia China de
Cien ias.
La extin in de los ono idos omo "gigantes"de la Edad de Hielo,
omo el mamut y los rino erontes lanudos, los osos perezosos gigantes y
los gatos dientes de sable, ha sido estudiada exhaustivamente, pero los
ient os no han logrado averiguar la pro eden ia de estos gigantes o
mo lograron adaptarse al fro.
La lave la podra tener este nuevo fsil de rino eronte, que on 3,6
millones de aos (Plio eno medio), es mu ho ms antiguo y primitivo
que sus des endientes de la Edad del Hielo (Pleisto eno).
Generalmente se ha redo que los "mega herbvoros"del Pleisto eno
evolu ionaron de an estros menos resistentes al fro en Norteamri a y
Eurasia.
El estudio on luye que la meseta tibetana podra haber sido la una
evolutiva de los rino erontes lanudos y otras riaturas peludas resistentes
al fro que deambularon por Norteamri a y Eurasia durante la ltima
Edad del Hielo.
Este rino eronte des ubierto en la Cuen a de Zanda a los pies de
las olinas de los Himalayas en el Tibet suro idental, muestra laras
adapta iones a un lima ms fro y nevado.
Mediante el anlisis de la edad del fsil y sus ara tersti as fsi as,
los autores on luyen que este rino eronte, Coelodonta thibetana, fue un
an estro relativamente primitivo en el rbol genealgi o del rino eronte
lanudo, omparado on sus ontrapartes en el Pleisto eno.
Este hallazgo sugiere que los rino erontes se adaptaron a la fra Meseta Tibetana mu ho antes de que el ambio limti o se diera en otras
P
15

CAPTULO 1.
LGICA PROPOSICIONAL
reas, y que el Coelodonta thibetana estaba preparado para su expansin

al resto de Asia a medida que el lima se enfri.
As, uando lleg la Edad del Hielo tarda ha e unos 2,6 millones
de aos, segn el nuevo estudio, el rino eronte y las otras espe ies no
tuvieron ms que des ender de las altas montaas y empezaron a expandirse por el norte de Asia y Europa.
Los autores des riben similitudes en otros grandes fsiles animales
en ontrados en la Cuen a de Zanda, in luidos un leopardo de las nieves
y un antlope tibetano que se adaptaron al fro.
Esta regin puede, de esta manera, haber sido el trampoln para
una amplia variedad de espe ies resistentes al fro que se expandieron
posteriormente durante la ltima Edad del Hielo.
El do tor Wang expli a que .en los lugares fros, omo el Tbet, el
rti o y la Antrtida, se realizarn los des ubrimientos ms inesperados en el futuro, ya que ontinan siendo las fronteras que siguen an
inexploradas en gran parte".
2.
Juramaia sinensis, el ante esor ms antiguo de los mamferos a tuales
Un fsil hallado en el nordeste de China es el ante esor ms antiguo

de los mamferos pla entarios a tuales y sita el momento en que se
separaron de los marsupiales al menos 35 millones de aos antes de lo
que se pensaba.
As lo arman en un estudio publi ado en la revista Nature paleontlogos del Museo de Historia Natural Carnegie de Pittsburgh (EE.UU),
dirigidos por el hino Zhe-Xi Luo, que des riben los restos fsiles de un
mamfero pare ido a una musaraa que vivi en China ha e 160 millones
de aos durante el perodo Jursi o.
El fsil de "Juramaia sinensis"(que en latn signi a madre jursi a
de China) es .o bien una 'tatarata abuela' o una 'tatarabuela' de todos
los mamferos pla entarios (euterios) existentes hoy", arma Zhe-Xi.
En la a tualidad, el 90 % de los mamferos in luidos los humanos son
pla entarios (la ra se desarrolla en el interior de la madre), mientras
quedan mamferos marsupiales (la ra se desarrolla en una bolsa) en
Australia y Suramri a y algunas espe ies ovparas en Australia y Nueva
Guinea.
El mamfero pla entario ms antiguo ono ido hasta la fe ha databa
de ha e 125 millones de aos, segn el estudio.
P
16

CAPTULO 1.
LGICA PROPOSICIONAL
El des ubrimiento del fsil, en la provin ia nororiental hina de Liaoning, viene a orroborar los resultados de estudios genti os que situaban
la diferen ia in de los mamferos ha e 160 millones de aos, y a llenar
un va o en el registro fsil de su evolu in.
Segn los ient os, los "Juramaia sinensis.eran riaturas de pequeo
tamao, adaptados para trepar y vivir en los rboles a diferen ia de otros
mamferos de su po a, una apa idad que pudo permitirles sobrevivir
a las dif iles ondi iones de vida del Jursi o.
Entre los restos fsiles hallados guran el rneo in ompleto del animal, parte del esqueleto y huellas de tejidos residuales blandos omo
pelo.
Pero lo que permiti a los paleontlogos rela ionar al "Juramaiaon
los mamferos pla entarios a tuales y diferen iarlo de los marsupiales
omo el anguro fueron sobre todo su dentadura ompleta y los huesos
de la pata, seala el estudio.
"La separa in de los mamferos euterios de los marsupiales nalmente ondujo al na imiento pla entario y a la reprodu in que son
tan ru iales"para su xito evolutivo, arm Xhe-Xi.
Pero, segn el ient o, la lave de este xito fue su rpida adapta in
a la vida en los rboles.
3.
Los fsiles de ba terias ms antiguos de la Tierra "lunes 22
de agosto de 2011
Un equipo de ient os australianos han des ubierto los fsiles de ba terias "ms antiguos de la Tierra"que se ono en, pues los investigadores
fe han su apari in ha e 3.400 millones de aos, segn han expli ado
expertos de la Universidad de Oxford.
Investiga iones anteriores datan la edad de la Tierra de 4.500 millones
de aos, mientras que fe han el ini io de la vida en el planeta ha e 3.800
millones de aos, de modo que este hallazgo prueba que aos antes
de lo que los ient os pensaban "haba ba terias apa es de vivir sin
oxgeno".
En este sentido, los ient os han sealado que estn "muy seguros
de la edad de los fsiles", ya que las ro as sedimentarias donde los han
en ontrado se formaron entre dos episodios vol ni os. Con retamente,
el hallazgo, publi ado en 'Nature Geos ien e', se ha produ ido en una
zona ro osa ono ida omo Strelley Poll, al oeste del pas, y los fsiles
se estaban adosados a mi ros pi os ristales de pirita.
P
17

CAPTULO 1.
LGICA PROPOSICIONAL
Segn apunta el estudio, los fsiles fueron sometidos a pruebas que

demuestran que las formas dete tadas en la ro a son de naturaleza biolgi a, pues se pueden observar estru turas similares a las lulas, por
tanto, no es el resultado de un pro eso de mineraliza in. "Por primera
vez en ro as arqueanas, se halla una aso ia in dire ta entre una morfologa elular y subprodu tos del metabolismo", expli an los ient os.
Cuando apare ieron estas ba terias, ha e 3.400 millones de aos, la
Tierra era un lugar lido, on una fuerte a tividad vol ni a, y la temperatura de los o anos al anzaba los 50 grados. En la a tualidad sigue
habiendo ba terias que utilizan ms azufre que oxgeno para argarse de
energa y proliferar y se en uentran sobre todo en lugares lidos omo
las himeneas hidrotermales, al fondo de los o anos.
Diga si los siguientes enun iados son proposi iones o no
1. No engaes nun a a nadie.

2. Quiz exista miles y millones de universos.
3. a es la apital de Per
4. x es un numero par.
5. Los ele trones son part ulas que se en uentran alrededor del n leo
del tomo.
6. La semana tiene 7 das.
7. La on ep in que denomino "pragmatismo es asi misma que
la que Hilary Putnam denomina "la on ep in internalista de la
losofa.
Simbolizar ada una de las proposi iones

1. El 20 % de 150 es 30 50.
2. Dos ngulos son suplementarios siempre que formen un par lineal.
3. La huelga ontinua, pues no hay solu in.
4. Si onsigo una be a, enton es y solo enton es vejar al extranjero.
5. Cuando apruebe el examen de admisin ingresar a la Universidad.
6. David no es Limeo ni Loretano.
P
18

CAPTULO 1.
LGICA PROPOSICIONAL
7. El rea del tringulo ABC es igual al rea del tringulo DEF, o el

rea del tringulo ABC es menor que el rea del tringulo DEF
8. Se puede dar el ve tor por medio de dos omponentes, o estamos
en tres dimensiones.
9. O Juan ser reelegido o destinado para un puesto nuevo
10. O la aguja est gastada o la graba in es mala.
11. Hemos de llegar all antes, u otro re ibir el empleo.
12. Luisa no es una persona alta
13. Jaime no es puntual y Tom llega tarde
14. Si la distan ia entre el Sol y la Tierra hubiera deferido en apenas un
5 por iento, ninguna forma de vida habra podido surgir y nuestro
planeta habra sido un desierto.
15. Sin la apari in de la galaxia, sino la forma in de estrellas masivas,
sin el paso por el estadio de supernova, jamas habra podido existir
el hombre ni la vida.
16. las estrellas na en o viven, pero tambin mueren.
17. Los ongresistas representan a la Na in, pero no ests sujetos
a mandato imperativo. Luego, los ongresistas representan a la
Na in.
18. Felipe no ser expulsado del lub a menos que l ometa a tos de
trai in e inmoralidad. No ha sido expulsado. En onse uen ia no
ha ometido a tos de trai in ni de inmoralidad.
19. Si el nio, el adoles ente y el an iano son abandonados, enton es
son protegidos por el estado. Pero el nio es abandonado, tambin
el an iano. Luego, tanto el nio oo el an iano son protegidos.
20. Sin mandato judi ial ni autoriza in de la persona que lo habita, no
se puede ingresar en el domi ilio, tampo o efe tuar investiga in.
Pero se ingreso al domi ilio y efe tu la investiga in. En onse uen ia, hubo mandato judi ial y autoriza in de la persona que lo
habita.
P
19

CAPTULO 1.
LGICA PROPOSICIONAL
21. Un nmero es divisible por 2 si la ultima ifra de di ho nmero es

mltiplo de 2. Un nmero es por 3 si la suma de las ifras de di ho
nmero es mltiplo de 3. Pero di ho nmero no es divisible por 2 o
no lo es por 3. Por tanto, la suma de las ifras de un nmero no es
mltiplo de 3 si la ltima ifra de un nmero es mltiplo de 2.
Hallar el valor de verdad de algunas proposi iones

1. Determinar los valores de verdad de las siguientes proposi iones.
a) (3 + 54 = 8) (5 3 = 2)
b) (1 < 2) (5 + 9 = 14)
) (4 + 6 = 9) (5 2 = 4)
2. Se sabe que p q y q t son falsas, y se tiene las esquemas
mole ulares:
A) (q r) (p q)
B) (p q) ( r q)
C) [(p q) (q r)] (p r)
Cuantas de ellas son falsas.
3. Si la proposi in A = (p q) (r s) es falsa, hallar el
valor de verdad de las proposi iones q, p, r, s
4. (p q) (r s) es una proposi in verdadera, teniendo r y s de
verdad opuestos. Se arma que:
A) [( p q) (r s)] p Verdadero
B) [ (p q) (r s)] ( p q) Falso
C) [( r s) (p r)] (r s) Verdadero
Cuantas de las arma iones son verdaderas?
5. Si p, q, r, s, t, w son proposi iones ualesquiera tales que:
V ( w s) = F y
V [(p r) (s t)] = V ;
hallar el valor de verdad de las siguientes esquemas mole ulares.
A) [(p q) r] s
B) (s w) (r p)
C) [t (w p)] (p r)
20
TABLA MOLECULAR
CAPTULO 1.
LGICA PROPOSICIONAL
Tabla mole ular

Como hemos visto, en la deni in de opera iones on proposi iones,
ada one tivo lgi o tiene una tabla de valores, esto es:
pq
VV
VF
FV
FF
pq
V
F
F
F
p
F
V
pq
V
V
V
F
pq
F
V
V
F
pq
V
F
V
V
pq
V
F
F
V
Esta tabla nos ayudara a onstruir algunas tablas de verdad o Evalua in de esquemas mole ulares por tabla de verdad para proposi iones ompuestas muy omplejas o en su defe to lo llamaremos esquema mole ular omplejas. Para poder saber uantas permuta iones
de valores de verdad tiene un esquema mole ular se utiliza la frmula.
n =nmero de proposi iones, enton es 2n =nmero de permuta iones
posibles de valores de verdad. Para poder entender esta aso hagamos
un ejemplo
Ejemplo 1.0.5. 1. Sea el esquema mole ular [ (p q)] [ p

q].
Hallar su tabla mole ular.

Solu in omo n = 2 enton es 22 = 4, tiene 4 permuta iones
posibles de valores de verdad el esquema mole ular
pq
(p q)]
[ p
VV
VF
FV
FF
Pasos
F
V
V
V
2
V
F
F
F
1
F
F
V
V
3
F
V
F
V
4
V
V
V
V
6=2,5
F
V
V
V
5=3,4
2. Sea el esquema mole ular: [(p q) ( q r)] ( r p).

Hallar la tabla mole ular.
P
21
TABLA MOLECULAR
CAPTULO 1.
LGICA PROPOSICIONAL
posibles de valores de verdad el esquema mole ular.
3. Sea el esquema mole ular: [( p q) r] [(p q) r].

Solu in omo n = 3 enton es 23 = 8, tiene 8 ombina iones
4. Sea el esquema mole ular: [(p q) p] [(q r) ( q r)].
5. Si a epto el mundo que me ofre en y soy feliz as, enton es empiezo a avar mi propia sepultura; o bien, si no soy feliz as y veo
po as posibilidades de ambiar este mundo, emprendo as mismo
mi autoenterramiento.
Solu in: Denimos las proposi iones:
p : A epto el mundo omo me a re en.
q : Soy feliz as.
r : empiezo a avar mi propia tumba.
s : veo po as posibilidades de ambiar al mundo.
Simbolizando sera:
[(p q) r] [( q s) r]
y en la tabla de verdad sale toda verdad.

En el ejemplo anterior podemos notar de que la tabla mole ular nos
ta puro valor de verdad verdadero, tambin existen esquemas mole ulares que nos dan valores de verdad 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 valores son verdaderos y falsos a la vez.
De esta ultima deni in veamos un ejemplo:
Ejemplo 1.0.6. Sea el esquema mole ular [ (pq) p] (p q).

P
22
TABLA MOLECULAR
CAPTULO 1.
LGICA PROPOSICIONAL
Solu in omo n = 2 enton es 22 = 4, tiene 4 ombina iones posibles
de valores de verdad el esquema mole ular

pq
(p q)
pq
VV
VF
FV
FF
Pasos
F
F
F
V
3
V
V
V
F
2
F
F
V
V
1
F
V
F
V
6=4,5
V
F
V
V
5
F
F
F
V
4
Claramente podemos ver que el esquema mole ular nos da una ontingen ia.
Ejer i ios de Tabla, Tautologa, Contradi in

En ada uno de los ejer i ios hallar la tabla de verdad y
diga si es tautologa, ontradi in y ontingen ia
1. [(p q) (r q)] (p r)
2. [ p ( q p)] ( p q)
3. [(p q) p] ( q p)
4. [p (q r)] [(p r) q]
5. [(p q) (r q)] [(p q) (q r)]
6. {[( p r) q] [ q p r]} {(p q) (q r)}
7. Si el ejr ito mar ha ontra el enemigo, tiene posibilidades de xito, y arrasar la apital enemiga, si tiene posibilidades de xito.
Ahora bien, o el ejr ito mar ha ontra el enemigo, o se repliega
rpidamente. Si se repliega rpidamente, el enemigo ata ar la retaguardia; y perder la guerra, si el enemigo ata a la retaguardia.
Por onsiguiente, si no arrasa la apital enemiga, perder la guerra.
8. Si por su ara bonita lograra al anzar nota su iente, enton es no
habra que aumentar le la nota y llegara a ingresar en la fa ultad
deseada. Ahora bien, si no logra al anzar nota su iente, enton es le
P
23
TABLA MOLECULAR
CAPTULO 1.
LGICA PROPOSICIONAL
aumentamos la nota, y, on ello, por su ara bonita logra ingresar en

la fa ultad deseada; pero su ede tambin que pela gatos sin padrino
se queda en la alle (porque por su ara bonita le ha usurpado su
plaza de un modo realmente analles o). Por onsiguiente, no es
ierto que se aumente la nota a por su ara bonita y pela gatos sin
padrino no se quede en la alle.
9. Si eres s al, eres abogado. Si eres profesional, eres abogado. Luego,
si eres s al, eres profesional.
10. Sin la apari in de la galaxia, sin la forma in de estrellas masivas,
sin el paso por el estadio de supernova, jamas habra podido existir
el hombre ni la vida.
11. las estrellas na en o viven, pero tambin mueren.
12. Los ongresistas representan a la Na in, pero no ests sujetos
a mandato imperativo. Luego, los ongresistas representan a la
Na in.
13. Felipe no ser expulsado del lub a menos que l ometa a tos de
trai in e inmoralidad. No ha sido expulsado. En onse uen ia no
ha ometido a tos de trai in ni de inmoralidad.
el an iano. Luego, tanto el nio omo el an iano son protegidos.
habita.
17. Sin de ano ni onsejo de fa ultad no hay gobierno de la fa ultad ni
demo ra ia. Pero es falso que haya gobierno de la fa ultad o haya
P
24
LEYES LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
demo ra ia. Por lo tanto, es falso que haya de ano o haya onsejo
de fa ultad.
18. los profesores ordinarios son prin ipales, aso iados y auxiliares. Los
profesores extraordinarios son emritos, honorarios, investigadores,
y visitantes. Luego, los profesores ordinarios son prin ipales, aso iados y auxiliares.
19. O no ingresaste a la universidad o no onseguiste el empleo, pues es
ierto que no vendes tu asa si ingresas a la universidad y onsigues
un empleo; y tu vendiste tu asa.
20. Usted regres del lub la no he pasada on restos de tiza entre el
ndi e y el pulgar. Y lo ierto es que uando usted juega al billar,
se da tiza en ese sitio. Adems, uando usted juega al billar, he
de ser on Thurston. Por otro lado, ha e uatro semanas que usted dijo que Thurston tena una op in sobre determinados valores
sudafri anos y que deseaba que entrase on l en el nego io. Pero
si entrase on l en el nego io, tendra que utilizar su talonario de
heques que tena guardado en mi despa ho, y, adems, si utilizara
su talonario de heques, debera de haberme pedido la llave, pero no
me la ha pedido. Por onsiguiente, no se propone entrar en nego ios
on Thurston.
21. Ni ontigo ni sin t tiene mis males remedio; ontigo porque me
matas; y sin t, porque me muero
Leyes lgi as
Notemos que existen esquemas mole ulares (distintos) pero en la
tabla del esquema mole ular nos dan los valores de verdad iguales, a estos tipos de proposi iones los llamamos proposi iones equivalentes,
y sern de notados por , y son llamados omo ley.
LEYES LGICAS: las leyes lgi as son:
1.
Ley de Identidad: Una proposi in slo es idnti a a si mismo.

p p o p p.
2.
P
Ley de no ontradi in:
Una proposi in no puede ser verdadero y falsa a la vez. (p p).
25
LEYES LGICAS
3.
CAPTULO 1.
LGICA PROPOSICIONAL
Ley del ter io ex luido: Una proposi in es verdadero o es falso,
no existe otra posibilidad.
Observa in 1.0.3. Las tres leyes son las prin ipales que da la exis-
ten 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
7.
Ley de la Aso iatividad

a ) (p q) r p (q r)
b ) (p q) r p (q r)
) (p q) r p (q r)
8.
Ley de la distributividad
a)
b)
)
d)
9.
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Ley de Morgan:
a ) (p q) p q
b ) (p q) p q
10.
Ley de la ondi ional:

a ) p q p q
b ) (p q) q p
26
LEYES LGICAS
11.
CAPTULO 1.
LGICA PROPOSICIONAL
ley de la Bi ondi ional:

a ) p q (p q) (q p)
b ) p q (p q) ( q p)
12.
Ley de la Absor in:

a)
b)
)
d)
13.
p (p r) p
p ( p r) p r
p (p r) p
p ( p r) p r
ley de transposi in:

a ) p q q p
b ) p q q p
14.
Leyes Tautologa y Contradi in:

a)
b)
)
d)
e)
f)
g)
h)
i)
j)
T T T
T pp
T C C
T pT
CC C
Cpp
CpC
T C T
p p C
p p T
Para poder ver omo se trabaja on estas leyes lgi as hagamos algunos
ejemplos, re ordando que ada enumera in de las leyes lgi as tendrn
que ser aprendidas por los le tores del texto.
Ejemplo 1.0.7. Simpli ar ada uno de los siguientes proposi iones

ompuestas
1. (p r) (p r) (p s)
Solu in:
P
27
LEYES LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
p r p r p s
p p p r r s
p r r s
pT s
T
por
por
por
por
por
7, b)
6, b)
5, b)
14, j)
14, d)
por
por
por
por
8, a)
14, i)
14, f)
12, d)
por
por
por
por
por
por
por
9, a)
8, b)
14, i)
14, f)
10, a)
4
12, d)
Por lo que tenemos: T

2. (p q) [( p q) ( p q)]
Solu in:
(p q) [( p q) ( p q)]
(p q) [( p (q q)]
(p q) [ p C]
(p q) p
q p
Por lo que tenemos: q p

3. [ (p q) ( p q)] ( p q)
Solu in:
[( p q) ( p q)] ( p q)
[( p ( q q)] ( p q)
[( p C] ( p q)
p ( p q)
( p) ( p q)
p ( p q)
pq
Por lo que tenemos: p q

4. Hallar la forma equivalente de la proposi in:
Es ne esario entrenar debidamente y no ometer infra in para umplir buen papel deportivo.
La proposi in se puede es ribir omo:
Si entreno debidamente y no ometo infra in, enton es

dar un buen papel deportivo
Solu in Primero re onoz amos las proposi iones
P
28
LEYES LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
p : Entrenar debidamente.
q : Cometer infra iones.
s : Cumplir buen papel deportivo.
Enton es la proposi in se representa en forma lgi a:

(p q) s
Hallando la forma equivalente

(p q) s
(p q) s
[ p ( q)] s
[ p q] s
p (q s)
Por
Por
Por
Por
10 a
9a
4
7b
Por lo que tenemos: p (q s)

Finalmente la forma equivalente sera.
no entrenar debidamente, o ometer infra iones o umplir
buen papel deportivo.
5. Utilizando las leyes lgi as demostrar las siguientes tautologas.

a) p (q q) p
b) (p q) p p q
) (p q) p q
Solu in:
(p q)
[(p q) (q p)]
(p q) (q p)]
(p q) (q p)]
[(p q)q][(p q) p]
[p q] [ q p]
[ p q] [q p]
pq
por
por
por
por
por
por
por
11, a)
9, a)
10, b)
8, a)
12, d)
10, a)
11, a)
Por lo tanto umple.

d) (p r) (q r) (p q) r
6. Simpli ar ada una de las proposi iones

a) [(p p) q] [( q r) (q q) {p [ q (p q)]}]
b) [( p q) ( q p)] p
P
29
LEYES LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Ejer i ios de leyes lgi as

1. Demuestre que las bi ondi ionales siguientes son equivalen ias lgi as:
A) (p q) ( p) q
B) (p q) (p q) (q p)
C) (p q) p q
2. Simpli ar utilizando las leyes lgi as:
A) (q p) ( r p)
B) (q p) (q p)
C) {( p q) q} [(pq) q]
D) (p q) [(p q) q]
3. Si p q ( p) ( q), enton es
a ules es equivalente (p q)?:
A) [( p) q] [q p]
B) [( p) q] [( q) p]
C) [( p) ( q)] [q p]
4. Si p q ( p) ( q), Cules de las siguientes proposi iones
son tautologas?
A) [(p q) (q p)] (p q)
B) (p q) [p q]
C) (p q) (p q)
D) (p q) p q
5. Cuntas F y untas V tiene el resultado de la tabla de verdad
de: [(p q) r] (s s) despus de simpli arla?.
6. Determinar los siguientes esquemas ms simples equivalentes a las
proposi iones:
A) [ (p q) q] p
B) [(p q) p] ( q p)
C) { [ ( p q) q] [ (p q)]}
D) {[( p q) p q] [(pq) ( p q) p]} ( q)
E) [ ( p q) (p q)] [p ( p q r)]
30
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Inferen ias lgi as

Una inferen ia es una opera in que onsiste en derivar a partir de la
verdad de iertos proposi iones ono idas omo premisas a la verdad
de otra proposi in on lusin, esto es, Sean p1 , p2 , p3 , . . ., pn , proposi iones llamadas premisas y q una proposi in llamada on lusin.
A partir de las eviden ias de p1 , p2 , p3 , . . ., pn dan la verdad de la on lusin q .
Si p1 , p2 , p3 , . . ., pn son verdaderas, enton es q tambin es verdadera.
Anlisis de inferen ia mediante las tablas de verdad

Una inferen ia es valida mediante la tabla de la verdad si y slo si al
ser formalizada y evaluada su frmula ondi ional es una tautologa,
o en otros asos la inferen ia no es vlida.
Pasos a seguir
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.
2. Se expl ita en forma lgi a.
3. Se halla su frmula, expresando simbli amente sus premisas y 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.
5. Se evala la frmula mediante la tabla de verdad.
Ejemplo 1.0.8. De ir si la inferen ia El tringulo se llama isos eles si tiene dos lados iguales. No se llama iss eles. En onse uen ia no tiene dos lados iguales. es valida o no.
Solu in: Ha iendo los pasos a seguir:
1. La forma lgi a:
P
31
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
a) Si el tringulo tiene dos lados iguales, enton es el tringulo se
llama iss eles.

b) el tringulo no se llama iss eles.
en onse uen ia: El tringulo no tiene dos lados iguales.

) Expresando simbli amente:
p : El tringulo tiene dos lados iguales.
q : El tringulo se llama iss eles.
P q
q
p
2. Construyendo en forma ondi ional.

[(p q) q] p
3. evaluando en la tabla de verdad:

pq
[(p q)
q]
VV
VF
FV
FF
Pasos
V
F
V
V
1
F
F
F
V
3
F
V
F
V
2
V
V
V
V
5=3,4
F
F
V
V
4
Por lo tanto la inferen ia es valida, pues el resultado de la tabla es

Tautologa.
Ejemplo 1.0.9.
El pueblo es una masa pasiva que sigue bien

las ideas de un gran hombre, o bien los pre eptos de la idea
absoluta. Sigue los pre eptos de la idea absoluta. Por lo tanto
no sigue las ideas de un gran hombre.
La inferen ia es vlida.
Solu in: En la on lusin de la inferen ia podemos ver que hay doble
nega in.
32
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
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.
Luego: El pueblo es una masa pasiva que no sigue las ideas de un
gran hombre.
2. Expresar en forma lgi a
p : El pueblo es una masa pasiva que sigue bien las ideas de una
gran hombre.
q : El pueblo es una gran masa pasiva que sigue bien los pre eptos
de la idea absoluta.
pq
q
p
3. Construyendo a forma ondi ional.

[(p q) q] p
4. Analizando en la tabla de verdad.

pq
[(p q)
q]
VV
VF
FV
FF
Pasos
V
V
V
F
1
V
F
V
F
2
F
V
V
V
5=3,4
F
F
V
V
4
V
F
V
F
3
La inferen ia es invalida pues la tabla de verdad no da una Tautologa.
Ejemplo 1.0.10. Determinar si p q es una onse uen ia valida de

p q , q r, r.
P
33
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Solu in: Las premisas son p1 p q , p2 q r ,p3 r y
la on lusin es Q p q , debemos mostrar que: [( p q) (

q r) ( r)] p q es una tautologa.
Veamos en la tabla de verdad: n = 3 enton es 23 = 8, tiene o ho permuta iones posibles la inferen ia.
pqr
[( p q)
( q r)
( r)]
pq
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Pasos
V
V
V
V
F
F
V
V
1
V
V
V
F
V
V
V
F
2
F
V
F
V
F
V
F
V
3
V
V
V
V
V
V
V
V
7=6,5
V
V
V
V
V
V
V
V
6
V
V
V
F
F
F
V
F
5=1,4
F
V
F
F
F
F
F
F
4=2,3
por lo tanto, la inferen ia es valida.
Anlisis de inferen ia por el mtodo abreviado

Cuando el nmero de las proposi iones pasa de tres se forma muy
engorroso el mtodo de la tabla, por eso se ha e el siguiente mtodo .
El pro edimiento es inverso, empieza de mayor jerarqua " para pasar
al los de menor jerarqua terminando en las variables (valores de verdad)
de ada proposi in. Pasos a seguir:
1. Se supone verdadero el ante edente (Hiptesis) y falsa el onse uente ( on lusin).
2. Se determina los valores de la variable del onse uente de manera
que exprese la falsedad de esta inferen ia
3. Se traslada los valores al ante edente y se designa loa valores de los
dems variables (proposi iones), tratndose de ha er verdadero al
ante edente.
P
34
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
4. Se se veri a la hiptesis, la inferen ia es no Tautologa (No es

valida), y si no se veri a la hiptesis la formula sera Tautologa
(ser una inferen ia valida)
Ejemplo 1.0.11. Mediante el mtodo abreviado diga si la inferen ia es

vlida o no.
p q
rq
r
q
Solu in: Sigamos los pasos de la inferen ia
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
Notamos que, en la inferen ia que no hay ninguna ontradi in, enton es la inferen ia no es vlida.
Ejemplo 1.0.12. Si
Ral parti ipa en el omit ele toral de la

Universidad, enton es los estudiantes se enojarn on l, y si
no parti ipa en un omit ele toral de la Universidad, las autoridades universitarios se enojaran on l, Pero Ral parti ipar en un omit ele toral de la universidad. Por lo tanto, los
estudiantes universitarios o las autoridades se enojarn on l.
Diga se la inferen ia es vlida o no.

Solu in: Seas las proposi iones ompuestas:
p : Raul parti ipa en el omit ele toral de la Universidad.
q : Los estudiantes Universitarios se enojarn on l.
P
35
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
s : Las autoridades universitarias se enojarn on l.
Enton es la inferen ia es:
pq
ps
p p
qs
luego el esquema mole ular es:

[(p q) ( p s) (p p)] (q s)
1. Supongamos de la inferen ia es Falsa.

[(p q) ( p s) (p p)] (q s) F
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
Por lo tanto, La inferen ia es vlida.
Anlisis de inferen ia por el mtodo analti o:

Para este mtodo es ne esario ha er una lista de impli a iones
tables:
1.
no-
Ley del Modus Ponens: Su esquema mole ular es:

p q
p
q
2.
Ley del Modus Tollens: Su esquema mole ular es:

p q
q
p
36
INFERENCIAS LGICAS
3.
CAPTULO 1.
LGICA PROPOSICIONAL
Ley del Silogismo disyuntivo: Su esquema mole ular es:

p q
p
q
4.
Ley de la inferen ia equivalente: Su esquema mole ular es:

p q
p
q
5.
Ley del Silogismo Hipotti o: Su esquema mole ular es:

p q
q r
p r
6.
Ley de la transitividad simtri a: Su esquema mole ular es:

p q
q r
p r
7.
Ley de la simpli a in:Su esquema mole ular es:

p q
p
8.
Ley de Adi in: Su esquema mole ular es:

p
pq
9.
Ley del Absurdo: Su esquema mole ular es:

p (q q)
p
37
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Ejemplo 1.0.13. Demuestre que la inferen ia es vlida, mediante el

mtodo analti o.
{[(p q) r] s} [p (q r)] s.
Solu in: Su esquema lsi o es:
(p q r) s
(p q r)
s
por Modus Ponens (1), la inferen ia es vlida
Ejemplo 1.0.14. Diga si la inferen ia es vlida: Tanto
la dinmi a
omo la inemti a estudian el movimiento. Por tanto la inemti a estudia el movimiento.
Solu in:Llevando en forma lgi a:
La dinmi a estudia el movimiento y la inemti a estudia el movimiento. Por lo tanto la inemti a estudia el movimiento.
Expresando simbli amente:
p : La dinmi a estudia el movimiento.
q : La inemti a estudia en movimiento.
p q
q
La inferen ia es vlida por simpli a in (7)
Ejemplo 1.0.15. Demostrar que la inferen ia es vlida.

1)
2)
3)
4)
pq
qr
r
p s/ s
Trabajaremos por la sugeren ia. De 1) y 2) on la ley del Silogismo

hipotti o (5), se tiene
5) p r
De 3) y 5) on la ley del Moduns Tollens (2), se tiene

6) p
De 4) y 6) on la ley del Silogismo disyuntivo (3), se tiene

7) s
P
38
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Por lo tanto, siguiente nuestras hiptesis llegamos a la on lusin, enton es la inferen ia es vlida.
Un trabajo para los estudiantes se puede ha er por a observa in.
Ejemplo 1.0.16. Demostrar que la inferen ia es vlida.

1)
2)
3)
4)
5)
pq
r q
( p t)
ts
r/ s
Solu in: La inferen ia es equivalente a:
1)
2)
3)
4)
5)
pq
qr
p t)
ts
r/ s
6)
3)
4)
5)
pr
p t)
ts
r
De 1) y 2), tenemos
De 3) y 4), tenemos
6)
7)
5)
pr
p s s p
r
De 7 y 6), tenemos
8)
5)
sr
r
nalmente, de 8) y 5), tenemos

s
Por lo tanto la inferen ia es vlida

P
39
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL
Ejer i ios de Inferen ia y demostra iones

Diga si las siguientes inferen ias son validas o no, los nmeros impares
por medio de Mtodo Analti o, los nmeros pares por el Mtodo
abreviado y ompruebe su resultado on el Mtodo de la tabla de
verdad.
1. Verique la validez de los siguiente argumentos:
A)
p q
p q/ q
B)
(p q) (r s)
q s/ ( p) q
C)
p (p q)
(p q) r
r r/ s
C)
r q
p q
r s/ p s
el an iano. Luego, tanto el nio oo el an iano son protegidos.
habita.
P
40
INFERENCIAS LGICAS
CAPTULO 1.
LGICA PROPOSICIONAL

5. Sin de ano ni onsejo de fa ultad no hay gobierno de la fa ultad ni
demo ra ia. Pero es falso que haya gobierno de la fa ultad o haya
demo ra ia. Por lo tanto, es falso que haya de ano o haya onsejo
de fa ultad.
6. los profesores ordinarios son prin ipales, aso iados y auxiliares. Los
profesores extraordinarios son emritos, honorarios, investigadores,
y visitantes. Luego, los profesores ordinarios son prin ipales, aso iados y auxiliares.
7. O no ingresaste a la universidad o no onseguiste el empleo, pues es
ierto que no vendes tu asa si ingresas a la universidad y onsigues
un empleo; y tu vendiste tu asa.
8. Diga si las siguientes inferen ias son verdades.
A)
p q
p q/ q
B)
(p q) (r s)
q s/ ( p) q
C)
p (p q)
(p q) r
r r/ s
C)
r q
p q
r s/ p s
9. Sea n un nmero entero, demuestre que ni n2 es mltiplo de 3,
enton es es tambin mltiplo de 3.
P
41
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
10. Demuestre que no existe ningn numero ra ional q tal que q 2 = 3.

11. Dados los argumentos siguientes determine en ada aso si es un
argumento Vlido o si es una fala ia tradu iendo previamente a
smbolos. A)
Si 6 es impar, enton es 4 no divide a 7
5 no es primo o 4 divide a 7
Pero 5 es primo
6 es par (no primo)

B)
Trabajo o apruebo lenguaje
Si trabajo no puedo estudiar
Aprob lenguaje
Por lo tanto, yo estudi

C)
si trabajo no puedo estudiar
Estudio o apruebo Qumi a
Trabaj
Por lo tanto, aprob Qumi a
Cir uitos Lgi os

Un ir uito el tri o es un ensamblaje de interruptores automti os
que permiten el paso de la orriente el tri a, o la interrup in.
Se puede representar un interruptor mediante una proposi in p , y
vi eversa, de modo que se identique el valor verdadero (V ) de la
proposi in p on el paso de la orriente en uyo aso de di e que
p
el ir uito esta errado y se representa omo
, y
falso (F ) on la interrup in de la orriente y se representa omo
p
.
Existen don tipos de ir uitos lgi os y son
1.
Cir uito en Serie: Son aquellos provistos de dos interruptores p

y q , one tados en serie:
42
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
En este ir uito, no pasa orriente.

y la representa in de lgi a de este ir uito esta on el one tivo
, esto es, p q
p
q
En este ir uito, pasa orriente.
enton es en ir uito on el one tivo lgi o es p q .
2.
Cir uito en Paralelo: Son aquellos provistos de dos interruptores

p y q , one tados en Paralelo:
q
p
En este ir uito, no pasa orriente.
y la representa in de lgi a de este ir uito esta on el one tivo
, esto es, p q
q
p
En este ir uito, pasa orriente.
enton es en ir uito on el one tivo lgi o es p q .
Observa in: Algunas ve es tendremos la representa in V 1 y F

0.
Ejemplo 1.0.17. En los siguientes ejer i ios, tenga en uenta la forma

omo esta los parntesis para poder ha er lo que se le pide.
1. Disea el ir uito lgi o de la siguiente proposi in:
(p q) r
Solu in:
r
1)
p q
2)
43
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL

[p (r q)] [q r]
Solu in:
q
q r
r
p
p (r q)
1)
q
r q
2)
3)

[(p q r) ( p q r)] r
Ejemplo 1.0.18. Determinar el ir uito mas simple equivalente al ir uito
Ejemplo 1.0.19. Determinar el ir uito mas simple equivalente al ir uito
q
p
p
r
q
Solu in El esquema mole ular que representa el ir uito es:
[( p q) (p q)]
T
T
T
[p q]
44
{p [q ( p r)]}
(p q) (q r)
[p (q (q r))]
[p q]
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
p
q
Por lo tanto, el ir uito es
Ejemplo 1.0.20. Sea A el ir uito lgi o mas simple orrespondiente
a la proposi in [(p q) (p r)] [(p s) (p s)], y B ir uito

lgi o mas simple equivalente a:
q
Hallar el ir uito mas simple de A B Solu in:Hallas los ir uitos

A y B:
A
A
A
A
[(p q) (p r)] [(p s) (p s)]

[p (q r)] [(p (s s)]
p (q r) p T
p (q r)
y Ahora para el ir uito B .

B [( p q) ( p q)] ( q q)
B ( p q) T
B ( p q)
nalmente Hallemos que A B

AB
AB
AB
AB
p (q r) ( p q)
p ( q r) ( p q)
p ( p q) ( q r)
p ( q r)
q
p
Por lo tanto el ir uito es
45
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
Ejemplo 1.0.21. Si se tiene el siguiente diagrama de un ir uito booleano:

a
Hallar:
1. Simbolizar el ir uito lgi o, determinando las posibilidades de fun ionamiento del ir uito (Tabla de verdad)
2. Simpli ar a su mnima expresin; determinando en sta las posibilidades de fun ionamiento del ir uito.
3. Comparar los resultado
Solu in:
1. La simboliza in del ir uito es:

(a b) (a b) ( a b)
Hallando las posibilidades de fun ionamiento

ab
(a b)
(a
b)
11
10
01
00
Pasos
1
0
0
0
1
0
1
0
0
2
1
1
0
0
3
( a b)
1
1
0
1
5
0
0
0
1
4
2. Simpli ando:
A
A
A
A
(a b) (a b) ( a b)
[a (b b)] ( a b)
a ( a b)
a b)
Hallando las posibilidades de fun ionamiento

P
46
CIRCUITOS LGICOS
CAPTULO 1.
ab
a b
1
1
0
0
1
1
0
1
1
0
1
0
LGICA PROPOSICIONAL
3. Ambas tablas de verdad son idnti os, esto quiere de ir que si del
interruptor a no pasa orriente y del interruptor b para orriente
enton es en todo el ir uito no pasar orriente el tri a.
Ejemplo 1.0.22. Simpli ar el ir uito lgi o.

s
t
r
r
Solu in: simbolizando se tiene:
{( s t) [( s t) r] t} r
{( s t) t} r
{( s C} r
r
Ejemplo 1.0.23. Si D [(p r) (pq)] [(p s) (p s)]

q
halle el ir uito simpli ado de S D

Solu in: Simpli ando se tiene:
D
[(p r) (p q)] [(p s) (p s)]

[p (r q)] [p ( s s)]
[p (r q)] [p T ]
[p (r q)] p
p
47
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
Simbolizando y simpli ando.

S
[( q q) ( p q)] [ p q]
[C ( p q)] [ p q]
p q [ p q]
pq
por lo tanto: S D ( p q) p ( p q) p p q
Ejer i ios de Cir uitos lgi os

1. Determinar los ir uitos lgi os que representan a los siguientes
esquemas mole ulares:
A) [p (q r)]
B) (p q) [( p q) (p q)]
C) {[(r q) p] r} q
2. Determinar la menor expresin que representa al ir uito dado:
A)
p
q p
B)
p
p
q
C)
48
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
r
q
q
D)
p q
E)
q
p
r
q
r
p
s
r
3. Simbolizar 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 ) Si no se puede pes ar an hoveta ni atn, enton es las aguas del
mar peruano se han enfriado o alentado ex esivamente. Las

aguas del mar peruano se han alentado a enfriado ex esivamente. Por lo tanto, no se puede pes ar an hoveta si atn.
b ) La tragedia de la Mesa Redonda dejo er a a tres ientos muertos, dos ientos desapare idos, ms de dos ientos in uenta heridos y sete ientos lo ales devastados. En onse uen ia, dejo diez
millones de dlares en perdidas materiales.
) Si el Presidente de Chile designa omo ministra de defensa a
una mujer, mdi a y madre de tres hijos, enton es rompe la

tradi in ma hista de sus fuerzas armadas. El presidente de
Chile designo oo ministra de defensa a una mujer, mdi a y
49
CIRCUITOS LGICOS
CAPTULO 1.
LGICA PROPOSICIONAL
madre de tres hijo. Luego rompi la tradi in ma hista de sus

fuerzas armadas.
50
Bibliografa
[1 ESPINOZA RAMOS, Eduardo, Matemti a Bsi a., Editorial Edukper E.I.R.L.: Quinta edi in, Lima-Per, 2009
[2 FIGUERO GARCIA, Ri ardo, Matemti a Bsi a. Editorial
Amri a.
[3 HAASER, Norman B. LASALLE, Joseph P. SULLIVAN,
Joseph A., Anlisis Matemti o I, Edi iones trillas.
[4 K`REINK. C. FRANCO PALLETE, A. RAMOS TAPIA, J.
Matemti a Bsi a, Edirial Universit: de ima edi in, LimaPer, 2009.
[5 VENERO B. Armando, Matemti a Bsi a, Edi iones
Gemar: segunda edi in, Lima-Per, 2008.
[6 ..., Lgi a de proposi iones,
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/filosofia/intro_logi a/1_parte.pdf.
51

Lógica Proposicional

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lógica Proposicional

Uploaded by

Copyright:

Available Formats

q

JUAN ALFREDO HUAMANCHAQUI QUISPE

Tipos de proposi iones . . . . . . . . . . . . . . . . . . .

Li : Juan A. Huaman haqui

lgi a proposi ional

(Enun iado abiertos). Son enun iados que pueden

tomar ualquiera de los 2 valores de verdad.

Porque no es una proposi in

Pedro es muy malo

A aso resuelva el problema

Li : Juan A. Huaman haqui

4. A aso en uentre las llaves y n del problema

Li : Juan A. Huaman haqui

29. Ojal onsiga entradas para el re ital de Britney Spears

Li : Juan A. Huaman haqui

54. El peridi o EL PERUANO es de ir ula in na ional.

Deni in 1.0.4 (Sujeto de una ora in). Es el elemento de la ora in

pensar en l, se llama sujeto t ito.

Sujeto expreso: Es la parte ontraria al sujeto t ito, es uando

en la ora in se en uentra es rita el sujeto mismo.

(Predi ado de una ora in). Es lo que se predi a, lo

que se di e; es en s la expresin on sentido ompleto.

Tipos de predi ado

Predi ado nominal: Es uando el sustantivo, adjetivo o parti i-

pio que sigue al verbo opulativo (ser o estar) ali a, lasi a o

Tipos de proposi iones

Li : Juan A. Huaman haqui

Proposi in Simple o Atmi a: Son aquellos que tienen un solo

Proposi iones Compuesta o Mole ular: Son aquellos que tienen

Ojo: El valor de verdad de las proposi iones ompuestas depende mu ho

Ejemplo 1.0.2. De ir ual de las siguientes proposi iones son simple

1. Juan ome mu ho.

Li : Juan A. Huaman haqui

OPERACIONES CON PROPOSICIONES

Observa in 1.0.2. Sea di ho que las proposi iones sern representado

Opera iones on proposi iones

CONJUNCIN (): La onjun in es el resultado de omponer

estas proposi iones on el one tivo lgi o   y se lee  y , y se

Sinnimos del one tivo :

p y q p e q p pero q p aunque q p aun uando q

DISYUNCIN: Se llama disyun in o suma lgi a de las proposi-

Li : Juan A. Huaman haqui

OPERACIONES CON PROPOSICIONES

iones p, q , dadas en ese orden, a las, proposi iones que se obtienen

DISYUNCIN INCLUSIVA O DBIL ():

La disyuntiva in lusiva o dbil es una proposi in oligativa que resulta

Sinnimos del one tivo:

p o q p u q p ya q p bien q p ora q p sea

DISYUNCIN EXCLUSIVA O FUERTE (): Tambin

Sinnimos del one tivo :

p q o p o q o bien p o bien q p o q pero no ambos

NEGACIN (): La proposi in negativa de la proposi in ar-

Li : Juan A. Huaman haqui

OPERACIONES CON PROPOSICIONES

Sinnimos del one tivo :

no p nun a p jamas p tampo o p no es verdad que p

CONDICIONAL O IMPLICANCIA ():

Sinnimos del one tivo :

si p enton es q q si p p slo si q p su iente para q

Nota 1: Tenemos que tener mu ho uidado on las proposi iones

Li : Juan A. Huaman haqui

OPERACIONES CON PROPOSICIONES

sinnimos del one tivo lgi o invierten el orden de la ondi ional

4. A aso en uentre las llaves y n del problema

Deni in 1.0.4 (Sujeto de una ora in). Es el elemento de la ora in

pio que sigue al verbo opulativo (ser o estar) ali a, lasi a o

estas proposi iones on el one tivo lgi o y se lee y , y se

NEGACIN (): La proposi in negativa de la proposi in ar-

si p enton es q q si p p slo si q p su iente para q

proposi in "(p q) (q p)