1

UNIVERSIDAD NACIONAL DE SAN CRISTÓBAL DE

HUAMANGA

FACULTAD DE INGENIERÍA DE MINAS, GEOLOGÍA Y CIVIL

ESCUELA DE FORMACIÓN PROFESIONAL DE CIENCIAS FÍSICO
MATEMÁTICAS

TEXTO GUÍA Y HOJA DE PRÁCTICA

DOCENTE:
JUAN ALFREDO HUAMANCHAQUI QUISPE

7 de septiembre de 2011
 2

LEA ANTES DE EMPEZAR

Señores estudiantes formen grupos de 5 o 6 estudiantes, y resuelvan todos los

ejer i ios propuestos de esta guía. 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 adémi 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 número de página de esta guía y su número orrespondiente
de pregunta) y luego guardelos haste el día de entrega. No espere hasta el día del
examen para resolverlos porque se les a umulara los trabajos (el tiempo estimado
para que terminen el trabajo debeser de 5 días).
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 matemáti a
Bási 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 Matemáti a los días que se
les ha entregado.
Atentamente:
El profesor del Curso.
 3

Índi e General
0.1. Lógi 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, Taotología, Contradi ión y Contingen ia 15
0.1.6. LEYES LÓGICAS . . . . . . . . . . . . . . . . . . . . . . . . 17
0.1.7. Ejer i ios de leyes lógi as . . . . . . . . . . . . . . . . . . . . . 20
0.1.8. INFERENCIA LÓGICA . . . . . . . . . . . . . . . . . . . . . 20
0.1.9. Ejer i ios de Inferen ia y demostra iones Matemáti as . . . . 34
0.1.10. CIRCUITOS LÓGICOS . . . . . . . . . . . . . . . . . . . . . 37
0.1.11. Ejer i ios de Cir uitos lógi os . . . . . . . . . . . . . . . . . . 38
0.1.12. Ejer i ios Complementarios . . . . . . . . . . . . . . . . . . . 40
 4

0.1. Lógi a Proposi ional

Deni ión 0.1.1 (Proposi ión). Es todo enun iado que puede ser verdadero o falsa
pero no ambos simultaneamente.

Nota ión: Las proposi iones los representaremos on las letras minús ulas p, q ,
r , . . ..

Observa ión 0.1.1. Aquellos enun iados que indi an una pregunta, un orden, o
una ex lama ión, son expresiones no proposi ionales.

Además, notemos que todo proposi ión 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 ión Simple: Son aquellos que tienen un solo sujeto y un sólo pred-
i ado.

2. Proposi iones Compuesta: Son aquellos que tienen dos o mas proposi iones
simples, o de manera análogo, una proposi ión 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 lógi os unos símbolos que sirve para unir dos o mas
proposi iones y son ∧, ∨, △, →, ↔, ∼.
Sean dos proposi iones p y q
CONJUNCIÓN (∧): La onjun ión es el resultado de omponer estas proposi-
iones on el one tivo lógi 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 p∧q
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 además q ≡ p , q et

DISYUNCIÓN: Se llama disyun ión o suma lógi a de las proposi iones p, q ,

dadas en ese orden, a las, proposi iones que se obtienen enun iando  q a ontin-
ua ión de p unidas ambos por el one tivo o.
DISYUNCIÓN INCLUYENTE (∨): La disyuntiva in lusiva o débil es una
proposi ión 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 p∨q
VV V
VF V
FV V
FF F

DISYUNCIÓN EXCLUYENTE (△): También 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 p△q
 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

NEGACIÓN (∼): La proposi ión negativa de la proposi ión 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 ión ondi ional o

impli an ia es el resultado de unir las proposi iones p y q on el one tivo lógi o
"si PROPOSICIÓN, enton es PROPOSICIÓN y se denota on el símbolo "→ se
es ribe "p → q  y se lee "si p enton es q , on tabla de valor

pq p→q
VV V
VF F
FV V
FF V
 7

Sinonimos del one tivo →:

si p enton es q ≡ q si p ≡ p sólo 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 , también q et

BICONDICIONAL (↔): las proposi ión "(p → q) ∧ (q → p) es símbolizado

omo "p ↔ q  y se lee "p si y sólo si q , on tabla de verdad

pq p↔q
VV V
VF F
FV F
FF V

Sinonimos del one tivo ↔:

p si y sólo si q ≡ p uando y sólo uando q ≡si p , enton es y sólo 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 ión ompuestas ( on los one tivos lógi os)
tendrán 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 ión:
s : El presidente del Perú es Alan Gar ia o lima es apital del Perú.
Solu ión: simbolizando se puede ver que s ≡ p ∨ q , enton es apli ando la tabla de
verdad de la disyun ión in lusiva seria V (s) ≡ F ∨ V ≡ V
La vera idad de la proposi ión 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 geólogos y paleontólogos
averiguar la pro eden ia de estos gigantes
des ubrió en 2007 un ráneo omple-
o ómo lograron adaptarse al frío.
to y la mandíbula inferior de una es-
La lave la podría tener este nuevo
pe ie de estos rino erontes (Coelodon-
fósil de rino eronte, que on 3,6 millones
ta thibetana), en las estriba iones de la
de años (Plio eno medio), es mu ho más
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 reído que los

toria Natural de Los Ángeles (NHM) y "mega herbívoros"del Pleisto eno evolu-
Li Qiang, del Instituto de Paleontología ionaron de an estros menos resistentes
Vertebrada y Paleoantropología de la al frío en Norteaméri a y Eurasia.
A ademia China de Cien ias. El estudio on luye que la meseta ti-
La extin ión de los ono idos omo betana podría haber sido la una evolu-
 9

tiva de los rino erontes lanudos y otras Los autores des riben similitudes en
riaturas peludas resistentes al frío que otros grandes fósiles animales en ontra-
deambularon por Norteaméri 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 antílope ti-

Este rino eronte des ubierto en la betano que se adaptaron al frío.

Cuen a de Zanda a los pies de las oli- Esta región puede, de esta manera,

nas de los Himalayas en el Tibet suro i- haber sido el trampolín para una amplia
dental, muestra laras adapta iones a un variedad de espe ies resistentes al frío que
lima más frío y nevado. se expandieron posteriormente durante la
última Edad del Hielo.
Mediante el análisis de la edad del
El do tor Wang expli a que .en los lu-
fósil y sus ara terísti as físi as, los au-
gares fríos, omo el Tíbet, el Árti o y la
tores on luyen que este rino eronte,
Antártida, se realizarán los des ubrim-
Coelodonta thibetana, fue un an estro
ientos más inesperados en el futuro, ya
relativamente primitivo en el árbol ge-
que ontinúan siendo las fronteras que
nealógi o del rino eronte lanudo, om-
siguen aún inexploradas en gran parte".
parado on sus ontrapartes en el Pleis-
to eno. 2. Juramaia sinensis, el ante esor
Este hallazgo sugiere que los más antiguo de los mamíferos
rino erontes se adaptaron a la fría Meseta a tuales "jueves 25 de agosto de
Tibetana mu ho antes de que el ambio 2011

limáti o se diera en otras áreas, y que Un fósil hallado en el nordeste de Chi-

el Coelodonta thibetana estaba prepara- na es el ante esor más antiguo de los
do para su expansión al resto de Asia a mamíferos pla entarios a tuales y sitúa
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 años
tardía ha e unos 2,6 millones de años, antes de lo que se pensaba.
según el nuevo estudio, el rino eronte y Así lo arman en un estudio publi a-
las otras espe ies no tuvieron más que do en la revista Nature paleontólogos del
des ender de las altas montañas 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

fósiles de un mamífero pare ido a una los árboles a diferen ia de otros mamífer-
musaraña que vivió en China ha e 160 os de su épo a, una apa idad que pudo
millones de años durante el período Ju- permitirles sobrevivir a las difí iles ondi-
rási o. iones de vida del Jurási o.

El fósil de "Juramaia sinensis"(que en Entre los restos fósiles hallados g-

latín signi a madre jurási a de China) uran el ráneo in ompleto del animal,
es .o bien una 'tataratía abuela' o una parte del esqueleto y huellas de tejidos
'tatarabuela' de todos los mamíferos pla- residuales blandos omo pelo.
entarios (euterios) existentes hoy", ar- Pero lo que permitió a los paleon-

ma Zhe-Xi. tólogos rela ionar al "Juramaiaçon los

mamíferos pla entarios a tuales y difer-
En la a tualidad, el 90 % de los
en iarlo de los marsupiales omo el an-
mamíferos in luidos los humanos son pla-
guro fueron sobre todo su dentadura
entarios (la ría se desarrolla en el in-
ompleta y los huesos de la pata, señala
terior de la madre), mientras quedan
el estudio.
mamíferos marsupiales (la ría se de-
"La separa ión de los mamíferos eu-
sarrolla en una bolsa) en Australia y
terios de los marsupiales nalmente on-
Suraméri a y algunas espe ies ovíparas
dujo al na imiento pla entario y a la re-
en Australia y Nueva Guinea.
produ ión que son tan ru iales"para su
El mamífero pla entario más antiguo
éxito evolutivo, armó Xhe-Xi.
ono ido hasta la fe ha databa de ha e
Pero, según el ientí o, la lave de
125 millones de años, según el estudio.
este éxito fue su rápida adapta ión a la
El des ubrimiento del fósil, en la
vida en los árboles.
provin ia nororiental hina de Liaoning,
viene a orroborar los resultados de es- 3. Los fósiles de ba terias más an-
tudios genéti os que situaban la diferen- tiguos de la Tierra "lunes 22 de
ia ión de los mamíferos ha e 160 mil- agosto de 2011

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

registro fósil de su evolu ión. des ubierto los fósiles de ba terias "más
Según los ientí os, los "Jurama- antiguos de la Tierra"que se ono en,
ia sinensis.eran riaturas de pequeño pues los investigadores fe han su apari-
tamaño, adaptados para trepar y vivir en ión ha e 3.400 millones de años, según
 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 biológi a, pues se
edad de la Tierra de 4.500 millones de pueden observar estru turas similares a
años, 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 ión.
años, de modo que este hallazgo prue- "Por primera vez en ro as arqueanas, se
ba que años antes de lo que los ientí- halla una aso ia ión dire ta entre una
 os pensaban "había ba terias apa es morfología elular y subprodu tos del
de vivir sin oxígeno". metabolismo", expli an los ientí os.
En este sentido, los ientí os han Cuando apare ieron estas ba terias,
señalado que están "muy seguros de la ha e 3.400 millones de años, la Tierra era
edad de los fósiles", 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 más azufre que oxígeno para ar-
una zona ro osa ono ida omo Strelley garse de energía y proliferar y se en uen-
Poll, al oeste del país, y los fósiles 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.
Según apunta el estudio, los fósiles

Diga si los siguientes enun iados son proposi iones o no

1. No engañes nun a a nadie. átomo.

2. Quizá exista miles y millones de 6. La semana tiene y días.

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

Símbolizar ada una de las proposi iones

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

Na ión.
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 ión e inmoralidad. No ha sido
solu ión.
expulsado. En onse uen ia no ha

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

enton es viejare al extranjero. moralidad.

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

misión ingresare a la Universidad. iano son abandonados, enton es

son protegidos por el estado. Pero
6. David no es Limeño ni Loretano. el niño es abandonado, tambien el
an iano. Luego, tanto el niño 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 habría podido surgir y nuestro iza ión de la persona que lo habi-
planeta habría sido un desierto. ta, no se puede ingresar en el
domi ilio, tampo o efe tuar inves-
8. Sin la apari ión de la galaxia, sinb
tiga ión. Pero se ingreso al domi-
la forma ión de estrellas masivas,
ilio y efe tuo la investiga ión. En
sin el paso por el estadio de super-
onse uen ia, hubo mandato judi-
nova, jamas habría podido existir el
ial y autoriza ión de la persona
hombre ni la vida.
que lo habita.
9. las estrellas na en o viven, pero
14. Un número es divisible por 2 si
también mueren.
la ultima ifra de di ho número es
10. Los ongresistas representan a multiplo de 2. Un número es por
la Na ión, pero no estás suje- 3 si la suma de las ifras de di ho
tos a mandato imperativo. Luego, número es multiblo de 3. Pero di ho
 13

número no es divisible por 2 o no lo ifras de un número no es multiplo

es por 3. Por tanto, la suma de las de 3 si la última ifra de un número
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) → (p∨r)]∧ ∼ (r∧s)
Verdadero
2. Se sabe que p∧q 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 ión 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 ión 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 inión de opera iones on proposi iones, ada one -
tivo lógi o tiene una tabla de valores, esto es:

pq p∧q ∼p p∨q p△q p→q p↔q

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 ión 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 fórmula.
n =número de proposi iones, enton es 2n =número 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 ión 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, también existem esquemas mole ulares que nos dan valores de
verda todos falsos, estos asos tiene un nombre y son:
Tautología (T ): Se llama tautología al resultado del esquema mole ular donde los
valores son todos verdaderos.
Contra ión (C ): Se llama ontradi ión 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 ión veamos un ejemplo:

Ejemplo 0.1.3. Sea el esquema mole ular [∼ (p ∨ q)∧ ∼ p] ↔ (p → q).

Hallar la tabla mole ular. Solu ión 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→q
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, Taotología, Contradi ión y Con-

tingen ia

En ada uno de los ejer i ios hallar la tabla de verdad y diga si es taotología,
ontradi ión 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 ión de la galaxia, sin la

forma ión de estrellas masivas, sin
5. [(p△∼ q)∧ ∼ (r ∧ q)] ↔∼ [(p △∼ el paso por el estadio de superno-
q) → (q ∧ r)] va, jamas habría podido existir el
 16

hombre ni la vida. 14. Un número es divisible por 2 si

la ultima ifra de di ho número es
9. las estrellas na en o viven, pero
multiplo de 2. Un número es por
también mueren.
3 si la suma de las ifras de di ho
10. Los ongresistas representan a número es multiblo de 3. Pero di ho
la Na ión, pero no estás suje- número 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 número no es multiplo
Na ión. de 3 si la última ifra de un número

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 ión 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 ión ni de in-
haya gabierno de la fa ultad o haya
moralidad.
demo ra ia. Por lo tanto, es falso
12. Si el niño, 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 niño es abandonado, tambien el 16. los profesores ordinarios son prin-

an iano. Luego, tanto el niño omo ipales, aso iados y auxiliares.

Los profesores extraordinarios
el an iano son protegidos.
son eméritos, honorarios, investi-
13. Sin mandato judi ial ni autor-
gadores, y visitantes. Luego, los
iza ión 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 ión. Pero se ingreso al domi- 17. O no ingresaste a la universidad o
ilio y efe tuo la investiga ión. En no onseguiste el empleo, pues es
onse uen ia, hubo mandato judi- ierto que no vendes tu asa si in-
ial y autoriza ión de la persona gresas a la universidad y onsigues
que lo habita. un empleo; y tu vendiste tu asa.
 17

0.1.6. LEYES LÓGICAS

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, serán de notados por ≡, y son llamados
omo ley.
LEYES LÓGICAS: las leyes lógi as son:

1. Ley de Identidad: Una proposi ión sólo es identi a a si mismo. p → p o

p ↔ p.

2. Ley de no ontradi ión: Una proposi ión no puede ser verdadero y falsa
a la vez. ∼ (p∧ ∼ p).

3. Ley del ter io ex luido: Una proposi ión es verdadero o es falso, no existe
otra posivilidad.

Las tres leyes son las prin ipales que da la existen ia de la Lógi a proposi ional,
pero existen mu has mas y son:

4. Involu ión: ∼ (∼ 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 ión:

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 ión:

a ) p → q ≡∼ q →∼ p
b ) p ↔ q ≡∼ q ↔∼ p

14. Leyes Tautología y Contradi ión:

 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 ión: es nese ario en-

trenar debidamente y no ometer infra ión para umplir buen papel de-

portivo.

La proposi ión se puede es ribir omo:

Para umplir buen papel deportivo es nese ario entrenar debidamente y

no ometer infra ión o

Si entreno debidamente y no ometo infra ión, en ontes daré un buen

papel deportivo

Solu ión Primero re onos amos las proposi iones

p : Entrenar debidamente.
q : Cometer infra iones.
s : Cumplir buen papel deportivo.
Enton es la proposi ión se representa en forma lógi 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 sería. no entrenar debidamente, es ometer

infra iones o umplir buen papel deportivo.

0.1.7. Ejer i ios de leyes lógi as

1. Demuestre que las bi ondi ionales tautologías?

siguientes son equivalen ias lógi 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 lóg- 5. ¾Cuántas F y uántas V tiene el

i as: resultado de la tabla de verdad de:
A) (q →∼ p) ∨ (∼ r →∼ p) ∼ [(p∧q) →∼ r]∧(s∧ ∼ s) después
B) ∼ (q →∼ p) ↔ (q ∨ p) de simpli arla?.
C) {(∼ p∧ ∼ q)∨ ∼ q} ↔∼
[(p∨q) ∧ q] 6. Determinar los siguientes esque-

D) ∼ (p → q) ↔ [(p ∨ q)∧ ∼ q] mas más simples equivalentes a las

proposi iones: A) ∼ [∼ (p ∧ q) →∼
3. Si p ↓ q ≡ (∼ p) ∧ (∼ q), enton es
q] ∨ p
¾a uáles 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)∨p∨q]∧[(p∧q]∨(∼
C) [(∼ p) ↓ (∼ q)] ∨ [q ↓ p]
p∧ ∼ q) ∨ p]} ∧ (∼ q)
4. Si p ↓ q ≡ (∼ p) ∧ (∼ q), ¾Cuáles E) [∼ (∼ p →∼ q) ↔∼ (p ∨ q)] ∨
de las siguientes proposi iones son [p → (∼ p ∧ q ∧ r)]

0.1.8. INFERENCIA LÓGICA

Una inferen ia es una opera ión que onsiste en derivar apartir de la verdad
de iertos proposi iones ono idas omo premisas a la verdad de otra proposi ión
on lusión, esto es, Sean p1 , p2 , p3 , . . ., pn , proposi iones llamadas premisas y q
una proposi ión llamada on lusión.
 21

Apartir de las eviden ias de p1 , p2 , p3 , . . ., pn dan la verdad de la on lusión q .

Si p1 , p2 , p3 , . . ., pn son verdaderas, enton es q también es verdadera.
Analisis de inferen ia mediante las tablas de verdad
Una inferen ia es valida mediante la tabla de la verdad si y sólo si al ser formalizada
y evaluada su formula ondi ional es una tautología, 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 lógi a haya sido alterado
en el lenguaje natural observando el esquema premisa- on lusión.

2. Se expli ita en forma lógi a.

3. Se halla su fórmula, expresando símboli amente sus premisas y on lusión.

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 lusión.

5. Se evalua la fórmula mediante la tabla de verdad.

Ejemplo 0.1.5. De ir si la inferen ia El triángulo se llama isos eles si tiene

dos lados iguales. No se llama isós eles. En onse uen ia no tiene dos

lados iguales. es valida o no.

Solu ión: Ha iendo los pasos a seguir:

1. La formalógi a:

a) Si el triángulo tiene dos lados iguales, enton es el triángulo se llama

isós eles.
b) el triángulo no se llama isós eles.

en onse uen ia: El triángulo no tiene dos lados iguales.

) Expresando símboli amente:

p : El triangulo tiene dos lados iguales.
q : El triángulo se llama isós eles.
 22

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] → ∼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 Tuatología.

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 válida.
Solu ión: En la on lu ión de la inferen ia podemos ver que hay doble nega ión.

1. Forma lógi 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 lógi 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.

p∨q

∴∼ p

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 Tautología.

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

∼ q → r ,∼ r .
solu ión: Las premisas son P1 ≡∼ p →∼ q , p2 ≡∼ q → r,p3 ≡∼ r y la on lusión
es Q ≡ p ∨ q , debemos mostrar que: [(∼ p →∼ q) ∧ (∼ q → r) ∧ (∼ r)] → p ∨ q es
una tautología.
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)] → p∨q

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 método abreviado

Cuando el número de las proposi iones pasa de tres se forma muy engorrosoel méto-
do de la tabla, por eso se ha e el siguiente método .
El pro edimiento es inverso, empieza de mayor jerarquía "→ para pasar al los de
menor jeraruía terminando en as variables (valores de vardad) de ada proposi ión.
Pasos a seguir:

1. Se supone verdadero el ante edente (Con lu ión) y falsa el onse uente (hipóte-
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 demás
variables (proposi iones), tratandose de ha er verdadero al antesedente.

4. Se se veri a la hipótesis, la inferen ia es no Tautología (No es valida), y si no

se veri a la hipótesis la formula sera Tautología (será una inferen ia valida)
 25

Ejemplo 0.1.8. Mediante el método abraviado diga si la inferen ia es valida o no.

p ↔∼ q

r∨q

∼r

∴∼ q

Solu ión: 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 ión, enton es la inferen ia

no es válida.

Ejemplo 0.1.9. Si Raul parti ipa en el omité ele toral de la Universidad,

enton es los estudiantes se enojarán 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 enojarán

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

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

Enton es la inferen ia es:

p→q

∼p→s

p∨ ∼ p

∴q∨s

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 válida.

Análisis de inferen ia por el método analíti o:

Para este método es ne esario ha er una lista de impli a iones notables:

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

p → q

∴q

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

p → q

∼q

∴∼ p
 27

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

∴q

5. Ley del Silogismo Hipotéti o: Su esquema mole ular es:

p → q

q → r

∴p → r

6. Ley de la transitividad simétri a: Su esquema mole ular es:

p ↔ q

q ↔ r

∴p ↔ r

7. Ley de la simpli a ión:Su esquema mole ular es:

p ∧ q

∴p

8. Ley de Adi ión: Su esquema mole ular es:

∴p∨q
 28

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

p → (q∧ ∼ q)

∴∼ p

Ejemplo 0.1.10. Demuestre que la inferen ia es válida, mediante el método analíti-

o.
{[(p ∧ q) ∧ r] → s} ∧ [p ∧ (q ∧ r)] → s.
Solu ión: Su esquema lási o es:

(p ∧ q ∧ r) → s

(p ∧ q ∧ r)

∴s

por Modus Ponens (1), la inferen ia es válida

Ejemplo 0.1.11. Diga se la inferen ia es válida: Tanto la dinámi a omo la

inemati a estudian el movimiento. Por tanto la enemáti a estudia el

mivimiento.

Solu ión:Llevando en forma lógi a:

La dinámi a estudia el novimiento y la inemáti a estudia el movimiento. Por lo
tanto la inemáti a estudia el movimiento.
Expresando simboli amente:
p : La dinámi a estudia el movimiento.
q : La inemati a estudia en movimiento.

p ∧ q

∴q

La inferen ia es válida por simpli a ión (7)

DEMOSTRACIONES MATEMÁTICAS
En las matemáti as tenemos algunas propiedades que si deben ser demostrados
para esto, existen formas o métodos de demostra ión, las uales estudiaremos oólo
dos, y son:
 29

1. Demostra ión dire ta

2. Demostra ión indire ta.

DEMOSTRACIÓN DIRECTA:
Sean dos proposi iones p y q enton es la ondi ional es p → q .
Según la tabla de la verdad de la ondi ional, si p es falso, enton es la proposi ión
p → q es verdadero, en este aso no tendríamos 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 lusión q . Esto es, si tenemos
la proposi ión 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 ión de q .
Derimos que hemos usado una demostra ión 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 ión simple su orrespondiente variable (en el aso
que la inferen ia esté en texto).

2. Símbolizamos las premisas y la on lusión, disponiendo aquellas en forma ver-

ti al y es ribiendo la on lusión a ontinua ión de la ultima premisa (en el
mismo reglon). Entre la ultima premisa y su on lusión se es ribe una barra
separatoria / seguido del símbolo ∴ 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 página
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 expresión.
 30

Observa ión: Una demostra ión dire ta es también apli ando las reglas de equiv-
alen ia, ver página 17, deviendo llagar asi a una tautología. O en aso ontrario
apli ando la tabla de la verdad y en ontrando una tautología.

Ejemplo 0.1.12. Demostrar que la inferen ia es válida.

1) p→q

2) q→r

3) ∼r

4) p ∨ s/ ∴ s

Trabajaremos por la sugeren ia. De 1) y 2) on la ley del Silogísmo hipotéti 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 hipótesis llegamos a la on lusión, enton es la in-

feren ia es válida.

Un trabajo para los estudiantes se puede ha er por a observ ión.

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

Solu ión: 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 ión t : 2(2)2 + a < 9 ↔ s : a < 1.

 31

3. siempre la hipótesis es verdadero (p ∧ q) → t

4. Enton es tenemos la inferen ia

1) (p ∧ q) → t

2) p∧q

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 tautológi o de ualquir

fórmula 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. también la

inferen ia puede ser es rito omo:

(p1 ∧ p2 ∧ p3 ∧ . . . ∧ pn ) → q

1. Se eliminan todos los operadores diáti os que no son onjun ión ∧ y disyun ión
∨ mediante las leyes lógi 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 ión (8), absor ión (12)y tautología (14) uando
fuera ne esario.
 32

la forma normal onjuntivo es tau-

5. luego se apli a el siguiente riterio:
tología si y sólo si todas y ada una de la disyun iones (∨) bási as
ontienes una tautología.

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

solu ión: 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 taotología que es T ≡∼
p ∨ p ≡∼ q ∨ q . Por lo tanto la inferen ia es válida

DEMOSTRACIÓN INDIRECTA (redu ión al absurdo)

Este tipos de demostra iones, es utilizado uando el método de demostra ión 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 lusión ∼ 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 expresión C ≡ p∧ ∼ p

3. Se une en forma ondi ional o impli ativa la premisa adi ional on la ontra ión
hallada, atraves de la regla de la prueva onti ional, volviendo la demostra ión
a ll izquierda, a la posi ión original.

4. Luego negando una de las premisas, se olo a omo la on lusión, y la nega ión
de la on lusión se olo a omo una premisa esto es

1) p1

2) p2

3) ∼q
..
.

n) pn / ∴∼ p3

enton es mi inferen ia sería (p1 ∧ p2 ∧ ∼ q ∧ . . . ∧ pn ) →∼ p3 , luego se simpli a

on las leyes lógi as y tiene que salir una tautología.

Sugeren ia 2: pro edimiento para determinar el ara ter tautológi o de ualquir

formula mediante la forma normal disyuntivo: Sea la inferen ia

(p1 ∧ p2 ∧ p3 ∧ . . . ∧ pn ) → q

1. Se niega la fórmula proposi ional.

∼ [(p1 ∧ p2 ∧ p3 ∧ . . . ∧ pn ) → q]
 34

2. se eliminan todos los operadores diáti os que no son onjun ión ∧ y disyun ión
∨ mediante las leyex lógi 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 ión (8), absor ión (12)y tautología (14) uando
fuera ne esario.

la forma normal disyuntivo es tau-

6. luego se apli a el siguiente riterio:
tología si y sólo si todas y ada una de la onjun iones (∧) bási as
ontienes una ontradi ión

Ojo:se entiende que tiene que salir ontrdi ión porque estamos negando la inferen ia.

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

solu ión: 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 ión que es:
C ≡∼ p ∧ p ≡∼ q ∧ q . Por lo tanto la inferen ia es válida

0.1.9. Ejer i ios de Inferen ia y demostra iones Matemáti as

 35

Diga si las siguientes inferen ias son validas o no, los números impares por medio
de Método Analíti o, los números pares por el Metodo abreviado y omprebe
su resultado on el Método de la tabla de verdad.

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

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

∼q ∨ ∼ s/ ∴ (∼ p)∨ ∼ q 4. Un número es divisible por 2 si

la ultima ifra de di ho número es
C)
multiplo de 2. Un número es por
p ∧ (p ∨ q) 3 si la suma de las ifras de di ho

(p ∨ q) → r número es multiblo de 3. Pero di ho

número no es divisible por 2 o no lo
r → r/ ∴ s
es por 3. Por tanto, la suma de las
C) ifras de un número no es multiplo
de 3 si la última ifra de un número
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 niño, 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 niño es abandonado, tambien el
fa ultad.
an iano. Luego, tanto el niño 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 eméritos, 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 método indire to: 4. Dados los argumentos siguientes

A) dtermine en ada aso si es un ar-
gumento Válido o si es una fala ia
p ∧ q
tradu ien o previamente a símbo-
∼ 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 número entero, demuestre
que ni n2 es múltiplo de 3, enton es si trabajo no puedo estudiar

es tambien múlitpli de 3. Estudio o apruebo Quími a

3. Demuestre que no existe mingún Trabajé

numero ra ional q tal que q 2 = 3. ∴ Por lo tanto, aprobé Quími a

 37

0.1.10. CIRCUITOS LÓGICOS

Un ir uito elé tri o es un ensamblaje de interruptores antomáti os que permiten

el paso de la orriente ele tri a, o la interrup ión.
Se puede representar un interruptor mediante una proposi ión p , y vi iversa, de
modo que se identique el valor verdadero (V ) de la proposi ión 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 ión de la orriente y se
p
representa omo .
Existen don tipos de ir uitos lógi 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 ión de lógi 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 lógi 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 ión de lógi 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 lógi o ∨ es p ∨ q .

Observa ión: Algunas ve es tendremos la representa ión V ≡ 1 y F ≡ 0.

0.1.11. Ejer i ios de Cir uitos lógi os

1. Determinar los ir uitos lógi 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 expresión 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. Símbolizar las proposi iones, luego ha er el ir uito lógi o, luego simpli ar,
además ha er el ir uito equivalente y es ribir en palabras.

a ) Si no se puede pes ar an hoveta si atún, 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 atúm.

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

ientos desapara idos, más 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,

médi a y madre de tres hijos, enton es rompe la tradi ión ma hista de sus
fuerzas armadas. El presidente de Chile designo oo ministra de defensa
a una mujer, médi a y madre de tres hijo. Luego rompio la tradi ión
ma hista de sus fuerzas armandas.
 40

0.1.12. Ejer i ios Complementarios

1. sabiendo que la proposi ión 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 verdaderás?