1

UNIVERSIDAD NACIONAL DE SAN CRISTBAL DE

HUAMANGA

FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y CIVIL

ESCUELA DE FORMACIN PROFESIONAL DE CIENCIAS FSICO
MATEMTICAS

TEXTO GUA Y HOJA DE PRCTICA

DOCENTE:
JUAN ALFREDO HUAMANCHAQUI QUISPE

7 de septiembre de 2011
 2

LEA ANTES DE EMPEZAR

Seores estudiantes formen grupos de 5 o 6 estudiantes, y resuelvan todos los

ejer i ios propuestos de esta gua. Y sean on ientes que ustudes deben estudian
para un examen independiente. Se le pondra una fe ha de entrega de todos los
trabajos que se les entregara durante el semestre a admi o, resuelva por anti ipado
y le suguiero que pase en una hoja limpia los ejer i ios que ya los esta resolviendo
( ada ejer i io tendra el nmero de pgina de esta gua y su nmero orrespondiente
de pregunta) y luego guardelos haste el da de entrega. No espere hasta el da del
examen para resolverlos porque se les a umulara los trabajos (el tiempo estimado
para que terminen el trabajo debeser de 5 das).
Ojo al resolver estos ejer i ios usted ya estaran preparado un 50 por iento para
el examen, resuelva los ejer i ios propuestos de Figueroa y Venero matemti a
Bsi a, el ual usted ya estara preparado un 75 por iento. Por lo tanto ya puede
entrar el examen.
Nota: Usted puede preguntar en el departamentoi de Matemti a los das que se
les ha entregado.
Atentamente:
El profesor del Curso.
 3

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

0.1. Lgi a Proposi ional

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.

0.1.1. TIPOS DE PROPOSICIONES

existen dos tipos de 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.

0.1.2. OPERACIONES CON PROPOSICIONES

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

Sinonimos 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 ni p ni q p sin embargo q p adems q p , q et

DISYUNCIN: Se llama disyun in o suma lgi a de las proposi iones p, q ,

dadas en ese orden, a las, proposi iones que se obtienen enun iando  q a ontin-
ua in de p unidas ambos por el one tivo o.
DISYUNCIN INCLUYENTE (): La disyuntiva in lusiva o dbil es una
proposi in oligativa que resulta de unier 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 pq
VV V
VF V
FV V
FF F

DISYUNCIN EXCLUYENTE (): Tambin la palabra o suele usarse

en el sentido de ex luyente en este aso lo simbolizaremos por  , y se es ribe por
"p q  y se lee "p o q pero no ambos. Y su tabla de verdad es:

pq pq
 6

VV F
VF V
FV V
FF F

Sinonimos del one tivo :

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

NEGACIN (): La proposi in negativa de la proposi in armativa "p a

otra que se denota por " p y se lee "no p, y su tabla de valor:

p p
V F
F V

Sinonimos del one tivo :

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 ete

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 pq
VV V
VF F
FV V
FF V
 7

Sinonimos del one tivo :

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 a no ser que p p salvo que q
q , puesto que q , p , tambin q et

BICONDICIONAL (): las proposi in "(p q) (q p) es smbolizado

omo "p q  y se lee "p si y slo si q , on tabla de verdad

pq pq
VV V
VF F
FV F
FF V

Sinonimos del one tivo :

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 suen iente para q et

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.

Ejemplo 0.1.1. sean las proposi iones:

p : El presedente del Per es Alan Gar ias.
q : Lima es apital de Per.
Es fa il ver que los valores de verdad de las proposi iones son:
 8

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.

0.1.3. Ejer i ios de proposi iones

En ada uno de los textos en uentre 15 proposi iones

1. Una espe ie de rino eronte "gigantes"de la Edad de Hielo, omo el

lanudo da nuevas pistas sobre mamut y los rino erontes lanudos, los os-
la Edad del Hielo "viernes 2 de os perezosos gigantes y los gatos dientes
septiembre de 2011 de sable, ha sido estudiada exhaustiva-
mente, pero los ient os no han logrado
Un equipo de gelogos y paleontlogos
averiguar la pro eden ia de estos gigantes
des ubri en 2007 un rneo omple-
o mo lograron adaptarse al fro.
to y la mandbula inferior de una es-
La lave la podra tener este nuevo
pe ie de estos rino erontes (Coelodon-
fsil de rino eronte, que on 3,6 millones
ta thibetana), en las estriba iones de la
de aos (Plio eno medio), es mu ho ms
ordillera del Himalaya en la meseta ti-
antiguo y primitivo que sus des endientes
betana.
de la Edad del Hielo (Pleisto eno).
El equipo estuvo dirigido por el pro-
fesor Wang Xiaoming del Museo de His- Generalmente se ha redo que los

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-

Este rino eronte des ubierto en la betano que se adaptaron al fro.

Cuen a de Zanda a los pies de las oli- Esta regin puede, de esta manera,

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

limti o se diera en otras reas, y que Un fsil hallado en el nordeste de Chi-

el Coelodonta thibetana estaba prepara- na es el ante esor ms antiguo de los
do para su expansin al resto de Asia a mamferos pla entarios a tuales y sita
medida que el lima se enfri. el momento en que se separaron de los
As, uando lleg la Edad del Hielo marsupiales al menos 35 millones de aos
tarda ha e unos 2,6 millones de aos, antes de lo que se pensaba.
segn el nuevo estudio, el rino eronte y As lo arman en un estudio publi a-
las otras espe ies no tuvieron ms que do en la revista Nature paleontlogos del
des ender de las altas montaas y em- Museo de Historia Natural Carnegie de
pezaron a expandirse por el norte de Asia Pittsburgh (EE.UU), dirigidos por el hi-
y Europa. no Zhe-Xi Luo, que des riben los restos
 10

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.

El fsil de "Juramaia sinensis"(que en Entre los restos fsiles hallados g-

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-

ma Zhe-Xi. tlogos rela ionar al "Juramaiaon los

mamferos pla entarios a tuales y difer-
En la a tualidad, el 90 % de los
en iarlo de los marsupiales omo el an-
mamferos in luidos los humanos son pla-
guro fueron sobre todo su dentadura
entarios (la ra se desarrolla en el in-
ompleta y los huesos de la pata, seala
terior de la madre), mientras quedan
el estudio.
mamferos marsupiales (la ra se de-
"La separa in de los mamferos eu-
sarrolla en una bolsa) en Australia y
terios de los marsupiales nalmente on-
Suramri a y algunas espe ies ovparas
dujo al na imiento pla entario y a la re-
en Australia y Nueva Guinea.
produ in que son tan ru iales"para su
El mamfero pla entario ms antiguo
xito evolutivo, arm Xhe-Xi.
ono ido hasta la fe ha databa de ha e
Pero, segn el ient o, la lave de
125 millones de aos, segn el estudio.
este xito fue su rpida adapta in a la
El des ubrimiento del fsil, en la
vida en los rboles.
provin ia nororiental hina de Liaoning,
viene a orroborar los resultados de es- 3. Los fsiles de ba terias ms an-
tudios genti os que situaban la diferen- tiguos de la Tierra "lunes 22 de
ia in de los mamferos ha e 160 mil- agosto de 2011

lones de aos, y a llenar un va o en el Un equipo de ient os australianos han

registro fsil de su evolu in. des ubierto los fsiles de ba terias "ms
Segn los ient os, los "Jurama- antiguos de la Tierra"que se ono en,
ia sinensis.eran riaturas de pequeo pues los investigadores fe han su apari-
tamao, adaptados para trepar y vivir en in ha e 3.400 millones de aos, segn
 11

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

Diga si los siguientes enun iados son proposi iones o no

1. No engaes nun a a nadie. tomo.

2. Quiz exista miles y millones de 6. La semana tiene y das.

universos.
7. La on ep in que denomino
3. a es la apital de Per "pragmatismo es asi misma que
la que Hilary Putnam denomina
4. x es un nmro par.
"la on ep in internalista de la
5. Los ele trones son parti ulas que se losofa.
en uentran alrededor del nu leo del
 12

Smbolizar ada una de las proposi iones

1. El 20 % de 150 es 30 50. los ongresistas representan a la

Na in.
2. Dos
ngulos son suplementarios
siempre que formen un par lineal. 11. Felipe no ser expulsado del lub
a menos que l ometa a tos de
3. La huelga ontinua, pues no hay
trai in e inmoralidad. No ha sido
solu in.
expulsado. En onse uen ia no ha

4. Si onsigo una be a, enton es y solo ometido a tos de trai in ni de in-

enton es viejare al extranjero. moralidad.

5. Cuando apruebe el examen de ad- 12. Si el nio, el adoles ente y el an-

misin ingresare a la Universidad. iano son abandonados, enton es

son protegidos por el estado. Pero
6. David no es Limeo ni Loretano. el nio es abandonado, tambien el
an iano. Luego, tanto el nio oo el
7. Si la distan ia entre el Sol y la Tier-
an iano son protegidos.
ra hubiera deferido en apenas un
5 por iento, ninguna forma de vi- 13. Sin mandato judi ial ni autor-
da habra podido surgir y nuestro iza in de la persona que lo habi-
planeta habra sido un desierto. ta, no se puede ingresar en el
domi ilio, tampo o efe tuar inves-
8. Sin la apari in de la galaxia, sinb
tiga in. Pero se ingreso al domi-
la forma in de estrellas masivas,
ilio y efe tuo la investiga in. En
sin el paso por el estadio de super-
onse uen ia, hubo mandato judi-
nova, jamas habra podido existir el
ial y autoriza in de la persona
hombre ni la vida.
que lo habita.
9. las estrellas na en o viven, pero
14. Un nmero es divisible por 2 si
tambin mueren.
la ultima ifra de di ho nmero es
10. Los ongresistas representan a multiplo de 2. Un nmero es por
la Na in, pero no ests suje- 3 si la suma de las ifras de di ho
tos a mandato imperativo. Luego, nmero es multiblo de 3. Pero di ho
 13

nmero no es divisible por 2 o no lo ifras de un nmero no es multiplo

es por 3. Por tanto, la suma de las de 3 si la ltima ifra de un nmero
es multiplo de 2.

Hallar el valor de verdad de algunas proposi iones

1. Determinar los valores de verdad de A) [( p q) (r s)] p Ver-

las siguientes proposi iones. dadero
a) (3 + 54 = 8) (5 3 = 2) B) [ (p q) (r s)] ( p q)
b) (1 < 2)(5 + 9 = 14) Falso
) (4 + 6 = 9) (5 2 = 4) ) [( r s) (pr)] (rs)
Verdadero
2. Se sabe que pq y q t son falsas,
Cuantas de las arma iones son
y se tiene las esquemas mole ulares:
verdaderas?
A) (q r) (p q)
B) (p q) ( r q) 5. Si p, q, r, s, t, w son proposi iones
C) [(p q) (q r)] (p r) ualesquiera tales que:
V ( w s) = F y
3. Si la proposi in A = (p q)
V [(p r) (s u)] = V ; hal-
(r s) es falsa, hallar el valor de
lar el valor de verdad de las sigu-
verdad de las proposi iones q, p, r, s
ientes esquemas mole ulares.
4. (p q) (r s) es una proposi in A) [(p q) r] s
verdader, teniendo r y s de verdad B) (s w) (r )
opuestos. Se arma que: C) [t (w p)] (p r)

0.1.4. TABLA MOLECULAR

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

Esta tabla nos ayudara a onstruir algunas tablas de verdad o Evalu a 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 uanto onvina iones de valores de verdad tiene un esquema mole ular
se utiliza la frmula.
n =nmero de proposi iones, enton es 2n =nmero de ombina iones posibles de
valores de verdad. Para poder entender esta aso hagamos un ejemplo

Ejemplo 0.1.2. 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 ombina iones posibles de valores
de verdad el esquema mole ular

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

valores son verdaderos y falsos a la vez.

De esta ultima deni in veamos un ejemplo:

Ejemplo 0.1.3. Sea el esquema mole ular [ (p q) p] (p q).

Hallar la tabla mole ular. 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) 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.

0.1.5. Ejer i ios de Tabla, Taotologa, Contradi in y Con-

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

1. [(p q) (r q)] (p r) 6. {[( p r) q] [ q

p r]} {(p q) (q r)}
2. [ p ( q p)] (
p q) 7. Si eres s al, eres abogado. Si eres
profe ional, eres abogado. Luego, si
3. [(p q) p] ( q p) eres s al, eres profesional.

4. [p (q r)] [(p r) q] 8. Sin la apari in de la galaxia, sin la

forma in de estrellas masivas, sin
5. [(p q) (r q)] [(p el paso por el estadio de superno-
q) (q r)] va, jamas habra podido existir el
 16

hombre ni la vida. 14. Un nmero es divisible por 2 si

la ultima ifra de di ho nmero es
9. las estrellas na en o viven, pero
multiplo de 2. Un nmero es por
tambin mueren.
3 si la suma de las ifras de di ho
10. Los ongresistas representan a nmero es multiblo de 3. Pero di ho
la Na in, pero no ests suje- nmero no es divisible por 2 o no lo
tos a mandato imperativo. Luego, es por 3. Por tanto, la suma de las
los ongresistas representan a la ifras de un nmero no es multiplo
Na in. de 3 si la ltima ifra de un nmero

11. Felipe no ser expulsado del lub es multiplo de 2.

a menos que l ometa a tos de

15. Sin de ano ni onsejo de fa ul-
trai in e inmoralidad. No ha sido
tad no hay gobierno de la fa ul-
expulsado. En onse uen ia no ha
tad ni demo ra ia. Pero es falso que
ometido a tos de trai in ni de in-
haya gabierno de la fa ultad o haya
moralidad.
demo ra ia. Por lo tanto, es falso
12. Si el nio, el adoles ente y el an- que haya de ano o haya onsejo de
iano son abandonados, enton es fa ultad.
son protegidos por el estado. Pero
el nio es abandonado, tambien el 16. los profesores ordinarios son prin-

an iano. Luego, tanto el nio omo ipales, aso iados y auxiliares.

Los profesores extraordinarios
el an iano son protegidos.
son emritos, honorarios, investi-
13. Sin mandato judi ial ni autor-
gadores, y visitantes. Luego, los
iza in de la persona que lo habi-
profesores ordinarios son prin i-
ta, no se puede ingresar en el
pales, aso iados y auxiliares.
domi ilio, tampo o efe tuar inves-
tiga in. Pero se ingreso al domi- 17. O no ingresaste a la universidad o
ilio y efe tuo la investiga in. En no onseguiste el empleo, pues es
onse uen ia, hubo mandato judi- ierto que no vendes tu asa si in-
ial y autoriza in de la persona gresas a la universidad y onsigues
que lo habita. un empleo; y tu vendiste tu asa.
 17

0.1.6. LEYES LGICAS

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:

1. Ley de Identidad: Una proposi in slo es identi a a si mismo. p p o

p p.

2. Ley de no ontradi in: Una proposi in no puede ser verdadero y falsa

a la vez. (p p).

3. Ley del ter io ex luido: Una proposi in es verdadero o es falso, no existe

otra posivilidad.

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

7. Ley de la Aso iatividad

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

10. Ley de la ondi ional:

a ) p q p q
b ) (p q) q p

11. 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 ) p (p r) p
b ) p ( p r) p r
) p (p r) p
d ) p ( p r) p r

13. ley de transposi in:

a ) p q q p
b ) p q q p

14. Leyes Tautologa y Contradi in:

 19

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

Veamos algunos ejemplos:

Ejemplo 0.1.4. Hallar la forma equivalente de la proposi in: es nese ario en-

trenar debidamente y no ometer infra in para umplir buen papel de-

portivo.

La proposi in se puede es ribir omo:

Para umplir buen papel deportivo es nese ario entrenar debidamente y

no ometer infra in o
Si entreno debidamente y no ometo infra in, en ontes dar un buen

papel deportivo

Solu in Primero re onos amos las proposi iones

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
utilizando la ley (10 a), tenemos (p q) s.
Por la ley de Morgan (9 a), tenemos ( p q) s.
apli ando la aso iatividad (7 b), tenemos p (q s).
 20

Finalmente la forma equivalente sera. no entrenar debidamente, es ometer

infra iones o umplir buen papel deportivo.

0.1.7. Ejer i ios de leyes lgi as

1. Demuestre que las bi ondi ionales tautologas?

siguientes son equivalen ias lgi as: A) [(p q) (q p)] (p q)
A) (p q) ( p) q B) (p q) [p q]
B) (p q) (p q) (q p) C) C) (p q) (p q)
(p q) p q D) (p q) p q

2. Simpli ar utilizando las leyes lg- 5. Cuntas F y untas V tiene el

i as: resultado de la tabla de verdad de:
A) (q p) ( r p) [(pq) r](s s) despus
B) (q p) (q p) de simpli arla?.
C) {( p q) q}
[(pq) q] 6. Determinar los siguientes esque-

D) (p q) [(p q) q] mas ms simples equivalentes a las

proposi iones: A) [ (p q)
3. Si p q ( p) ( q), enton es
q] p
a ules es equivalente (p
B) [(p q) p] ( q p)
q)?:
C) { [ ( p q) q] [
A) [( p) q] [q p]
(p q)]}
B) [( p) q] [( q) p]
D) {[( p q)pq][(pq](
C) [( p) ( q)] [q p]
p q) p]} ( q)
4. Si p q ( p) ( q), Cules E) [ ( p q) (p q)]
de las siguientes proposi iones son [p ( p q r)]

0.1.8. INFERENCIA LGICA

Una inferen ia es una opera in que onsiste en derivar apartir 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.
 21

Apartir 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.
Analisis 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 formula ondi ional es una tautologa, o en otros asos la inferen ia
es valida.
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 expli ita en forma lgi a.

3. Se halla su frmula, expresando smboli 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 evalua la frmula mediante la tabla de verdad.

Ejemplo 0.1.5. 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 formalgi a:

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 smboli amente:

p : El triangulo tiene dos lados iguales.
q : El tringulo se llama iss eles.
 22

P q

2. Construyendo en forma ondi ional.

[(p q) q] p

3. evaluando en la tabla de verdad:

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

Por lo tanto la inferen ia es valida, pues el resultado de la tabla es Tuatologa.

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

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 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.

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

3. Construyendo a forma ondi ional.

[(p q) q] p

4. Analizando en la tabla de verdad.

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

La inferen ia es invalida pues la tabla de verdad no nos da una Tautologa.

Ejemplo 0.1.7. Determinar si p q es una onse uen ia validad de p q ,

q r , r .
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 ombina iones
posiblesla inferen ia.
 24

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

por lo tanto, la inferen ia es valida.

Analisis de inferen ia por el mtodo abreviado

Cuando el nmero de las proposi iones pasa de tres se forma muy engorrosoel mto-
do 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 jerarua terminando en as variables (valores de vardad) de ada proposi in.
Pasos a seguir:

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.

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)
 25

Ejemplo 0.1.8. Mediante el mtodo abraviado diga si la inferen ia es valida o no.

p q

rq

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: en la inferen ia que no hay ninguna ontradi in, enton es la inferen ia

no es vlida.

Ejemplo 0.1.9. Si Raul 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 omite

ele toral de la Universidad, las autoridades universitarios se enojaran

on l, Pero Raul parti ipar en un omite ele toral de la universidad.

Por lo tanto, los estudiantes universitarios o las autoridades se enojarn

on l. Diga se la inferen ia es valida o no.

Solu in: Seas las proposi iones ompuestas:
p : Raul parti ipa en el omite ele toral de la Universidad.
q : Los estudiantes Universitarios se enojarn on l.
s : Las autoridades universitarias se enojarn on l.
 26

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 notables:

1. Ley del Modus Ponens: Su esquema mole ular es:

p q

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

p q

p
 27

3. Ley del Silogismo disyuntivo: Su esquema mole ular es:

p q

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

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

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

pq
 28

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

p (q q)

Ejemplo 0.1.10. 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)

por Modus Ponens (1), la inferen ia es vlida

Ejemplo 0.1.11. Diga se la inferen ia es vlida: Tanto la dinmi a omo la

inemati a estudian el movimiento. Por tanto la enemti a estudia el

mivimiento.

Solu in:Llevando en forma lgi a:

La dinmi a estudia el novimiento y la inemti a estudia el movimiento. Por lo
tanto la inemti a estudia el movimiento.
Expresando simboli amente:
p : La dinmi a estudia el movimiento.
q : La inemati a estudia en movimiento.

p q

La inferen ia es vlida por simpli a in (7)

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

2. Demostra in indire 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

donde Pn , para n N, y q son proposi iones simples o ompuestas.

1. Se asigna a ada proposi in simple su orrespondiente variable (en el aso
que la inferen ia est en texto).

2. Smbolizamos las premisas y la on lusin, disponiendo aquellas en forma ver-

ti al y es ribiendo la on lusin a ontinua in de la ultima premisa (en el
mismo reglon). Entre la ultima premisa y su on lusin se es ribe una barra
separatoria / seguido del smbolo que se lee por lo tanto.

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.

Ejemplo 0.1.12. Demostrar que la inferen ia es vlida.

1) pq

2) qr

3) r

4) p s/ s

Trabajaremos por la sugeren ia. De 1) y 2) on la ley del Silogsmo 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

Por lo tanto, siguiente nuestras hiptesis llegamos a la on lusin, enton es la in-

feren ia es vlida.

Un trabajo para los estudiantes se puede ha er por a observ in.

Ejemplo 0.1.13. demostrar que: "Si 2x2 + a < 9 y x = 2, enton es a < 1.

Solu in: Sean las proposi iones:
p : 2x2 + a < 9
q :x=2
s : a<1

1. Si x = 2, reemplazamos a p , se tiene 2(2)2 + a < 9

2. denimos la proposi in t : 2(2)2 + a < 9 s : a < 1.

 31

3. siempre la hiptesis es verdadero (p q) t

4. Enton es tenemos la inferen ia

1) (p q) t

2) pq

5. Por Modus Ponens (1) on luimos que t es verdadero

6. omo t = s

7. Por lo tanto, se umple a < 1.

Sugeren ia 2: pro edimiento para determinar el ara ter tautolgi o de ualquir

frmula mediante la forma normal onjuntiva:

1) p1

2) p2

3) p3
..
.

n) pn / q

donde Pn , para n N, y q son proposi iones simples o ompuestas. tambin la

inferen ia puede ser es rito omo:

(p1 p2 p3 . . . pn ) q

1. Se eliminan todos los operadores diti os que no son onjun in y disyun in

mediante las leyes lgi as.

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

la forma normal onjuntivo es tau-

5. luego se apli a el siguiente riterio:
tologa si y slo si todas y ada una de la disyun iones () bsi as
ontienes una tautologa.

Ejemplo 0.1.14. Sea la formula: [(p q)] q

solu in: siguiendo los pasos.

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

DEMOSTRACIN INDIRECTA (redu in al absurdo)

Este tipos de demostra iones, es utilizado uando el mtodo de demostra in dire ta
se ha e muy ompli ado.
Sugeren ia 1: Se la inferen ia

1) p1

2) p2

3) p3
..
.

n) pn / q

donde Pn , para n N, y q son proposi iones simples o ompuestas.

 33

1. Se niega la on lusin q y se introdu e omo una nueva premisa.

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.

4. Luego negando una de las premisas, se olo a omo la on lusin, y la nega in

de la on lusin se olo a omo una premisa esto es

1) p1

2) p2

3) q
..
.

n) pn / p3

enton es mi inferen ia sera (p1 p2 q . . . pn ) p3 , luego se simpli a

on las leyes lgi as y tiene que salir una tautologa.

Sugeren ia 2: pro edimiento para determinar el ara ter tautolgi o de ualquir

formula mediante la forma normal disyuntivo: Sea la inferen ia

(p1 p2 p3 . . . pn ) q

1. Se niega la frmula proposi ional.

[(p1 p2 p3 . . . pn ) q]
 34

2. se eliminan todos los operadores diti os que no son onjun in y disyun in

mediante las leyex lgi as.

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.

la forma normal disyuntivo es tau-

6. luego se apli a el siguiente riterio:
tologa si y slo si todas y ada una de la onjun iones () bsi as
ontienes una ontradi in

Ojo:se entiende que tiene que salir ontrdi in porque estamos negando la inferen ia.

Ejemplo 0.1.15. Sea la formula: [(p q)] q

solu in: siguiendo los pasos.

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

0.1.9. Ejer i ios de Inferen ia y demostra iones Matemti as

 35

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.

1. Verique la valides de los siguiente 3. Sin mandato judi ial ni autor-

argumentos: iza in de la persona que lo habi-
A) ta, no se puede ingresar en el
domi ilio, tampo o efe tuar inves-
p q
tiga in. Pero se ingreso al domi-
p q/ q ilio y efe tuo la investiga in. En
onse uen ia, hubo mandato judi-
B)
ial y autoriza in de la persona
(p q) (r s) que lo habita.

q s/ ( p) q 4. Un nmero es divisible por 2 si

la ultima ifra de di ho nmero es
C)
multiplo de 2. Un nmero es por
p (p q) 3 si la suma de las ifras de di ho

(p q) r nmero es multiblo de 3. Pero di ho

nmero no es divisible por 2 o no lo
r r/ s
es por 3. Por tanto, la suma de las
C) ifras de un nmero no es multiplo
de 3 si la ltima ifra de un nmero
r q
es multiplo de 2.
p q
5. Sin de ano ni onsejo de fa ul-
r s/ p s
tad no hay gobierno de la fa ul-
tad ni demo ra ia. Pero es falso que
2. Si el nio, el adoles ente y el an-
haya gabierno de la fa ultad o haya
iano son abandonados, enton es
demo ra ia. Por lo tanto, es falso
son protegidos por el estado. Pero
que haya de ano o haya onsejo de
el nio es abandonado, tambien el
fa ultad.
an iano. Luego, tanto el nio oo el
an iano son protegidos. 6. los profesores ordinarios son prin-
 36

ipales, aso iados y auxiliares. 7. O no ingresaste a la universidad o

Los profesores extraordinarios no onseguiste el empleo, pues es
son emritos, honorarios, investi- ierto que no vendes tu asa si in-
gadores, y visitantes. Luego, los gresas a la universidad y onsigues
profesores ordinarios son prin i- un empleo; y tu vendiste tu asa.
pales, aso iados y auxiliares.

Demostrar ada uno de las proposi iones

1. Demostrar por le mtodo indire to: 4. Dados los argumentos siguientes

A) dtermine en ada aso si es un ar-
gumento Vlido o si es una fala ia
p q
tradu ien o previamente a smbo-
p q/ q
los. A)
B)
Si 6 es impar, enton es 4 no divide a 7
(p q) (r s)
5 no es primo o 4 divide a 7
q s/ ( p) q
Pero 5 es primo
C)
6 es par (no primo)
p (p q)

(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

es tambien mlitpli de 3. Estudio o apruebo Qumi a

3. Demuestre que no existe mingn Trabaj

numero ra ional q tal que q 2 = 3. Por lo tanto, aprob Qumi a

 37

0.1.10. CIRCUITOS LGICOS

Un ir uito el tri o es un ensamblaje de interruptores antomti os que permiten

el paso de la orriente ele tri a, o la interrup in.
Se puede representar un interruptor mediante una proposi in p , y vi iversa, de
modo que se identique el valor verdadero (V ) de la proposi in p on el paso
de la irriente en uyo aso de di e que el ir uito esta errado y se representa
p
omo , y falso (F ) on la interrup in de la orriente y se
p
representa omo .
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:
p q

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

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

En este ir uito, pasa orriente.

 38

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.

0.1.11. 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

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 ) Si no se puede pes ar an hoveta si 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 atm.

b ) La tragedia de la Mesa Redonda dejo er a a tres ientos muertos, do-

ientos desapara idos, ms de do ientos in uenta heridos y sete ientos
lo ales devastados. En onse uen ia, dejo diez millones de dolares en per-
didas 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 madre de tres hijo. Luego rompio la tradi in
ma hista de sus fuerzas armandas.
 40

0.1.12. Ejer i ios Complementarios

1. sabiendo que la proposi in siguiente es falsa:

{ [(p r) q] [(p q) s]} {(s p) r}, determinar el valor de
verdad de las siguientes proposi iones:

a ) {[( p q) r] [ (q (s p))]} (p q)

b ) { (p q) [(r p) (r s)} t

2. Si p, q, r, s, t, w son proposi iones tales que (p r) (s w) es verdadera,

y ( w s) es falsa, Halle el valor de verdad de:
[t (w p) (p r)].

3. Simpli ar ([p q] q)

4. a ) Es ne esario y su iente que p y q sean falsos para que: (p r)

(q r) sea falsa.

b ) Es ne esario que q sea falsa y s verdadera para que: (p q) (

r q) sea falsa

) No es ne esario que p y q sean verdaderas para que: (p q)( p q)

sea verdader.

Cuales de estas arma iones son verdaders?