Lógica Espinoza

INDICE
CAPITULO I
LÓGICA
1.1. Introducción 1
1.2. Elementos de Lógica Simbólica 2
1.3. Proposiciones Lógicas 3
1.4. Definición 3
1.5. Conectivos Lógicos 3
1.6. Clases de Proposiciones Lógicos 4
1.7. Proposiciones Compuestos Básicos 4
1.8. Proposiciones Compuestas 8
1.9. Jerarquía de los Conectivos Lógicos 9
1.10. Tautológicas, contradicciones y contingencias 9
1.11. Implicación Lógica y Equivalencia Lógica 12
1.12. Proposiciones Lógicamente Equivalente 13
1.13. Principales Leyes Lógicas o Tautológicas 13
1.14. La Inferencia Lógica o Argumento Lógico 18
1.15. Definición 18
1.16. Teorema 19
1.17. Inferencia Validas Notables 20
1.18. El Método Abreviado 21
1.19. Métodos de Demostración 25
1.20. Forma o Método Directo de Demostración 25
1.21. Forma o Método Indirecto de Demostración 26
1.22. Definición 26
1.23. Circuitos Lógicos 28
1.24. Diseño de Circuitos Eléctricos en Serie 28
1.25. Diseño de Circuitos Eléctricos en Paralelo 29
1.26. Lógica Cuantificacional 33
1.27. Cuantificadores Existencial y Universal 33
1.28. Negación de Proposiciones en Cuantificadores 35
1.29. Ejercicios Desarrollados 36
1.30. Ejercicios Propuestos 49
Lógica 1
CAPITULO I
LÓGICA
1.1. INTRODUCCIÓN.-
Lógica es el estudio de los procesos válidos del razonamiento humano. En la actualidad,

el estudio serio de cualquier tema tanto en el campo de las Humanidades como el de las
ciencias y la técnica requieren conocer los fundamentos y métodos del razonamiento
lógico preciso que permite al estudiante o profesional extraer y depurar sus conclusiones
evitando el riesgo de modificar en forma equivocada la información que posee. Esto es
aun más en esta era de la computación, herramienta que es empleada en todos los campos
del desarrollo de una sociedad y con la velocidad a la cuál se procesan los datos cualquier
error de lógica puede originar problemas técnicos, sociales y económicos.
Siendo muy importante, en la matemática moderna el análisis del lenguaje con un criterio
lógico: la Lógica tiene como fin de conducimos a un hábil manejo del lenguaje
matemático y el empleo de métodos eficaces de razonamiento.
Existen dos tipos importantes del razonamiento: El inductivo y el Deductivo.
El razonamiento inductivo es el razonamiento por el cuál una persona en base a sus

experiencias específicas, decide aceptar como válida un principio general.
El razonamiento deductivo es, en cambio, el medio según el cuál dicha persona utiliza el
principio general aceptado previamente para decidir sobre la validez de una idea, que a su
vez habrá de determinar el curso de su acción.
Dado que las proposiciones son preceptos válidos de razonamiento deductivo, en el

desarrollo de nuestro estudio veremos lo esencial de la lógica proposicional, a través del
uso y manejo de una simbología adecuada.
2 Eduardo Espinoza Ramos
1.2. ELEMENTOS DE LÓGICA SIMBÓLICA.-
a) ENUNCIADO.- Se denomina enunciado a toda frase u oración.
Ejem plo.- 11 es un número primo. © París está en Italia.
© ¿Qué hora es? © ¡Viva el Perú!
© 5>9 © 6+2=8
© jc2 < 9 ® x 2+y 2 <4
Los enunciados que matemáticamente tienen significado son aquellos que pueden
ser considerados como verdaderos o falsos (proposiciones); algunos enunciados no
es posible afirmar si es verdadero o falso, como por ejemplo, las interrogaciones, las
exclamaciones o las preguntas.
b) ENUNCIADOS ABIERTOS.- Son expresiones que contienen variables y no

tienen la propiedad de ser verdadero o falso.
Ejemplo.-
© x < 7, es un enunciado abierto, porque no podemos afirmar si es verdadero o

falso, solamente cuando a la variable x se le dá un valor numérico podemos
decir si es verdadero o falso.
Así por ejemplo: para x = 3, 3 < 7 es verdadero
para x = 9, 9 < 7 es falso
© x 2 + y 2 = 16, también es un enunciado abierto.
c) VARIABLE.- Es una cantidad susceptible de variar en un determinado campo o

recorrido, a las variables representaremos por las letras
minúsculas x,
y, z. t, u, v, a estas variables se les dá el nombre de variables indeterminados.
Ejem plo.-
© y =^ 5 es un número real, si x es un número real que sea mayor o igual a

5. El campo o recorrido dt- x es x > 5.
Lógica 3
© En la ecuación x 2 + y 2 - 16
El campo o recorrido d e x e s - 4 < x < 4
El campo o recorrido de y es - 4 < y < 4.
1.3. PROPOSICIONES LOGICAS.-
Llamaremos proposiciones lógicas a todo enunciado abierto que pueden ser calificado
como verdaderas o bien como falsas, sin ambigüedades
NOTACIÓN.- Las proposiciones lógicas serán denotadas generalmente con letras

minúsculas p, q, r, t, etc. A la veracidad o falsedad de una
proposición se denomina valor de veidad.
Ejemplos de Proposiciones Lógicas.-
© p: 15 - 4 = 1 1 , verdadero (V)
© q: Lima es la capital del Perú, verdadero (V)
(3 ) r: 107 + 3 0 1 = 4 8 , falsa (F)
® t: 7 es un número par, falsa (F).
1.4. DEFINICIÓN.-
Se llama valores de verdad de una proposición a sus dos valores posibles; verdadero o
falso, estos posibles valores se puede esquematizar en una tabla de verdad en la forma.
P
V
F
1.5. CONECTIVOS LÓGICOS.-

Son expresiones que sirven para unir dos o más proposiciones, entre los más importantes
conectivos lógicos tenemos:
La conjunción, disyunción, implicación, bicondicional, negación, contradicción, esto

mostraremos en el siguiente cuadro.
Nombre Expresión Símbolo Lógico

•t
Conjunción y A
Disyunción ó V
Implicación S í,.... entonces,... ----- >

Bicondicional, equivalencia ... Sí y sólo s í ,... <-------------»
doble implicación
Negación No -
Contradicción ... no equivalente,...
1.6. CLASES DE PROPOSICIONES LÓGICAS.-
a) PRO PO SIC IO N ES SIM PLES Ó ATÓM ICAS.-
En una proposición que no contiene ningún conectivo lógico.
Ejem plo.- ^ 6 es par. © 2+5=7
b) PRO PO SIC IO N ES COM PUESTOS O M OLECULARES.-
Es una proposición que contiene al menos un conectivo lógico.
Ejem plo.- © 5 es primo y 2 es par.
(2 ^ Si 5 es par entonces 2 es impar.
© Si n es par entonces n es divisible por 2.
1.7. PROPOSICIONES COMPUESTAS BASICOS.-

a) LA NEGACIÓN.- Dado una proposición P, Hadaremos la negación de P, a otra
proposición que denotaremos por -P , y que se le asigna el
valor opuesto a p, y su tabla de verdad es:
V F
F V
El principio lógico de la negación es:

Lógica 5
Si una proposición es verdadera V, su negación es falsa F y recíprocamente, si dicha

proposición es falsa F, su negación es verdadera V.
La proposición ~P es leída así “no P”, “no es cierto que P”
Ejem plo.- ( T ) 2 es primo V
Su negación es: 2 no es primo F
© 5 es par F
Su negación es: no es cierto que 5 es par V
© Dada la proposición P: 5 x 7 = 3 5
Su negación es: ~P: no es cierto que 5 x 7 = 35
b) LA DISYUNCIÓN.- La disyunción de dos proposiciones p y q es la proposición

compuesta que resulta de unir p y q por el conectivo
lógico “o” en el sentido inclusivo y/o y que el principio lógico es “La proposición
p v q es falsa únicamente en el caso en que p y q son ambas falsas, en cualquier otro
caso es verdadera”. La tabla de verdad para la disyunción es:
p q pvq
V V V
V F V
F V V
F F F
Ejem plo.- Hallar el valor de p v q donde p: 7 es mayor que 9; q: 4 es menor que 5

Solución
pv q
c) LA CONJUNCIÓN.- La conjunción de dos proposiciones p y q es la proposición

compuesta que resulta de unir p y q mediante el conectivo
lógico “y” que se simboliza p a q, donde el principio lógico es “La conjunción p a q
es verdadero V, sólo cuando p es verdadero y q es verdadero V, en todos los demás
casos es falso”. Su tabla de verdad es:
p q pa q
V V V
V F F
F V F
F F F
Ejem plo.- Sí p: 4 < 7 y q: 6 es número par. Calcular el valor de verdad de p a q
Solución
P q pA q
V V V
d) LA CONDICIONAL (IM PLICATIVA).- La implicación o condicional de dos

proposiciones p y q es la proposición
compuesta mediante el conectivo lógico “s i , e n t o n c e s , ...” y se simboliza p »
q, donde el principio lógico es “La proposición implicativa es falso únicamente en el
caso que la proposición p es verdadera y la proposición q es falsa, siendo verdadera
en todos los demás casos. Su tabla de verdad es:
P q p -> q
V V V
V F F
F V V
F F V
La proposición p es llamado antecedente y la proposición q es llamado consecuente.
P ---------------------------- >q
Antecedente Consecuente
Premisa Conclusión.
Hipótesis Tesis.
OBSERVACIÓN.-
© Una implicación es verdadera si el antecedente es falso, cualquiera que sea el

consecuente.
© Una implicación es verdadera si el consecuente es verdadero, cualquiera que
sea el antecedente.
Lógica 1
Ejem plo.- Sea p : Cristóbal Colón descubrió América. ; q : 6 + 3 = 8
Hallar el valor de verdad de p >q
Solución
Para calcular el valor de verdad de la proposición p >q, primero calcularemos el

valor de verdad de las proposiciones dadas.
p : Cristóbal Colón descubrió América es verdadera V
q : 6 + 3 = 8, es falsa F
e) LA BICONDICIONAL (Equivalente ó Doble Im plicación).-
La doble implicación o bicondicional de dos proposiciones p y q es la proposición

compuesta mediante el conectivo lógico “si y sólo si” y se simboliza p <— » q son
verdaderos V o son falsos F, en otros casos es falso F. Su tabla de verdad es:
p q p++q
V V V
V F F
F V F
F F V
f) LA DISYUNCIÓN EXCLUSIVA.- La disyunción exclusiva de dos

proposiciones p y q es la proposición
compuesto mediante conectivo lógico “o” y se simboliza p A q, donde ambas
proposiciones p y q tengan valores de verdad opuestos y es falsa si ambas tiene
idénticos valores. Su tabla de verdad es:
P q p Aq
V V F
V F V
F V V
F F
F
Ejem plo.- Sea p : k es par ; q : k es impar. Hallar el valor de verdad de p A q.
Solución
Para calcular el valor de verdad de p A q, primero veamos lo siguiente:
Si k es par, si puede ser impar (Si p es V ; q es F)
© Si k es impar, no puede ser par (Si p es F ; q es V)
De las notaciones (1) y (2) vemos que p A q es verdadera.
En efecto:
p q pA q
V F V
F V V
1.8. PROPOSICIONES COMPUESTAS.-

Mediante los conectivos lógicos se pueden combinar cualquier número finito de
proposiciones cuyos valores de verdad pueden ser conocidos, construyendo su tabla de
verdad, en dicha tabla se puede indicar los valores resultantes de estas proposiciones
compuestas, para todas las combinaciones posibles de valores de verdad de las
proposiciones compuestas.
Ejemplo.- La tabla de verdad de la proposición compuesta de:
[(p----- > q) a (q ----- > r)]----- > (p > r)
Solución
->q -»r [(P----- > q) a (q----- >r)]----- > (p-

V V V V V V V V V
V V F V F F F V F
V F V F V V F V V
V F F F V F F V F
F V V V V V V V V
F V F V F V F V V
F F V V V V V V V
F F F V V V V V V
Lógica 9
1.9. JERARQUÍA DE LOS CONECTIVOS LÓGICQS.-
Si se tiene una proposición compuesta con varios conectivos lógicos, para realizar las
operaciones primero se debe colocar los paréntesis adecuadamente empezando con las
proposiciones que se encuentran dentro de los paréntesis anteriores, luego siguen todas las
negaciones y se avanza de izquierda a derecha (los corchetes son considerados como
paréntesis).
Ejem plo.- Hallar la tabla de valor de verdad de la proposición:
[p v ( q - ---- * ~r)] a [(~p v r) <---->~ q]
p q r [P V (q ----- >- -r)] a [(~p v r) <— » ~ q l

V V V V V F F V F F
V V F V V V V F V F
V F V V V V V V V V
V F F V V V F F F V
F V V F F F F V F F
F V F F V V F V F F
F F V F V V V V V V
F F F F V V V V V V
X s
1.10. TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS.-
a) TAUTO LOGÍA.- Son proposiciones compuestos que siempre son verdaderos

cualquiera que sea el valor de las proposiciones componentes.
Ejem plos de Tautología.-
© p v - p (principio del tercio excluido)
(2) >
[(p----- q) a p ] ■»q (5) (p ■ ~p)
En electo tenemos
® p P V ~P
V V V F
F F V V
Es Tautología
Es una Tautología
© P ~P - (p a -p )
V F V F
F V V F
Es una tautología
b) CONTRADICCIONES. Son proposiciones compuestas que siempre son falsas,

cualquiera que sea el valor de las proposiciones
compuestas.
Ejemplo de contradicciones.-
© p a ~p (principio de contradicción)
(T ) ~(p v -p ) © (p > q ) A ( p A ~ q )
En efecto tenemos:
©
P ~P PA'P
V F F
F V F
Es una contradicción
Lógica 11
© p ~P ~ (p v ~p)
V F F V
F V F V
Es una contradicción
© „ ^ ,
P q ( p — »q) A ( p A~ q )
V V V F F
V F F F V
F V V F F
F F V F F
Es una contradicción.
c) CONTINGENCIA.- Son proposiciones compuestas que no son ni tautología ni

contradicciones, es decir, son proposiciones que en algunos
casos es F, y en otros es V.
Ejem plos de Contingencia.-
(D P* © P AC1
© (p— >q)— >p

En efecto tenemos:
Es una contingencia
© ------------
P q p Aq
V V V
V F F
F V F
F F F
Es una contingencia
® p q (P ->q) *P
V V V V V
V F F V V
F V V F F
F F V F F
Es una contingencia
1.11. IMPLICACIÓN LÓGICA Y EQUIVALENCIA LÓGICA.-
i) A toda proposición condicional p —» q que sea tautología le llamaremos implicación

lógica (o simplemente implicación) en éste caso a la condicional denotaremos por
p=>q
Ejemplo de Implicación lógica se tiene: [((~p) v q) a ~q] => ~p

puesto que:
P q [((~p) v q) A ~q] => - p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
X
__ /
Es una tautología. Por lo tanto es una implicación lógica.
ii) A toda bicondicional p <-» q que sea tautología se le llama equivalencia lógica (o
simplemente equivalencia) y en éste caso a la bicondicional denotaremos por p<=> q.
Ejemplo de equivalencia lógica se tiene: [p a (p v q)] <=> p
puesto que: ______________________________

P q [p A (P v q)] <=> p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F
____
Es una tautología. Por lo tanto es una equivalencia lógica.
Lógica 13
1.12. PROPOSICIONES LOGICAMENTE EQUIVALENTES.-
Cuando sus tablas de verdad de dos proposiciones p y q son idénticos se denominan

equivalentes (o lógicamente equivalentes) en este caso se simboliza en la forma p=q.
Ejemplo.- Las proposiciones ( p > q) y (~ q ----- > ~p) sort lógicamente equivalentes.
puesto que sus tablas de verdad son idénticos. En efecto:
p q p — >q -.q ----- > p

V V V F V F
V F F V F F
F V V F V V
F F V V V V
‘ Idénticos'
->q = ~ q >_p
OBSERVACION.-
© La equivalencia de este ejemplo es muy importante, porque viene a ser la base del
llamado método de demostración por Reducción al absurdo, en una forma indirecta
de un proceso de demostración que se va utilizar en el desarrollo del curso.
© Un par de proposiciones equivalentes p ee q resulta siempre una equivalencia

lógica p « q y viceversa, por esta razón cuando se tiene una equivalencia lógica
entre p y q, también se dice p = q.
1.13. PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS.-
Las llamadas leyes lógicas o principios lógicos viene a ser formas preposicionales
tautológicas de carácter general y que a partir de estas leyes lógicas se puede generar otras
tautológicas y también cualquier tautología se puede reducir a una de las leyes lógicas,
entre las principales leyes lógicas mencionaremos.
Io LOS TRES PR IN C IPIO S LÓ G ICO S CLÁSICOS.-
Ley de identidad.
í P >P
í “una proposición sólo son idénticos así mismo”
[P < >P
® Ley no contradicción.
~(p a -p ) “una proposición no puede ser verdadero y falso a la vez”
© Ley del Tercio excluido.
p v - p “una proposición es verdadero o es falso no hay una tercera posibilidad"
2o EIJIVALENCIAS NOTABLES.-
© Ley de la doble negación.
~(~p) = p “la negación de la negación es una afirmación”
© Ley de la Idempotencia.
a) p a p=p b) p v p ^ p
© Leyes conmutativas.
a) (p a q) = (q a p) b) ( p v q ) E ( q v p)
c) p <— >q = q<— >p
© Leyes Asociativa.
a) p a (q a r) s (p a q) a r b) p v (q v r) = (p v q) v r
c) p <— >(q <-----» r) = (p <— > q) <— > r
© Leyes Distributivas
a) p a (q v r) s (p a q) v (p a r) b) p v (q a r) = (p v q) a (p v r)
c) p » (q a r) = (p » q) a (p ----->r)
d) p >lqvr)E(p - > q ) v ( p ------> r)

Lógica 15
© Leyes De Morgan.
a) ~(p a q) = ~p v ~q b) ~(p v q) = ~ p a ~q
© Leyes del Condicional.
a) p >q e - p v q b) - ( p --- >q) = pA~q
© Las Leyes del Bicondicional.-
a) (p<— ►q) = (p > q ) A ( q >p)

-
b) (p <— > q) s (p a q) v (~p v -q )
© Leyes De La Absorción.
a) p a (p v q) = p b p a (~p v q) = p a q
c) p v (p a q) = p d p v (~p a q) = p v q
@ Leyes De Transposición.
a) (p »q)s~q >- p b) (p<— > q) = ~q <— > -p
© Leyes De Exportación.
a) (pAq) »r = p > (q > r)
b) (P i a p 2 a . . . a p n ) ----------> r = { p xa P2 a ... a p n— i ) ------------K p n >r )
(l2 ) Elementos Neutros para la Conjunción y Disyunción.
a) p a V s p. V neutro de la conjunción.
b) p v F ^ p , F neutro de la Disyunción.
(O ) También:
a) (p v q) a (p v -q ) = p b) (p a q) v (p a ~q) = p
OBSERVACIÓN.- Estas Leyes son muy útiles para simplificar los problemas, puesto
que es válido reeinplazai una proposición por su equivalente sin
alterar el resultado.
Ejem plo.- Simplificar las proposiciones siguientes aplicando las leyes lógicas.
(1) l(pv-q)Aq) >p

Solución
l(p v ~q) A q ]------ > p = ~[(p v ~q) A q] v p
- [—(p v -q ) v -q ] v p
= l—(p v ~q)J v (p v -q )
E P v ~q
( 2) —[—(p a q ) >~q]vq
Solución
~l~(p a q) >-q ] v q s [ -( p a q) a - (—q)] v q por (7b)
= ~t(P a q) v (-q)] v q por (6a)
s [~(p a q) a —(—q)] v q por (6b)
= [(-p v -q ) a q] v q = q v ((-p v ~q) a q) por (3b)
s qv [q a (~p v ~q)] = q por (9b)
© Comprobar que las tres proposiciones siguientes son equivalentes:
a) _ [(q v _ p) v (q a (r v ~p))]
b) (p a -q ) a [~q v (~r v p)]
c) ~(~q------>--~p) a [q > - ( p ---- >r)]
Determinar si (a) y (b) son proposiciones equivalentes:
a) p »(rv~q)
b) (q ---- >~p) v (~r — ^ -p )
Dejamos el desarrollo de este ejercicio al lector.

Lógica 17
(j) [ ( ( ~P) Aq)------> (r a ~r)l A~q

Solución
[((~p) a q) > (r a ~r>] a ~q = [((~p) a q) >F] a ~q
P) a q) v F]
= [~ ( ( — a -q
= [(P v -q ) v F] a -q
= (P v ~q) a q= q
Ejemplo.- Determinar si a) y b) son proposiciones equivalentes:
a) p > ( r v ~q) b) ( q ------> - p ) v ( - r ----- >~p)

Solución
Determinaremos la equivalencia mediante la tabla de verdad.
r (r v -p )
^ f -> ' PJ
p q P fq > p) v t~r-
V V V V V V F V V
V V F V F F F F F
V F V V V V V V V
V F F V V V V V F
F V V F V V V V V
F V F F V F V V V
F F V F V V V V V
F F F F V V V V V
Idénticos ^
1________________________________ J
Otra manera es mediante la simplificación.
a) p >(rv~q) = (~ p) v( r v~ q)
b) (q----- >~p) v (~ r------>~p) = (~q v ~pj v r v ~p)
= (~q) v (~p v ~p) v r
= (-q ) v (~p) v r
= (~p) v (r v ~q) ... (2)
Luego de (1) y (2) se tiene: a) = b)

1.14. LA INFERENCIA LÓGICA O ARGUMENTO LÓGICO.-
A1 proceso de pasar de un conjunto de premisas a una conclusión se denomina inferencia

lógica o Argumento lógico.
La inferencia lógica es una condicional de la forma:
ÍPi * P i a ...a p „ ) >q ...(a)
donde las proposiciones P \ , P i , —. p n son llamadas premisas y que originan como
consecuencia otra proposición q llamada conclusión.
OBSERVACIÓN.- Una inferencia lógica puede ser una tautología, una contingencia o
una contradicción y por lo tanto se tiene:
Si la condicional (a ) es una tautología se denomina argumento válido o inferencia

válida.
Si la condicional (a ) no es una tautología se denomina FALACIA.
Ahora veremos como se determina el valor de verdad de un argumento lógico.
1.15. DEFINICIÓN.-
E1 argumento (a ) es verdadero si q es verdadero cuándo todas las premisas p ¡, p 2,..., p n

son verdaderos, en cualquier otro caso el argumento (a ) es falso.
NOTACIÓN.- También el argumento (a ) se denota por:
P \ , P 2T - - P n >0 ™(P)
Ejemplo.- Determinar si p v q es una consecuencia válida de ~p »~q,~q----- >r, ~r

Solución
En este problema las premisas ~ p -----> ~q, ~ q >r, ~r y la conclusión es p v q, por lo

tanto se debe demostrar que ( ~ p ----- > ~q) a ( ~ q ----- > r) a ~r » p v q es una
tautología.
Lógica 19
p q r t( P -> ~q) a (~q -» r)J a [-~r—— > (p V q)]

V V V V V V F F V V
V V F V V V V V V V
V F V V V V F F V V
V F F V F F F V V V
F V V F F V F F V V
F V F F F V F V V V
F F V V V V F F V F
F F F V F F F V V F
T * .
Es una tautología
Como es una tautología es una inferencia válida.
1.16. TEOREMA.-
Si el argumento (a ) es válida y las premisas p , , p 2,..., p,, son verdaderas, entonces la
conclusión q es verdadera.
Demostración
Si el argumento (a ) es válido, la condicional p, a p 2 a . . . a p n >q es una tautología
en que (p , a / j 2 a - a P«) es verdadera (puesto que cada p , , p 2,..., p„ son verdaderos)
de donde se tiene que la única posibilidad para la conclusión q es que sea verdadera, pues
si fuese falsa, la condicional seria falsa y la inferencia no seria válida, contradiciendo la
hipótesis.
OBSERVACIÓN.- Una inferencia no se modifica si una o varias de las proposiciones
componentes p , , p 2 p „ , q se reemplaza por otra u otras que sean equivalentes.
NOTACIÓN.- Al argumento (p , a p 2 a . . . a p „ ) ------ >q, también se denota en la

forma siguiente:
P\
Pi
P3
Pn
q
Ejemplo.- Demostrar que el argumento es válido.
P
p— >q
•• q
Solución
Se debe demostrar que la condicional
[p a (p -----» q )]------ >q es una tautología
[p a (p ----->q)]-» q — [p a ( p >q)]vq
= [~pv~(p >q)]vq
= (~P v q) v ~(~p v q)
= (~p v q) v (p a -q )
s ~(p a ~q) v (p a ~q) = V es tautología
También puede haberse demostrado con la tabla de verdad.
Es una tautología
1.17. INFERENCIAS VÁLIDAS NOTABLES.-
© Ley De Módus Pones.- [(p-----» q) a q] => q

también se simboliza p ---- >q
_P ________
.-. q
Ley De Módus Tollens.- [(p-----> q) a (~q)] => (~p)
también se simboliza p >q

Lógica 21
(5 ) Ley Del Silogismo Hipotético, [(p----- » q) a (q > r)] => ( p > r)
También se simboliza: p ----- » q

q— *r
p >r
© Ley Del Silogismo Disyuntivo, [(p v q) a (~p)] => q
También se simboliza: pv q
~P
q
Ley Del Dilema Constructivo, [(p ----- >q) a (r > s) a (p v r)] => (q v s)
También se simboliza:--------- p ----- » q

r »s
pv r
qv s
© Ley De Simplificación.
a)pAq=>p b) p a q => q
También se simboliza:
P P
q _____________________q___
de p q
1.18. EL MÉTODO ABREVIADO.-
E1 desarrollo de la tabla de valores de la inferencia (p , a p2a . .. a p n) >q es muy

laborioso cuando se desea saber su validez, esto se puede evitar mediante el “método
abreviado” que es fácil de manejar y de gran precisión.
El método abreviado consiste en analizar la única posibilidad de ser falsa la

implicación p » q, es decir:
O sea que la implicación es falsa F sólo cuando el antecedente es verdadero V y el

consecuente falsa F.
Ahora haremos un análisis a la inferencia, (p , a p 2 a . . . a p n ) ------ »q
mediante los siguientes pasos:
Io Asignar el valor de verdad V a cada una de las premisas p , , p 2,—, p„ y falso F a la

conclusión, como el antecedente es verdadero y por ser una conjunción n premisas
entonces cada premisa p , , p 2 p„ es verdadera es decir:
( p , a p 2 a ... a p n ) --------------------------» q
' * '
2° Deducir el valor de cada una de las variables proporcionales teniendo en cuenta las
reglas a , v, », ~ que se pueden presentar en cada premisa.
3° Si cada una de las variables proporcionales tiene un sólo valor, entonces la

inferencia no es válida, es decir no hay implicación puesto que la conjunción de
premisas es V y la conclusión es F.
4° Si una variable proporcional llega tener dos valores a la vez (V y F), entonces
quedará demostrado que no es posible que la conjunción de premisas es V y la
conclusión es F, por lo tanto hay implicación y la inferencia es válida.
Ejem plo. Analizar la inferencia [(p----- »q) a ( r »~s) a (~q v ~ s)]----- >(~p v ~r)
Solución
[(p i— »q) a (r -T—> ~s) a (~q y ~s)]----------- >(~p v ~r)

v v W ! i
Lógica 23
Analizando la conclusión (~p v -r)

~p v ~r
F ▲ ÁF
p es F I p es V
de donde .
r es F r es V
ahora analizaremos cada premisa
p -j- >q de donde p es V
V 4_ ( ^ V
r ------j-— > ~s de donde r esV

▲ ▼ V ~s es V entonces S es F.
(y ) ^
-q v s de donde - q es V
A s es F entonces q es F
1F
como se puede apreciar que q es V por una parte y q es F por otra parte, lo cual es una
contradicción por lo tanto la inferencia es válida.
Ejemplo.- Analizar la inferencia [(p----- >q) a (~ p >r) a (p v ~p)]------>(p v r)
Solución
[(p----- >q) a (~ p > r) a (p v ~p)]------------ > (p v r)

l i l i
▼ ▼ T I I
I I
v. v V v . T T
F'
Analizando la conclusión p v r
p es F
p v r de donde ,
y 1- es F
Ahora analizamos cada una de las premisas.
P ■>q de donde p es F
▲ q es V
- p ------------»
~P ■»r de donde - p es F entonces p es V
como podemos apreciar p es F por una parte
p es V por otra parte
lo cual es una contradicción, por lo tanto la inferencia es válida.
Ejemplo.- Analizar la inferencia: [(~p <— » (~q v r)) a ( r ----- » s)]----- »(s ------» -p )
Solución
[(~p <— > (~q v r)) a ( r ----- > s)] * ( s ----- > -p )
▼
V
Analizando la conclusión s » ~p
s ~p de donde entonces p es V
Ahora analizamos cada una de las premisas.
~p <---------- » (~q v r) ~q v r
de donde
Lógica 25
r es F
->s de donde
s es F
FT ▼
L- &
Corno se tiene una contradicción. Luego la inferencia no tiene validez.
1.19. MÉTODOS DE DEMOSTRACIÓN.-
En la demostración de teoremas y proposiciones que se presentan en el álgebra y el

análisis se aplican ordenadamente los pasos lógicos agotando todas las premisas
(antecedentes o hipótesis) para verificar la conclusión (consecuente o tesis).
Existen dos formas o métodos de demostración matemática, la directa y la indirecta.
1.20. FORMA O MÉTODO DIRECTO DE DEMOSTRACIÓN.-
En la tabla de verdad de la implicación p >q.
Si p es falso, la proposición p >q es válida cualquiera que sea el valor de q, entonces

no se tendrá nada que demostrar, es decir que interesan los casos de antecedente
verdadero.
Sí a partir de la verdad de p o de un conjunto de premisas de la forma.
(Pi a p2 a ... a p n ) ------ >q ( 1)
se deduce la verdad de la conclusión de q, se dice que se ha usado una demostración

directa.
Ejemplo.- Mediante el método directo comprobar la validez de la inferencia lógica.
[~p a (p v q )] >q
Solución
[~p a (p v q )] » q = ~[~p a (p v q)] v q
= l p v ~(p v q ) ] v q
= ( p v q ) v ~(p v q)
V
- tautología.
1.21. FORMA O MÉTODO INDIRECTO DE DEMOSTRACIÓN.-
A esta forma de demostración también se denomina demostración por contradicción o por

reducción al absurdo, este método consiste es negar la conclusión q y considerarla como
una premisa, y a una de las premisas p x, p 2 p n negarla digamos a p 1 y construir el
siguiente argumento lógico
( ( —q ) A P 2 A - A Pn ) --------- * ~ P \ — ( 2)
ahora probaremos que el argumento lógico(2) es equivalente al argumento lógico (1).
((—q) A P2 A - A P „ ) > ~ P i = ~ [ ~ q a P2 a - a p J v ~ P i
= [qv-ft v -v-p„]v-pi
= [- p, V - p 2V ... V - ] V q
= -[ P\ A P2 A ■*■ A Pn ] V Q
= { p x/\ p 2/ \ p n ) > q (argumento 1)
1.22. DEFINICIÓN.-
Cuando en una demostración se emplea el argumento lógico (2) se dice que se está
aplicando el método indirecto o método por reducción al absurdo.
Ejemplo.- Por el método indirecto comprobar la validez a la inferencia lógica siguiente:
[~p a (p v q )] >q
Solución
Negaremos la conclusión q y la consideremos como premisa y negaremos a la premisa ~p

y considerarla como conclusión.
Lógica 27
t(-q ) a (p v q )] >p = ~[(~q) a (p v q)] v p
= [ q v ~(p v q)] v p
= ( p v q ) v ~(p v q)
v.______________ j
V
V
s tautología
Ejemplo.- Probar que él número \Í2 no es racional.
Solución
La comprobación lo haremos por el método de reducción al absurdo.
1ro. Suponemos que y¡2 es racional.
2do. Si y¡2 es racional => 3 m, n e Z primos entre sí tal que \¡2 = —

n
2
3ro. Sí yÍ2 = — => 2 = ^ — => m 2 = 2 n 2 ... (CX)
n n
4to. Como m 2 - 2 n 2 , con n entero => m 2 es par, por lo tanto m es par.
5to. Como m es par => m = 2k, para algún k entero.
6to. Reemplazando en (a ) se tiene: 4k2 =2n2 => n 2 = 2 k 2
7mo. Como n 2 - 2 k 2 => n 2 es par, por lo tanto n es par.
8vo. Como n es par => n = 21, para algún 1 entero.
9no. De 5to. y 8vo. se tiene m = 2k, n = 21 de donde m y n tiene un factor común 2,

lo cual contradice a la hipótesis de que m y n son primos entre sí.
lOmo. Conclusión, por lo tanto \Í2 no es racional.

1.23. CIRCUITOS LOGICOS.-
A un ensamblaje de interruptores automáticos que permiten el paso de la corriente

eléctrica o la interrumpen de denomina circuitos eléctricos.
A un interruptor se puede representar por medio de una proposición p y viceversa, de tal

manera que el valor de verdad de la proposición p se identiñque con el “paso de la
corriente” en este caso se dice que el “circuito está cerrado” y cuando el valor es “falso"
con la interrupción de la corriente en este caso se dice que el circuito está abierto.
Circuito cerrado Circuito Abierto
(pasa corriente V) (no pasa corriente F)
OBSERVACIÓN.- Para diseñar los circuitos eléctricos, se usa la siguiente notación.
El 1 indica “pasa corriente”
El 0 indica “no pasa corriente”
Luego en circuitos eléctricos se usan como notación.
“El 1 en lugar de V”
“El 0 en lugar de F ’
En el diseño de esquemas de circuitos eléctricos para representar a proposiciones

compuestas y viceversa consideramos dos clases de instalaciones, en serie y en paralelo.
1.24. DISEÑO DE CIRCUITOS ELECTRICOS EN SERIE.-
Consideremos dos interruptores p y q conectados en serie.
------------- p ----------►------------ q ---------- ►-----------o
Pasa corriente
Lógica 29
Se observa que este circuito admite paso de corriente cuando estos dos interruptores p y q
están cerrados, en cualquier otro caso no hay paso de corriente, es decir ésta situación
corresponde a la tabla de verdad de la conjunción p y q.
p q p Aq
1 i 1
1 0 0
0 i 0
0 0 0
En la tabla de verdad se observa que basta que uno de los interruptores esté abierto “O"
para que no circule la corriente en todo el circuito.
A la expresión p a q se le llama la "Función Booleana del circuito en serie”.
1.25. DISEÑO DE CIRCUITOS ELÉCTRICOS EN PARALELO.-
Consideremos dos interruptores p y q instalados en paralelo.
Se observa en el circuito para que circule corriente es suficiente que alguno de los
interruptores o ambos p o q esté cerrado ” 1” y no hay paso de corriente si ambos
interruptores están abiertos (ambos con el valor ”0”).
Este circuito corresponde a la tabla de verdad de la disyunción p v q, es decir:
p q pvq
1 i 1
1 0 1
0 i 1
0 0 0
A la expresión p v q se denomina la función Booleana del circuito en paralelo.
no pasa corriente
NOTACIÓN.- A un interruptor p representaremos simplemente como
o----------------------- p o
Ejemplo.-
p/vq p q ------------------
pvq
OBSERVACIÓN.- A una tautología se representa mediante un circuito siempre

cerrado (donde la corriente siempre está circulando). En las computadoras no son de
utilidad.
Ejemplos.-
© Construir el circuito lógico de las funciones Booleanas.
a) p >q
Solución
Lógica 31
p >q = ~p v q (paralelo)
b) (p v q) a r
Solución
pvq es en paralelo o-
(p v q) a r es en serie r o
© Describir simbólicamente el circuito.
Solución
en paralelo r v ~ q
~q
Enserie p x (r v q)
-q
[p a (r v ~q)] v (q a -r )
© Determinar la menor expresión que representa al circuito dado:
P -----------
q ----------- -P
-q ~P
Solución
[p v (q v (~q a ~p))] a - p = [p v (q v ~(q v p))] a ~p
= [(P v q) v ~(p v q)] a -p
s [(p v q) a -p ] v [~(p v q) a -p ] s [~p a q] v [~p a ~q a ~p]
[~p a q] v [~p a ~q] = [(~p a q) v ~p] a [(~p a q) v -q ]
-p a (~q v -p ) = ~[p v (q v p)] v ~p
Determinar el circuito lógico que representa el esquema molecular. ~[p - ~(q v r)]
©
Solución
~ [p ----- » ~(q v r)] = ~[~p v ~(q vr ) ] = p a (q v r)

Lógica 33
1.26. LÓGICA CUANTIFICACIONAL.-
FUNC1ÓN PR O PO SIC IO N AL.-
A todo enunciado abierto de la forma P(x) se denomina función proposicional la cual

tiene la propiedad de convertirse en una proposición al ser sustituido la variable x por una
constante “a” especifica, al conjunto de todos los valores convenidos para la variable x se
denomina dominio de la variable.
De acuerdo a la definición de enunciado abierto, la función proposicional sobre D es toda

expresión P(x) donde P(a) es verdadero o falso para todo a e D.
Ejemplo.- P(x) = x + 1 < 9, si x pertenece al conjunto de los enteros, entonces P(x) es

una función proposicional cuyo dominio es los enteros.
Si x = -2 e Z, -2 + 1 < 9 es verdadero
x = 10 e Z, 10 + 1 < 9 es falso
por lo tanto P(x) es una función proposicional.
1.27. CUANTIFICADORES EXISTENCIAL Y UNIVERSAL.-
Se ha visto un método que nos permite que a partir de una función proposicional P(x) se
puede obtener proposiciones, sin embargo se tiene otro método completamente distinto
que permite obtener proposiciones a partir de una función proposicional, dicho método es
llamado cuantificadores.
Ejemplo.- Sea la función proposicional P(x): x es un número primo —(1)
Si a la función proposicional le anteponemos “para todo x” se obtiene:
"para todo x, x es un número primo” ... (2)
La frase "para todo x” se denomina el cuantificador universal y se simboliza por: V x

que se lee para todo x.
Luego (2) se puede escribir en la forma. V x: x es un número primo ... (3)
aclarando (1) es una función preposicional
(3) es una proposición.
A un cuantificador universal puede ser reemplazado por:
Vx: P(x) o V x / p(x) ó (V x) (P(x))
y en todas estas notaciones, se lee “para todo x. tal que se verifica P(x)” es decir:
V se lee “para todo”
El cuantificador El cuantificado
Vx : P(x)
Notación: Vx / P(x)
(Vx) (/>(*))
Ejemplo.- V x: x + 4 = x
El cuantificador universal no es el único cuantificador que permite obtener proposiciones

a partir de funciones preposicionales, existe otro llamado cuantificador existencial.
Sí en (1) P(x): x es un número primo antes ponemos la frase “existe x tal que” es nuevo
cuantificador, se obtiene:
“Existe x tal que x es un número primo” ... (4)
Al cuantificador existencial x “existe x tal que” se simboliza 3 x. de donde (4) se escribe
3 x: x es un número primo ... (5)
un cuantificador existencial puede ser representado por 3 x: P(x) o 3 x/P(x) o (3x) (P(x))
y en todas éstas notaciones se lee:
“Existe por lo menos un x, tal que se verifique P(x)” es decir: 3 se lee existe
Lógica 35
El cuantificador El cuantificado
3*: P(x)
Notación 3.1 / P(x)
(3x)(P(x))
Ejemplo.- Sea el conjunto A = {-2.-1,2,3.4 } se tiene:
3 x e A: x 2 —2x —8
3 x e A / x2-2x =8
( 3 x e A)( x2 - 2 x = 8)
1.28. NEGACIÓN DE PROPOSICIÓN CON CUANtlFICADORES.-
Proposición La negación
V x : P(x) ~ [V x : P(x)] = 3 x : - P(x)
3 x : P(x) -[3 x : P(x)] = V x : ~P(x)
V x e A : P(x) ~[V x e A : P(x)] = 3 x e A : ~P(x)
3 x e A : P(x) -[ 3 x e A : P(x)] = V x e A : ~P(x)
Ejemplo.- Negar la proposición, V x e N / x + 3 > 5
Solución
~[V x e N / x + 3 > 5 ] = 3 x e N / x + 3 < 5
Ejemplos.- Negar cada una de las siguientes proposiciones si el conjunto de referencia

es los reales R.
(7 ) (V x)(3 y)ÍP(x) > (q(y)----- * r{x))]
(2 ) (V x)(3 y)(3 z) [P(x,y)----- » q(x) a r(z)]
( 3) (3 x)(V y)(3 z)[~(P(x)----- > q(y)) v r(z)]
( 4) (V x)(3 y)(V z)f~(r(\) v ~P(x)) v q(z}J

Solución
(1 ) -(V x)(3 y)[P(x)----- » (q(y)----- > r(x))] = (3 x)(V y)[P(x) a ~(q(y)----- > r(x)]
= (3 x)(V y)[P(x) a (q(y) a -r(x))]
(2 ) ~(V x)(3 y)(3 y)(P(x,y)------> (q(x) a r(z)) = (3 x)(V y)(V z)[P(x,y) a ~(q(x) a r(z))]
= (3 x)(V y)(V z)[P(x,y) a (-q(x) v -r(z))]
(5) -(3 x)(V y)(3 z)[~(P(x)------> q(y)] v r(z)] = (V z)(3 y)(V z)[P(x)----- » q(y)) a -r(z)]
(í) ~(V x)(3 y)(V z)[~(r(x) v ~P(x)) v q(z)] = (3 x)(V y)(3 z)[r(x) v ~p(x)) a ~qtz)]
|l.29. EJERCICIOS DESARROLLADOS.-
Determinar el valor de verdad de cada una de las siguientes proposiciones:
a) Sí 5 + 4 = 11, entonces 6 + 6 = 1 2
Solución
Es verdadera puesto que el antecedente es falso mientras que el consecuente es verdadero.
b) No es verdad que 3 + 3 = 7 sí y solo sí 5 + 5 = 1 2
Solución
Es falso puesto que se está negando una proposición verdadera.
c) Lima está en Chile o La Paz está en Ecuador.
Solución
Es falso puesto que ambas componentes son falsas
d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4
Solución
Es falso puesto que se está negando una proposición verdadera.

Lógica 37
V Determinar el valor de verdad de cada una de las siguientes proposiciones:
a) 4 + 8=12 y 9 - 4 = 5
Solución
Es verdadera V, porque es una conjunción cuyas dos proposiciones son verdaderas.
b) 8 + 4 = 12 y 8 - 3 = 2
Solución
Es falso F, puesto que es una conjunción con una proposición simple falsa.
c) 8 + 4=12 o 7 - 2 = 3
Solución
Es verdadera V, puesto que es una disyunción con una proposición simple

verdadera.
d) La UNMSM está en Arequipa o está en Lima.
Solución
Es verdadera V, puesto que es una disyunción exclusiva con una proposición simple
verdadera.
e) La UNI está en Lima o está en Trujillo.

Solución
Es verdadera V, puesto que es una disyunción exclusiva con una proposición simple
verdadera.
f) Sí 5 + 2 = 7, entonces 3 + 6 = 9
Solución
Es verdadera V, puesto que es una implicación con las dos proposiciones simples -
verdaderas.
g) Sí 4 + 3 = 2, entonces 5 + 5 = 1 0
Solución
Es verdadera V, por ser una implicación en donde el antecedente es falso F, y el
consecuente es verdadero V de dos proposiciones simples.
h) Si 4 + 5 = 9, entonces 3 + 1 = 2
Solución
Es falso F, puesto que de una proposición verdadera V no puede implicar una

proposición falsa F.
i) Si 7 + 3 = 4, entonces 1 1 - 7 = 9
Solución
Es verdadera V, puesto que las proposiciones que intervienen en la implicación son falsas.
Evaluar la tabla de verdad de la proposición compuesta. ~(p a q) <— > (~p v ~q)
Solución
p q ~(p a q) (~P V ~q)

V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
© Construir la tabla de verdad de la siguiente proposición:
~{~[p v (~ q ----- » p)] v ~[(p <— > ~ q)---- » (q a ~p)]
Solución
Primero simplificaremos la proposición por la ley de Morgan:
— {[p v (~ q ----- » p)] a [(p <— > ~ q)----- > (q a ~p)]} de donde se tiene:
[p v (~ q ----- » p)] a [(p <— >- q ) — -> (q a —p)]
p q [p v (~q- -» p )] A [(p *— > ~q) -> (q a ~p)]

V V V V V V F V F
V F V V V F V F F
F V F V V V V V V
F F F F F F F V F
El valor de verdad
Lógica 39
© Determinar la proposición [((~p) v q) a ~ q]----- » ~p es una tautología.
Solución
p q [(~ p v q) A ~q] --------> ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
\V Es una tautología
© Verificar que las siguientes proposiciones son contradicciones:
a) (p a q) a ~(p v q) b) ~[p v (~p v ~q)]
Solución
P q (p A q ) A ~ (P v q) - lP V (~p v ~q)]
V V V F F V F V V F
V F F F F V F V V V
F V F F F V F F V V
F F F F V F F F V V
*
Contradicción Contradicción
© Demostrar que las proposiciones dada es una tautología: [(p v -q ) a q] -
Solución
P q [(p v ~q) A q] ----- P

V V V V V V V
V F V F F V V
F V F F V V F
F F V F F V F
\ //
Es una tautología
(? ) Verificar que la proposición dada es una contingencia [~p a (q v r)] <— » [(p v r) a q]
Solución
p q r [~P A (q v r)] <— » [(p v r) A q]

V V V F F V F V V V
V V F F F V F V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
*
I__________________X _________________J
Es una contingencia
Determinar si las proposiciones [p > (r v ~q)] y [(q ----- » ~p) v (~ r------» -p)J son
equivalentes.
Solución
P q r lP ----- » (r v ~q)] [(q— » p ) v ( r-— >~p)]

V V V V V V F V V
V V F V F F F F F
V F V V V V V V V
V F F V V V V V F
F V V F V V V V V
F V F F V F V V V
F F V F V V V V V
F F F F V V V V V
Por lo tanto son equivalentes es decir: [ p — —» (r v ~q)] = [(q ----- » ~p) v (~ r----- > ~p)]
@ Determinar si las proposiciones [(~p v q) v (~r a ~p)] y ~ q ----- » ~ p son equivalentes.
Solución
Lógica 41
p q r [(—P) v q) v (--r a ~p)] q ----- > ~ p

V V V V V F V
V V F V V F V
V F V F F F F
V F F F F F F
F V V V V F V
F V F V V F V
F F V V V F V
F F F V V V V
^ — Idénticas — ^
Por lo tanto son equivalentes es decir: (~p v q) v (~r a ~p) = ~ q »~ p
Determinar los esquemas más simples de la proposición: ~[~(p a q) » -q ] v p
Solución
~[~(p a q) » ~q] v p por la condicional
—[—(~(p a q) v -q)] v p por la negación
—[(p a q) v ~q] v p por conmutatividad en la conjunción
~[~q v (p a q)] v p por absorción
~[~q v p] v p por Morgan
(~p a q) v p por absorción
p v q ~[~(p a q ) » ~q] v p=p v q
^2) De la falsedad de la proposición: (p ■>~q) v (~ r----- > s) detenninar el valor de verdad

de los esquemas moleculares
a) (~p a ~q) v - q b) (~rvq)<— >(~qvr)AS
c) íp »q) >(pvq)A~q
Solución
Determinaremos el valor de verdad de p, q, r y s
Por lo tanto: p es V, q es V , r es F, s es F
a) (~p a ~q) v ~q b) (~r v q ) « - -> (~q v r) a

♦ : i : ¡ ♦ !* ! i ¡i !
F ! F ! ! v !1 v •■ F i! F !i
1
♦ i 1 i
1 ! ♦ !
F ¡ F 1 ! F !
i i
0 El valor de verdad es F F
| V | El valor verdad V
c) (p -> q ) —> (p v q) a ~q
♦ i : * ¡i : :
V V !> v !I vI !I !
! ♦ ! ♦
¡ V ¡ F
♦ ♦
V F
El valor de verdad es F
El valor de verdad de: ~[(~p v q ) v ( r >q)] a [(~p v q ) » (q a ~p)] es verdadera.

Hallar el valor de verdad de p, q, y r
Solución
Lógica 43
Se sabe que p a q y q -----■>t son falsas, determinar el valor de verdad de los esquemas
moleculares siguientes:
a) (~p v t) v ~q b) ~[p a (~q v ~p)]
<0 l(p »q a ~(q a t)] <— >l~p v (q a ~t)]
Solución
Determinaremos el valor de verdad de las proposiciones p, q, t
por lo tanto p es F, q es V y t es F
a) (~p v t) v ~q b) ~[p a (~q v -p)]
* ¡ *: : + ! +
v ! f !! F ¡ V
i
♦ i1 ♦
V !F V
i
0 el valor de verdad es V F
El valor de verdad es V
[(p ->q) - ( q a t ) ] < - - > [~ p V (q A - t ) ]
+ ¡ + ¡ + : i : ¡ + : +
F ! V
i viF ! ! v! v
i
1 i ♦ ♦ ! ♦
1 V ¡ V
1 ! F i
i 1
1
V V 1
1
i
V V
▼
El valor de verdad es V
Si la proposición (~p a q) » (~s v r) es falsa. Determinar cuál de las proposiciones

son verdaderas:
a) ~[(P------» q) >r] b) -(-p a q) a [(-r v r) a s]
c) [(p v ~q) a p] v ~q
Solución
Determinaremos los valores de p, q, r, s
Lógica 45
p es F , q es V
por lo tanto
s es V , r es F
a) 1(P- ->q)- ->r] b) [~(~ p a q)] a [(~r v r) a s]

+ + ¡ +
F v V V V¡i F
♦ ♦ ♦ ♦ ♦
V F V V V
F F V
El valor de verdad es V El valor de verdad F
c) [(p v ~q) a p] v ~q
* ! +
F¡ F
♦ ! *
F ! F
♦ ♦
F F
0 E1 valor de verdad es F
Por lo tanto únicamente es verdadero la a)
16) Determinar el esquema más simple de la proposición [(p a q) v (p a ~q)] v (~p a ~q)
Solución
[(p a q) v (p a ~q)] v (~p a ~q) por distribución respecto a a
[((p a q) v p) a ((p a q) v ~q)] v (~p a ~q) por absorción
(p a (~q v p)] v (~p a ~q) por conmutatividad en v
[p a (p v ~q)] v (~p a ~q) por absorción
p v (~p a ~q) por absorción
pv-q
por lo tanto [(p a q) v (p a —

q)] v (~p a -q ; = p v ~ q
17) Hallar la proposición equivalente más simplificada del siguiente circuito lógico.
p q—
Solución
La ftmción booleana del circuito dado es: [p v q v (~p a ~q)] a [(~p v q) a p]
Simplificando la proposición obtenida se tiene:
[(P v q) v (~p a ~q)] a [(~p v q) a p)l distribuidad respecto a a
[(p v q v ~ p) a (p v q v ~q)] a [(~p v q) a p] distribuida respecto a v
(V a V) a [(p a ~p) v (p a q)] por equivalencias
V a [F v (p a q)] = V v (p a q) = p a q
Por lo tanto la equivalencia es: [p v q v (~p a ~q)] v [(~p v q) a p] = p a q
por lo tanto el circuito simplificado equivalente es:
O-------------------- P Q o
Determinar la menor expresión que representa al circuito dado:
P -----------
q -----------
~q ~P
Solución
La función booleana del circuito dado es: [p v (~q a ~p) v q] a -p
ahora simplificamos la proposición obtenida

Lógica 47
[p v (~q a ~p) v q] a ~p s [p v q v ~p] a -p
= [(p v ~q) v q] a ~p
= (V v q) a ~p = q a ~p
Determinar la menor expresión que representa al circuito dado:

-------- p -------------------- q -
Solución
La función booleana del circuito dado es: [(~p a ~q) v (p a (~p v q))]
ahora simplificando la proposición obtenida
[(~p a -q ) v (p a (~p v q))] s [(~p a -q ) a (p a q)] = p <— >q
Deteiminar la menor expresión que representa el circuito dado:
r ------
Solución
La función booleana del circuito dado es: (p v q) a [(~q a (r v ~q)) v (p a q)] a r
simplificando la proposición obtenida
(p v q) a [(—q a (r v ~ q » v (p a q)] a r = (p v q) a [~q v (q a p)] a r
= (p v q) a [ q v p] a r
EE[p V (q A ~q)] A r
= (pvF)Ar=pAr
Determinar los circuitos lógicos que representan los siguientes esquemas moleculares,
a) ~ [p ----- > - ( q v r ) ]
Solución
Simplificando se tiene:
~ [p ----- > ~(q v r)] s ~[~p v ~(q v r)] ° I
=p a (q v r)
b) (~p)<— »(p--- >~q)
Solución
(~p) <— » (p ----- > -q ) = (~p) <— > (-p v -q )
= (~p a (~p v -q ) v (p a (p a q))
o-------------
= (~P) v (p)
c) ( p v q ) -----» [ ( ~ p v q ) ----- > (p a q>]
Solución
(p v q )----->[(~p v q )----- » (p a q)] = ~(p v q ) v [~(~p v q) v (p a q)]
= ~(p v q) v [(p a -q ) v (p a q)]
s (-p a -q ) v p
= (p V ~q)
~q
Lógica 49
1.30. EJERCICIOS PROPUESTOS.-
Determinar cuáles de los siguientes enunciados son proposiciones:
a) 5+ 7=16-4 b) 3x6=15+1 y 4-2*23x5
c) ¿El silencio es fundamental para estudiar?
d) ¡Estudia lógica simbólica!
e) Nosotros estudiamos en la Universidad Peruana.
f) Los hombres no pueden vivir sin oxígeno.
g) ¡Arriba Callao!
h )5 +x=7 i ) 2 + x*3 + x
© Determine cuáles de los siguientes enunciados son enunciados abiertos:
a) x es hermano de y b) 28 < 1 5
c) x+y+z* 1 d ) 9 x + 3>12
e) Tenga calma, no se impaciente
g) x es ingeniero y Juan es matemático.
h) La UNAC sobresalió en el deporte en el 2000.
© ¿Cuáles de las siguientes proposiciones son verdaderas y cuáles son falsas?
a) Sí 3 + 3 = 6, entonces 4 = 4
b) Si 5(7) = 35, entonces 10 - 3 = 13
c) Si 1 9 - 7 = 3. entonces 4 (5 + 3) = 32
d) Si 2 = 3 entonces 8 es un número primo.
e) Si 3(7) es un número natural, entonces 17 es un número primo.
f) Si x = 2, entonces 3x = 6
(!) Determinar el valor de verdad de las siguientes proposiciones:
a) (3 + 5 = 8) v (5 - 3 = 4) b) (3 + 8 = 11) v (7 - 3 > 1)
c) ( 5 - 3 = 8) ------ > ( 1 - 7 = 6) d) (4 + 6 = 9) <— > ( 5 - 2 = 4)
(? ) Dados las siguientes proposiciones: p: 5 > 10
q: si x 2 +1 = 0, entonces x es un número real
r: “El punto medio de un segmento, equidista de los extremos del segmento”
t: Sí x + 3 = 0, entonces x = -3
Hallar el valor de verdad de las siguientes proposiciones.
a) [ ( p A q ) ---- > r] a ~t b) [(p <— > q ) >~rAt]v(pvr)
(ó ) Si P{ x ) : x 2 - 1 6 = 0 : q(x): x - 12 = 0, r( x ) : x 2 >9 . Hallar el valor de verdad de:
a) [p(2) a ~q(2)] <— > r(4)
b) [~p(4)------> r(5)] v ~q(4)
c) t(p (l) a p(3)) <— > (r(2) v p(3)]------> [~(p(2) v q(2))]
( 7) Si P(x) : jc3 = 27 ; q{x) : x 2 = 9 ; r(x): x < 10. Hallar el valor de verdad de:
a) (p (l)------> q( 12)] (r(-3) v -r(3)]
b) [p(0) a ~q(-1)] v [r(-5)------> (r(-6) v r(0)J
c) [(p(3) v p(2)) <— > (r(2) a ~q(3))] <— > [~q(3) v -p(-3)]
© Construir la tabla de verdad de las siguientes proposiciones:
a) (p<— > ~q) <— > (q >p) b) ( p A - q ) ------ > (~ p v q )
c) [(p v -r ) a (p v r)] a [(q >p)A(qvp)] d) ~(p v -q ) a (-p v r)
e) ~[p a (~ q ------> p)] a [~(p <— > ~ q)---- > (q v~p)]

Lógica 51
® Construir la tabla de verdad de las siguientes proposiciones:
a) (p a q) v (~p) => (p v q) b) (p q) r
c) (p => q) (q p) d) (C~P) v q) => (~q => ~p)
e) (p a r) => (~q v r) f) (p a q) v r <=> (~p v ~q) a (~r)
(lO) Hallar las tablas de verdad de las siguientes proposiciones:
a) p >(pv ~q) b) [(p v ~q) ------>( q ------>p)]
c) [pv(q > ~r)] a l( p v r) <— > ~q] d) ~H p a q ) -----------» ~q] v p
e) ~{[(p >q)v(q > r)j » (r »p)}
Deducir el valor de verdad de:
a) (p » r)----- > ( ( p v q ) A ~ q ] b) (-pA-q)v-q
c) [(~r v q) a q] <--------» [(~q v r) a si
(l2 ) Indicar cuál es la tabla de verdad de cada una de las siguientes proposiciones:
~[(p v q) a (-p v ~q)]
Determinar cuál de las siguientes proposiciones son tautología
a) [(p v ~q) a q] >p b) [ ( pA q ) v q ] < — >q
c) [~p a (q a ~r)J <— >f(~p a q) v ~(p v r)]
(l4 ) Por medio de una tabla de valores, establecer, si cada una de los siguientes esquemas
moleculares es tautología, contingencia o contradictoria.
a) - [ ~ p ------ > ~(~q a ~p)J v ~(~p v - q ) b) [(p v ~q) a ~p] a (~ q ----- >p)
c) ~ (p------ > q) <— >~(~q----- ^ ~p)
d) lp > (q ------ »r)]<— > [ ( p A - r ) ----- » ~ q ]
e) lp a ( ~q------ >p) ] A~ [ ( p ----- >~q) ------> (q v ~p)]
f) f-p a (q v —r)]-<---- >l(~p a q) v ~(p v r)]

52 Eduardo Espinóla Ramos
^5) Determinar mediante la tabla de verdad, cuáles de las siguientesproposiciones son:

tautologías, contradicciones o contingencias.
a) (p > q) a ( q » p) b) [ ( p v q ) A - q ] ------>p
c) ~ [ ( p v p ) ---------->p] d) ~(p v q) a p
e) [p >( q — 7» r)J a [(q v p )------» r]
Determinar cuáles de las siguientes proposiciones son tautología, contradicciones y

contingencias.
a) ~(~P)<— »~[~(~p)l b) (~p v q) a (~ q ------> p)
c) (p v q) a r <— >~(p a r) a -(q a r)
d) [(p a q a r) > s] <— >[(p a q )------ > ( r > s)]
(17) Dadas las proposiciones siguientes:
a) ~(p a q) <— > ( p v ~q) b) ~( p------> q) <— > ( p v - q )
c) ~(p <— >q) <— >(~p <— > -q )
indicar cuál o cuáles es una contradicción
(18) ¿Algunos de las siguientes proposiciones es una tautología?
a) -K pvq) »~q]<— » ( p ------- > q)
b) —[(—p) <— » q] <— » (p ----->q)
c) —[(p a q) v (p a (~p v q))] <— > ( p ------>-q )
^9) Determinar cuál de las siguientes proposiciones son tautologías, contingencias o

contradictorias.
a) [(p a ~q) a (~ p ----- >r)] >(p v ~q)
b) {p v (q >~r)] a [(—p v r) <— » -q]
c) [(~p a q )------» -r] <— » [r a ~(p v ~q)]
d) ~{(p a q) v [p a (~p v q) ) ) <— > ( p ----------» ~q)

Lógica 53
@ ¿Cual de las Mguientes esquemas no señalan una tautología?
a) (p a q) <=> (q v p; b) (p a q) <=> (~p a ~q)
c) (p a q) <=> (q a p) d) (p -> q )« (-p A -q )
( 2^ Determinar la validez del esquema: ~|~(~p a ~ q )------> ~ ( p v q)] *— » [—(—P v q)]
(22) ¿Cuál de las siguientes proposiciones es una tautología.
a) (p a q) v [p a (~p v q)] <— » ( p ------>~q)
b) —[—(p v q ) >~q]<— » ( p ------ > q) c) ~(~p----- >q) <---» (p--<---->q)
23) Construir la tabla de verdad y determinar cuáles son tautología, contradicción o

contingencia.
a) (p »q)<— > [(r » q ) A ( q ------>p)]
b) (p » (q v ~r)] a ~Ip <— >rj
(24) ¿Cuáles de las siguientes proposiciones es una tautología?
a) —{(p a q) v [p a (—p v q ) ] ] <---> ( p ----> ~q)
b) ~( - p«— »q)<— >(p<— »q) c) [(p v —q) a q] >p
d) ~[(~p v q) > q] <— >(p -----» q)
e) [~p a (q v ~r)] <---- » [(~p a q) v ~(p v r)]
^5) Simplificar las siguientes proposiciones:
a) {[(~q) — » (~q)]------ >[(~p)------> (~q)]}----- * ~(p a q)
b) [(p------>q) v ~p] a (~ q ----- >p) c) - { [~(~p a q) v ~ q ]------» [~(p v ~ q)]}
d) (~p v ~q) a [~p a (q > p)] e) [(p = > q ) ^ ( p A q)] v (p a r)
f) ~[~(p a q) -> ~q] v p g) [(—p a q) => (q => p)] a p
(26) Simplificar las siguientes proposiciones:

a) [(~p a q ) » (r a ~r)] a ~q
b) K~q * ~ p ) -------* ( ~ p >~q>] a ~ (p a q)
c) [(p a q) v (p a ~q)] v (-p a -q ) d) (p a q) v (~p a ~q) v p
e) t => [(p => q) => q] a [~p a (q => p)] f) [~(p => q) => ~(q => p)] a (p v q)
g) [(p a -q ) a (q p) a r] v p
27) Si ~[(~p v q) v ( r > q)] a [(~p v q ) >(q a ~p)] es verdadera, hallar los valores de
verdad de p, q y r.
(28) Si la proposición ( p > ~ q )----- >-( r ------ >~s) es falsa. Hallar el valor de verdad de las
proposiciones p,q,r,s.
^9) Si la proposición ~(p a q) a (q <— » p) es verdadera; entonces hallar los valores de verdad
de p y q respectivamente.
30) Si la proposición (p => ~q) v ( ~ r ------> s) es falsa. Hallar el valor de verdad de los
siguientes esquemas moleculares.
a) (p => q) => [(p v q) a ~q] b) (~r v q ) o [(~q v r) a s]
c) (~p a -q ) v - q
( 3^ Determinar el valor de verdad de las proposiciones p y q si se conoce la información

siguiente:
a) (p a q) <=> (p v q) es verdadero b) ~(p a q) es verdadero
( 32) Determinar el valor de verdad de lasproposiciones p y q si se conoce que el valor de

verdad del siguiente esquema [—(~p => q) => ~ (p ----- >~q)l (p >q) es falso.
^3) Si p y q son verdaderos ¿para qué valores de r, el esquema siguiente es

verdadero? ( r >p) <=> (~q => r)
34) Si se tiene los siguientes datos: p es verdadero; r => ~p es verdadero y w t es

verdadero, hallar el valor de verdad de ~r y de t.
Lógica 55
35) Si el esquema (p a q) >( p » r) tiene valor de verdad, falso, halla el valor de verdad
de los esquemas.
a) [(p a q) v (q v ~r>] <=> (p v —r) b) (p v - q) (~r a q)
c) ~(q v r ) v ( p v q )
(36) Si la proposición (~p a q) => [(p a r) v t] es falsa, hallar el valor veritativo de:
a) ~ [ ( ~ p v ~ q ) ------ > ( r v ~t)] b) (~q v ~r) v [~t v (p v q)]
c) (~p =» t) =* (~q => r)
(37) Si la proposición (p a q) => (q => r) es falsa y se tiene los esquemas moleculares,
a) ~(q v r) v (p v q) b) (p v ~q) => (~r a q)
c) [(P a q ) v (q a ~r)] <=> (p v ~r)
Cuáles son falsas
^8) Si la proposición (~p a q) => [(p a r) v t] es falsa. Hallar el valor de verdad de cada una
de las siguientes proposiciones.
a) (~p => t) =* (~q =» r) b) (~q a ~r) v [~t a (p v q)]
c) ~[(~p v ~q) ^ ( r v ~t)]
(39) Sean p.q,r,s,t proposiciones. Si [(~p) a q] => [(r => p) v t] es una proposición falsa, hallar
el valor de verdad de: ~(q v ~r) v ~[t => (~q a p)]
^0) Si la proposición (~p a q) => (~s v r) es falsa, de las proposiciones siguientes, cuales son
verdaderas?
a) ~[(p => q) => r] b) ~[(~p a q) a (~r v r)] a s
c) [(p v ~q) a p] v (-q)
^1^ Admitiendo la falsedad de: —[p v q v r] => ~(M a N a t). Hallar el valor de verdad de:
a) [(p A M ) ^ ( q v N ) ) A t b) [(p = > q )= > (q = > M )] <=> ( r => t )
c) ([(p v q ) > íia s )] A (-q > ~ t)} = > [ ( p — t q ) A ( q -------- > M ) ]

42) Admitiendo la falsedad de la proposición: (p a q) => [(r v s) => (t => w)] hallar el valor
de verdad de:
a) (p => w) a (r => q) b) ~(p a t) => (~s => p)
c) { [q => ~(t v r)] a [p => ~(r a w)]} « [(p => ~q) v ~t]
43) Si la proposición (~p a q )------> [(p a q) v t] es falsa. Hallar el valor de verdad de:
a) ~[(~p v - q ) > (r v ~t)] b) (~ p ----- >t ) ----- > (~ q ----- > r)
c) (—q v ~r) v [~t a (p v q)J
@ Si q — —> t y p a q son falsas. Determinar el valor de verdad de:
a) (~p v t) v -q b) ~[p a (~q v ~p)]
c) [(p----- > q) a ~(q a t)J <— > [ ~ p v ( q A ~t)]
(45) Si la proposición (~p a q )------ » (~s v r) es falsa. Determinar el valor de verdad de:
a) ~[(p------ >q )---- > r] b) ~(~p a q) a [(~r v r) a s]
c) [fp v -q ) a p] v ~q
(4ó) Si la proposición (~ p ----- > q) v ( s ------» ~r) es falsa. Determinar el valor de verdad de las
proposiciones.
a) ~(p v q) v ~q b) ~[(pvq)A~q]----- >~(p------> q)
c) [(r -------------> q) a q] <— > [(~q v r) a s]
47) Si la proposición (q a ~ p )----- > [(p a r) v t] es falsa, calcular el valor de verdad de la

proposición: (~ p ----- >-t) ------>(~ q----- > r)
(48) Sabiendo que (q > t) y ( p A q ) son falsas, determinar el valor de verdad de:
a) ~[p a (~q v ~p)] b) (~p v t) v s
el [-pv(qA~t)]( >ffp----- >q) A-(qAt)]

Lógica 57
( 4$) Si el esquema (~ p ----- > ~q) v (r A q) es falsa, determinar el valor de verdad de:
a) (p >q ) > (r A ~q) b) - q ----- »[(p<— >q) Ar ]
(SO) Si [(r----- > s) a t] ------ > (p v q) es falsa determinar el valor de verdad de:
a) ~r v (~ s----- > ~t) b) (p <— » t) v [q a (~r v s)]
c) [(r A s) v ( t ------» s)] a (p a r)
(5 ^ Dado los esquemas proposicionalesdenotados por A, B y C respectivamente:
A: p <— » ~(q a r) ; B: - p A ~r ; C: -( p a q) v - r
Determinar si A -----> C y B » C son implicaciones (tautología)
(52) Si la proposición (~p a q) => [(p a q) v t] es falsa. Hallar el valor de verdad de:
a) ~[(~p v ~q) => (r v ~t)] b) (~q a ~r) v [~t a (p v q)]
(53) Si el esquema indicado: [(~p v q ) v [(p —» q) a t]] a q es verdadero, indicar el valor de

verdad de:
a) p => q b) t v q c) -qv(tvp)
(54) Si la proposición [(p v t) —» (p a q)] es falsa, dar el valor de verdad de las siguientes
proposiciones.
a) [(~p a ~t) a (q > r)] b) [(p vt)<-> (~p v ~q)] c) [(p v t) A (p a q)]
55) Si la siguiente proposición lógica ~[(p a q) => (q <=> (r v s))] es verdadera, hallar los
valores de verdad de p, r, q, s.
56) De la falsedad de la proposición: (p —» ~q) v (~r —» s) determinar el valor de verdad de

los esquemas moleculares.
a) (~p a ~q) v -q b) (~r vq)<-> (~q v r) a s c) (p q) (p v q) a ~q
57) De la falsedad de (p => ~q) v (~r => ~s). hallar el valor de verdad de las siguientes
proposiciones.
a) ~(~q v -s ) => ~p b) ~(~r a s) => (-p => q) c) p => ~(q => ~(s => r))
(58) Hallar los valores de verdad de: p, q, r si: [(~p v q) v (r => q)] a [(~p v q) => (q a ~p)]
es falso.
(59) Si la proposición: [~(p => q) a (~r v s)] => r es falso, halle los valores de verdad de: p, q
yr-
(óO) Si: ~p v [(p a r) => (r <=> q)] es falso, halle el valor de verdad de: [(p => q) v r] <=> (p a r)
(ó l) Si [—(p =* q) a -r] =* [p a (q v r)] es falsa, halle los valores de verdad de: p, q y r.
(ó í) De la proposición compuesta: ~[(p a q a r) => s] => (~p v s) se conoce que es falso,

señale el valor de: p, q, r y s.
(S ) Si la proposición “s” es falsa, y el siguiente esquema: (~p a q) <=> [(q => r) v (p a ~ s) ] es

una tautología, hallar los valores de verdad de p, q y r.
Demostrar si las siguientes fórmulas son lógicamente equivalentes:
a) P a q = ~(p v q) b) p A ~ p = ~[(p v p ) « p ]
c) - q v p = ~(~p a q) = ~p <=> (p => ~q)
d) — [(p a q) a ~r] s ~[(~p a -q ) a (p v r)]
e) ~ (p = > q ) = ~p « q = p «=> - q = ~ (~ p «=> ~ q)
(6S) Probar que son equivalentes p => q y (~p) v q
Probar la equivalencia de las siguientes proposiciones:
a) -(p => q) y p a (~q) b) -( p a q) y (~p) v (-q )
c) ~(p v q) y (~p) a -q d) p => q y - q => - p
e) (p q) a (q => r) y p = > r
(67) Demostrar que las bicondicionales siguientes son equivalencias lógicas.
a) (p >q)«(~p)vq
b) (p<— » q ) « ( p ----- > q) a (q >p) c) (pAq)vp « p
d) (p v q) a p <=> p e) ~ ( p ----- > q) <=> (p a -q)

Lógica 59
(68) Determinar el valor de verdad de los siguientes enunciados considerando como universo a
los números reales.
a) {Vxe R / x 3 —x} b) { 3 x e R / 2 x = x}
c) {3 x e R / x 2 + 3x —2 = 0} d) { 3 x e R / x 2 —2x + 5 = 0)
e) { V x e R / 2x + 3x = 5x} f) {3xe R / 2 x 2 + x = 15}
g) {Vxe R / x - 3 < x } h) { V x e R / x + 3<6}
i) {3 x e R / x + 3 <6} j) {Vxe R / x 2 -1 0 < 8 }
Evaluar ~{~(p v ~q)} <=> {~[(r a p) — -> (p A --p)]} sí: p : {Vxe R / x ° = 1}

q-. {3xe Q / 3 x 2 —x -5 } ; r : {3 x e Z / x 2 - 2 x —l = —l, \¡4 = jc}
70) Sean las proposiciones p : {Vxe £ ) / ^ + j t > 0 } , q: {3 x e I / x + 0 = 7t},
r : {Vxe R / x 2 +1 = 0}. Hallar el valor de [(p > q) a r] <=> ~q
(7 ^ De las siguientes proposiciones, hallar el valor de verdad.
a) ( V x € R / | x | = x) a ( 3 x é R / x + 1 í x )
b) (-3 x e R / x 2 * x ) v ( ~ V x e z / x + l * x - l )
c) (~ V x e N / 1x | * 0 )----- >(~3 x e Q / 1x | * 0)
(72) ¿Cuáles son equivalencias lógicas?
a) ~ (q -------->~p) o ( q v p ) b) [(~p a ~q) v ~q] <

= [(p v q)
> a q]
c) ~ (p -------->q) <=[(p v q)
> a ~q]
(73) Sea U el conjunto universal y p, q, r las proposiciones:
U = {-10,-9 80}, U c Z (números enteros) ; p: {Vxe Í7, 3 y e U / x - x 2 <- 2 y }

q: {3 y e U , V x e U / x - 5 y < 3x - y} ; r : { V z e í/,3 v e í/,3 x e U/x +y <
Evaluar (~p v r) <— > (p a -q )
(7 ^ Determinar el valor de cada uno de las siguientes proposiciones:
a) { 3 ;c e Zt x2 = jc} b) { V x e Z / x - 7 < x }
c) (3 x e Z / x + 5 = 5} d) { V x e Z / x + 8 > x }
e) | V x e Z / r 2 > jc} f) { V x e Z / x + l = x }
^ 5) Si U = (x e R / 2 < x < 10) y p : (V xe í/) ( 3 y e í/)(V z e U ) / - x - y > - < z 2 ,

q : (Vjce U ) ( 3 z e í/)(3 z e U ) ( x + y < z 2), hallar el valor de verdad de (~pv~q) => (pAq)
Si U = { 1 , 2 , 3 , . . . , 9 9 } , determinar cuáles de los siguientes proposiciones son verdaderos,
a) { 3 x e U / x + 5 = 2x} b) { V x e U / x + l e U )
c) {3 x e U / | x - 8| > 5 } d) {V x e U / 2 0 - 3 x <0}
(¿ n ) Hallar el valor de verdad de lafórmula, [(p v q )----- » (~r v ~w)] <=> (q » r) sí
p\ 3 x e Q / x + 3 = y ¡ 2 + 3 , q: 3 x e I / x + 0 = 7t
r: V x e N / x + 2 . 5 = 5, w: 3 x e Q / x + 0 = y¡2
(78) Hallar el valor de verdad de: [(~p a - q ) ------ » (r v q)] a [~(p a q) <— » r]
Sí U = ( x e Z /-1 0 0 <x < 100} ; p: ( V x e U )(3 y e U )(V z e U )(x + y - z> 30)
q: ( V x e U )(V y e U )(V z e D )(2 x +z- 4y < 800)
r: ( 3 x e U )(V y e U )(3 z e U )(5 x < z- y + 50)
(79) Si x puede tomar cualquier valor 1, 2 , 3 , demostrar mediante contraejemplos la falsedad de

las siguientes proposiciones.
a) { ( V x ) / jc 2 = jc } b) { 3 x / x = 2x}
Lógica 61
c) { V x / x + 2 = 5} d) {Vx/x+l>3}
e) ~ { 3 x / x 2 =4} f) {3 x / x > 4J
(80) Si x, y pueden ser cualquiera de los números 1 y 2, determine el valor de verdad de las
siguientes proposiciones:
a) (3 x)(V y)(x < y + 2) b) (V x)(3 y)( x + y < 5)
c) ((Vx)(Vy)(x2 + y 2 <1) d) (V x)(3y)(x2 > y)
e) (3 x)(3 y)(x + y = 2)
(81) Cuales de las siguientes proposiciones son verdaderas o falsas. Si U = {1,2,3) es el

universo y sí x, y e U
a) 3x, 3 y / x 2 < y + 1 b) V x , 3 y / x 2 + y 2 <12
c) Vx, V y / x 2 + y 2 <12 d) 3 x ,3 y , V z / x 2 + y 2 < 2 z 2
e) 3 x , V y , 3 z / x 2 + y 2 < 2 z 2, z e U
(S ) Determinar el valor lógico de las siguientes proposiciones.
a) 3 x e f ? /x 2 +l = 0 b) 3 x e tf/x 2 =l
c) (V x e R)(V y e R ) / x + y = 7 d) ( V x e z)(3 y e z / x - y > 0 )
(83) Sean A= {1,2,3.4), B = {1,4,5.8) ¿cuáles de las afirmaciones siguientes son verdaderas?
a) 3 x,y e A / x + y > z, V z e B b) ~[V x e A, 3 y e B / x > y ]
c) V x e B, 3 y e A / x - y e A d) V r e A , V y e B/x + y<10
(84) Si A = {0,1,2,3,4} hallar el valor de verdad de las siguientes proposiciones:
a) P: 3 x e A / 2x + 1 = 5 b) q : \/ n e Z + / 3n es divisible por 3
c) r: 3 x e R / x 2 + 7< 0 d) S : V x e Q / x 2 >x
(85) Si M = {-1,1,2,7} cual es el valor de verdad, de las siguientes proposiciones:
a) V x e M, 3 y e M / x2 > y b) 3 x e M, V y e M / x > y >0
c) 3 x e M , 3 y e M / ( x < 3 ) v (y2 > 2)
Dadas las proposiciones P: 3 xe Z/(4x + 2)(3x - 7) = 0; q: V xe Z / (x2 > 0) v (x -1 ) < 0 ,

r: 3 x e N / (4x + 2)(3x - 7) = 0, señale el valor de verdad de p, q, r y además
f(p a q) =* (p v r)] =* r
Sea M = {0,1,2,3} el dominio de x e y, señale el valor de verdad de:
a) V x , 3 y / ( x 2 - y 2 <10) v (x2 < y + l)
b) V x, V y / (x2 - y 2 > -1 0 ) a (x2 > y +1)
Negar las siguientes proposiciones para el conjunto z.
a) V xez/x+l>x b) 3xez/x+ l= 0
c) 3 xe z/x2 = x d) V x e z / x 2 -1 > 0
Negar las siguientes proposiciones.
a) 3x/x + 7<y b) (V x / p(x)) a (3 y / q(y))
c) (3 x / p(x))------ > (Vy / ~p(y)) d) (p v - q ) ----- > (p a ~r)
e) 3 x / q(x)_ 5x + 7 < 10 f) 3x/5x + 8<4
Negar los enunciados del ejercicio 56)
Negar los siguientes enunciados,
a) {3 x / p(x) v ~q(x)} b) |Vx/p(x) >q(x)}
c) {V x, 3 y / x.y = 0} d) {(V x)(p(x)) a (3 x)(q(x))}
e) {(3 y)(p(x))-------> (V x)(~q(x))} f) {(3 x)( ~p{x)) v (V x)(q(x))}

Lógica 63
g) ( 3 x, 3 y / p ( x ) v~q(y)} h) {V x, 3 y /p (x ,y )------->q(y)}
i) {3x, 3y / p(x) a qfy)} j) {Vx, 3u, V z/p(x,y,z)}
(92) Negar cada una de las proposiciones siguientes:
a) (3x/x + 7>2) b) ( V x / x + 0 = x)
c) { Vx / x2 + 7 > x 2 +3} d) {3x/~(x*x)J
e) ~ { V x / x 2 =x} f) ~ { 3 x / x + 3 = x]
($3) Negar las proposiciones del ejercicio 52) y verificar que estas negaciones resultan ser
proposiciones verdaderas.
(5 ^ Si x puede ser cualquier número natural, determine el valor de verdad de las

proposiciones:
p : (Vx)(x2 > x) =* (Vx)(x < 3x) ; q : (Vx)(x2 > x) => (3 x)(x = x)
r: (3 x)(x + 3 = 5) «=> (Vx)(x + 1 > x)
(95) Verifique la validez de los siguientes argumentos:
a) pa q b) (p a q ) > (r a s)
~ p — >q ( ~q) v( ~s )
••• ( - p ) v ( - q )
c) p a (p v q) d) r — >~q
pvq- »r p- »q
r >s -r- »s
s p ------>s
¡96) Demostrar, por la tabla de valores o por el método abreviado si los esquemas representan
o no reglas de inferencia válidas.
c) p- ->q d) (p ------» q) a ( r >s)

q- ->p) pvr
••• p «— qv s
e) p <— >q f) q ------ »p

rv q q > (r v s)
~r ~(~q v -s )
q r » (s » p)
g) p— »q h) (p v -q )
q — >r r > -p
r »s s<— >P_________
p >s p v (q > ~r)
i) q »(~pvr) j) P
rvs (-p v - s ) ----- > (~p a -r)
- p <— >r s
/. q v r
Determinar los circuitos lógicos que representan a los siguientes esquemas moleculares.
a) (~p)<— » ( p ------ >~q) b) p a (q v ~p)
c) ~[pv >~(qvr)] d) {[(r v q) a p] v - r ) a q
e) (p v q ) > [ ( - p v q ) ------ » (p a q)] f) [(p-> q ) v p H ( p »q)v -p ]
Representar mediante funciones boolianas los siguientes argumentos:
a)
b)
Lógica 65
c) P
q ~p
~q -p
d)
-p - ~q
~q
(99) Determinar la menor expresión que representa al circuito dado:
a)
o—
b) ~q
~p
c)
Lógica 67
~p q
100) Determinarlos circuitos lógicos que representan a los siguientes esquemas moleculares.
a) { [ ( r v q ) A p ] v ~ r ) Aq b) ~[(p v ~q) v (p a -r ) v ~(r v q v ~p)]
@ Simplificar los siguientes circuitos lógicos:
-P- q '
a)
—q- ~P-
P-
~q-
b)
-q -
—p- —q- q-
—P-
-P-
—q P—
q-
c)
~p ~q ■
~p q ~P
d)
~p
~r -q o
— q—
-P
Dado el circuito lógico, hallar el circuito lógico más simple posible.
- q ~r
p— r —
-~p-
~r
— q
Simplificar el siguiente circuito
P ----------
~P
q ----------
q
.~p---------~q.
Representar mediante funciones Booleanas los circuitos.
q -------
a) o P
~P
b)
~P

Lógica Espinoza

Cargado por

Copyright:

Formatos disponibles

Lógica Espinoza

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Espinoza

Cargado por

Copyright:

Formatos disponibles

INDICE

Lógica es el estudio de los procesos válidos del razonamiento humano. En la actualidad,

Existen dos tipos importantes del razonamiento: El inductivo y el Deductivo.

El razonamiento inductivo es el razonamiento por el cuál una persona en base a sus

Dado que las proposiciones son preceptos válidos de razonamiento deductivo, en el

1.2. ELEMENTOS DE LÓGICA SIMBÓLICA.-

a) ENUNCIADO.- Se denomina enunciado a toda frase u oración.

Ejem plo.- 11 es un número primo. © París está en Italia.

© ¿Qué hora es? © ¡Viva el Perú!

© jc2 < 9 ® x 2+y 2 <4

b) ENUNCIADOS ABIERTOS.- Son expresiones que contienen variables y no

© x < 7, es un enunciado abierto, porque no podemos afirmar si es verdadero o

© x 2 + y 2 = 16, también es un enunciado abierto.

c) VARIABLE.- Es una cantidad susceptible de variar en un determinado campo o

© y =^ 5 es un número real, si x es un número real que sea mayor o igual a

El campo o recorrido d e x e s - 4 < x < 4

El campo o recorrido de y es - 4 < y < 4.

1.3. PROPOSICIONES LOGICAS.-

NOTACIÓN.- Las proposiciones lógicas serán denotadas generalmente con letras

© q: Lima es la capital del Perú, verdadero (V)

(3 ) r: 107 + 3 0 1 = 4 8 , falsa (F)

® t: 7 es un número par, falsa (F).

1.5. CONECTIVOS LÓGICOS.-

La conjunción, disyunción, implicación, bicondicional, negación, contradicción, esto

Nombre Expresión Símbolo Lógico

Implicación S í,.... entonces,... ----- >

1.6. CLASES DE PROPOSICIONES LÓGICAS.-

a) PRO PO SIC IO N ES SIM PLES Ó ATÓM ICAS.-

En una proposición que no contiene ningún conectivo lógico.

Ejem plo.- ^ 6 es par. © 2+5=7

b) PRO PO SIC IO N ES COM PUESTOS O M OLECULARES.-

Es una proposición que contiene al menos un conectivo lógico.

Ejem plo.- © 5 es primo y 2 es par.

(2 ^ Si 5 es par entonces 2 es impar.

© Si n es par entonces n es divisible por 2.

1.7. PROPOSICIONES COMPUESTAS BASICOS.-

El principio lógico de la negación es:

Si una proposición es verdadera V, su negación es falsa F y recíprocamente, si dicha

Ejem plo.- ( T ) 2 es primo V

Su negación es: 2 no es primo F

Su negación es: no es cierto que 5 es par V

Su negación es: ~P: no es cierto que 5 x 7 = 35

b) LA DISYUNCIÓN.- La disyunción de dos proposiciones p y q es la proposición

Ejem plo.- Hallar el valor de p v q donde p: 7 es mayor que 9; q: 4 es menor que 5

c) LA CONJUNCIÓN.- La conjunción de dos proposiciones p y q es la proposición

Ejem plo.- Sí p: 4 < 7 y q: 6 es número par. Calcular el valor de verdad de p a q

d) LA CONDICIONAL (IM PLICATIVA).- La implicación o condicional de dos

La proposición p es llamado antecedente y la proposición q es llamado consecuente.

© Una implicación es verdadera si el antecedente es falso, cualquiera que sea el

Ejem plo.- Sea p : Cristóbal Colón descubrió América. ; q : 6 + 3 = 8

Hallar el valor de verdad de p >q

Para calcular el valor de verdad de la proposición p >q, primero calcularemos el

p : Cristóbal Colón descubrió América es verdadera V

e) LA BICONDICIONAL (Equivalente ó Doble Im plicación).-

La doble implicación o bicondicional de dos proposiciones p y q es la proposición

f) LA DISYUNCIÓN EXCLUSIVA.- La disyunción exclusiva de dos

Ejem plo.- Sea p : k es par ; q : k es impar. Hallar el valor de verdad de p A q.

Para calcular el valor de verdad de p A q, primero veamos lo siguiente:

Si k es par, si puede ser impar (Si p es V ; q es F)

© Si k es impar, no puede ser par (Si p es F ; q es V)