Matemática 01

Lógica
I CAPITULO 1 !
! LÓGICA!
j 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 razonamierno inductivo es el razonamiento por el cuál una persona en base a sus

experiencia, 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 uuhza el
principio general aceptado previamcme para decidir sobre la validez de una idea, que a su
\'CZ 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 simbologta adecuada,
2 Eduardo Espinoza Ramos
l 1.2. ELEMENTOS DE LÓGICA SIMBÓLICA.- !

a) ENUNCIADO.- Se denomina enunciado a toda frase u oración.
Ejemplo.-© 11 es un número primo. © París está en Italia.
® ¿Qué hora es? © ¡Viva el Perú!
© 5>9 © 6+2=8
(v x2 <9 © x2+y2s: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
@ x2 + y 2 = 16 . también es un enunciado abierto.
e) 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.
Ejemplo.-
.,
y= .J.'( - 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 x2 + y2 = 16
El campo o recorrido de x es - 4 S x s4
El campo o recorrido de y es - 4 S y S 4.
! t.3. PROPOSICIONES LOGICAS.- j

•
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 verdad.
Ejemplos de Proposiciones Légícas-
(!) p: 15 - 4 = 11, verdadero (V)
@ q: Lima es la capital del Perú, verdadero (V)
{¿) r: 107 + 301 = 48, falsa (F)
@ 1: 7 es un número par. falsa (F).
! t.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.
11.s. 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

Conjunción y /\ .
'
Disyunción ó V
Implicación Sí. ...• entonces. ... ----+

B icondicional, equivalencia ... Sf y sólo sí, ... 4-----+
doble implicación =
Negación No -
Contradicción ... no equivalente. ...
"'
lt.6. CLASES DE PROPOSIOONES LóGICAS.- i
a) PROPOSICIONF.S SIMPLF.S Ó A TÓMJCAS.-
En una proposición que no contiene ningún conectivo lógico.
Ejemplo.- © 6 es par. 2+5=7
b) PROPOSICIONES COMPUESTOS O MOLECULARES.-
Es una proposición que contiene al menos un conectivo lógico.
Ejemplo.-(!) 5 es primo y 2 es par.
@ Si 5 es par entonces 2 es impar.
@ Si n es par entonces n es divisible por 2.
lt.7. PROPOSICIONES OOMPUESTAS BÁSICOS.-!

a) LA NEGACIÓN.- Dado una proposición P. llamaremos 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:
ffiTI
El principio lógico de la negación es:
Légic« 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-Pes leída así ..no P", "no es cierto que P"
Ejemplo.-(!) 2 es primo V
Su negación es: 2 no es primo F
@ SesparF
Su negación es: no es cierto que 5 es par V
@ Dada la proposición P: 5 x 7 = 35
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
Ejemplo.- Hallar el valor de p v q donde p: 7 es mayor que 9; q: 4 es menor que 5

Solución
e) 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 " q, donde el principio lógico es "La conjunción p x 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:
6 Eduardo Espinosa Ramos
p q pxq
V V V
V F F
F V F
F F F
Ejemplo.- Sf p: 4 < 7 y q: 6 es número par. Calcular el valor de verdad de p x q

Solución
d) LA CONDICIONAL (IMPUCATIV A).- La implicación o condicional de dos

proposiciones p y q es la proposición
compuesta mediante el conectivo lógico "si, ... , entonces •... " 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 7
Ejemplo.- 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 6 Doble Implicació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 t-� q son
verdaderos V o son falsos F, en otros casos es falso F. Su tabla de verdad es:
p Q pHq
V V V
V F F
F V F
F F V
O 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 !!.. 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 paq
V V F
V F V
F V V
F F F
8 Eduardo Espinoza Romos
Ejemplo.- Sea p k es par ; q le es impar Hallar el valor de verdad de p A q.
Solución
Para calcular el valor de verdad de p t:. q, pnmero veamos lo siguiente:
Q) Si k es par. si puede ser impar (S1 pes V ; q es F)
@ St k es impar, no puede ser par (Si pes F ; q es V)
De las notaciones ( 1) y (2) vemos que p t:. q es verdadera.
En efecto:
p q pt:.q
V F V
F V V
! t.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 rodas 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
p q r p---+ q q---+ r p---+r [(p---+ q) A (q--+ r}J---+ (p---+ r)

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
/.,ógka 9
! t.9. JERARQUÍA DE LOS CONECTIVOS LÓGICOS.- !
Si se tiene una proposición compuesta con vanos conccuvos lógico-. 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).
Ejemplo.- Hallar la tabla de valor de verdad de la proposición:
[p v (q---+ -r)] /\ [(-p v r) �--4 - q]
p q r [p V (q--+-r)] /\ [(-pvr) � -q]

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
!t.10. TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS.-!
a) TAUTOLOGÍA.- Son proposiciones compuestos que siempre son verdadero,

cualquiera que sea el valor <le las proposiciones componcntcx.
Ejemplos de Tautología.-
(!) p v - p (principio del tercio excluido)
0 Í(P� q) x p] -+ Q (p pl
Fn electo rcnem«
p p -p
V
V V V F
F F V V
Es Tautología
p q l(p ------+ q) /\ p] ------+ q

V V V V V V V
V F F F V V F
F V V F F V V
F F V F
-,
F
..,.
V F
... _�' Es una Tautología
p -p -(p A-p)
V F V F
F V V F
Es una tautología
b) CONTRADICIONES.- Son proposicrones compuestas que siempre son falsas,

cualquiera que sea el valor de las proposiciones
compuestas.
Ejemplo de contradicciones.-
@ p A -p (pnncipio de contradicción)
Q) -(pv-p) 0 (p-> q) /\ (p /\ -q)
En efecto tenemos:
p -p p /\ -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.
e) 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.
Ejemplos de Contingencia.-
© p��q
0 (p--.q)�p
En efecto tenemos:
p q p+-�q
V V V
V F F
F V F
F F V
- Es una contmgencra
© p q PAQ
V V V
V F F
F V F
F F F
E:. una contingencia
l2 Eduardo Espinoza Ramos
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
j 1.11. IMPLICACIÓN LÓGICA\'.' 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) /\ -ql ==> -p
puesto que:
p q [((-p) V q) I\ -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
Es una tautología, Por lo tanto es una implicación lógica.
ii) A toda bicondicional p H q que sea tautología se Je 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 /\ (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
! t.12. PROPOSICIONES LOGICAMENTE EQUIV ALENTES.-1
Cuando sus rabias de verdad de dos proposicroncs 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 Cp � q) y (-q � -p) son 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 y vv y
�
, '
,._. Idénticos k'
:. p�q=-q�-p
OBSERVACIÓN.-
(!) La equivalencia ele 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 =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.
j t.13. PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS.-!
Las llamadas leyes lógicas o principios lógicos viene a ser formas proposicionales
tautológicas de carácter general y que a partir de estas leyes lógica" se puede generar otras
tautológicas y también cualquier tautología se puede reducir a una de la, leyes lógicas.
entre las prmcipalcs leyes lógicas mencionaremos.
1° LOS TRES PRJNt.;IPIOS LÓGICOS CLÁSICOS.•
Q) 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"
0 Ley del Tercio excluido.
p v -p "una proposición es verdadero o es falso no hay una tercera posibilidad"
2º EUIV ALENCIAS NOTABLES.·
G) Ley de la doble negación.
-(-p) =P "la negación de.la negación es una afirmación"
@ Ley de la ldempotencia.
b) pvp,!:p
@ Leyes conmutativas.
b) (p V q): (q V p)
e) p �-+ q = q �-+ p
© Leyes Asociativa.
a) p A (q Ar)= (p A q) Ar b) p V (q V r) = (p V q) V r
e) p �-+ (q �-+ r) = {p +--+ q) +--+ r

@ Leyes Distributivas
a) p A (q v r) = (p A q) v (p "r) b) p V (q I\ r) = (p V q) I\ (p V r)
e) p---. ( q A r) = (p _____... q) /\ (p _____... r)
d) p-<qvr)=(p---+q)v(p-r)
Lógica 15
© Leyes De Morgan.
a) -(p /\ q) = -p V -q b) -(p V q) = - p /\ -Q
0 Leyes del Condicional.
a) p--+q=-pvq b) -(p--+q);;;;pA-q
© Las Leyes del Bicondicional.-
a) (p +-� q) E (p--+ q) /\ (q--+ p)
b) (p t-� q) E (p /\ Q) V (-p V -q)
® Leyes De La Absorción.
a) P" (p V q) E p b p /\ (-p V q) E p /\ q
e) p V (p /\ q) E p d p V (-p I\ Q) E p V Q
@) Leyes De Transposición.
a) (P--+ q) = -q--+ -p b) (p +-� q) E -Q +-� -p
@ Leyes De Exportación.
a) (p A q)--> r = � (q--+ r)
h) (p1 Ap2 A ... Apn)---+r=(p1 Ap2A ... Apn 1)---+(p,.---+r)
@ Elementos Neutros para la Conjunción y Disyunción.
a) p A Y = p. Y neutro de la conjunción.
b) pv F = p, F neutro de la Disyunción.
@ También:
3) (p V q) /\ (p V -q):: p b) (p /\ q) V (p /\ -Q) = p
OBSERVACIÓN.- Estas Leyes son muy útile» para simphficar los problemas, puesto
que es válido reemplazar una proposición por su equivalente sin
alterar el resultado.
Ejemplo.- Simplificar las proposiciones siguientes aplicando las leyes lógicas.
© [(p V -q) /\ q)---. p

Solución
[(p V -q) /\ q)---. p = -[{p V -q) /\ q) V p

E [-{p V -q) V -q] V p
E (-(p V -q)) V (p V -q)
=pv-q
-[-(p /\ q)---. -q] V q

Solución
-(-(p A q)---. -q] v q = [ -(p A q) A - (-q)] v q por (To)
E -((p /\ q) V (-q)] V q por (6a)
E! [-(p A q) A-(-q)) V q por(6b)
E [(-p V -q) A qj V q E q V ({-p V -Q) /\ q) por (3b)
= qv (q "(-p v -q));;;; q por (9b)
@ Comprobar que las tres proposiciones siguientes son equivalentes:
a) - [(q V -p) V (q "(r V -p))l
b) (p /\ -q) /\ [-q V (-r V p)]
e) -(-q---. -p) A [q---. -(p---. r)]
© Determinar si (a) y (b) son proposiciones equivalentes.
a) p---. (r v -q)
b) (q---. -p) V (-r--¿ -p)
Dejarnos el desarrollo di! este ejercicio a1 lector.

Lógica 17
@ [((-p) A q)-----+ (r A -r)I "-q

Solución
[((-p)" q)-----+ (r A -r)I A -q;;: [((-p) A q)-----+ F] A -q
= [-{(-p) /\ q) V FJ /\ -q
= [(p V -q) V F) /\ -q
= (p V -Q) /\ -q = -q
Ejemplo.- Determmar si a) y b) son proposiciones equivalentes:
a) p------+ (r v -q) b) (q-----+ -p) V (-T-----+ -p)
Solución
Determinaremos la equivalencia mediante la tabla de verdad.
p q r p-----+ (r V -p) (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 1
V V
4 Idénticos A
L--------------------1
Otra manera es mediante la simplificación.
a) p-----+ (r v -q) = (-p) v (r v -q) • .• (1)
b) (q-----+ -p) v (-r-----+ -p) = (-q v-pJ v r v=-p)
:: (· q) V (-p V -p) V r
'Z (-q) V (-p) V r
= (-p) v (r v-q) •.. (2)
Luego de ( 1) y (2) � tiene: a) = bj

! t.14. LA INFERENCIA LÓGICA O ARGUMENTO LÓGICO.-!
Al 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:
••• (a)
donde las proposiciones p1 , Pi, .... pn 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.
l t.tS. DEFINICIÓN.- !
El argumento (Cl) es verdadero si q es verdadero cuándo todas las premisas p1• Pi, ... , p,,
son verdaderos, en cualquier otro caso el argumento ( a) es falso.
NOTACIÓN.- También el argumento (a) se denota por:
••• (13)
Ejemplo.- Determinar si p v q es una consecuencia válida de -p-----+-q,-q--n. -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) ,... (-q ----+ r) " -r----+ p v q es una
tautología.
Lógico 19
p q r Í(-p� -q) A (-q--H)j A (-r-4 (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
Es una tautología
Como es una tautología es una inferencia válida.
! t.16. TEOREMA.-
1
S1 el argumento (<X) es válida y las prerrusas p1, p2 •••• , Pn son verdaderas, entonces la
conclusión q es verdadera.
Demostración
Si el argumento (<X) es válido, la condicional p1 A p2 " .. "p,. � q es una tautología
en que ( p1 " p2 " ••• " p 11) es verdadera (puesto que cada p1, p2 , ..• , p II 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 sena válida, contradiciendo la
hipótesis.
OBSERVACIÓN.- Una inferencia no se modifica si una o varias de las proposiciones
componentes p1, p2 , ••• , p", q !>C reemplaza por otra u otras que sean equivalentes
NOTACIÓ�.- Al argumento (p1 "Pi A ... Ap,.)�q. también se denota en la

forma siguiente:
P,
P2
P3
P11
q
Ejemplo.- Demostrar que el argumento es válido.
:. q
Solución
Se debe demostrar que la condicional
[p "(p � q)) � q es una tautología
(p"(p--+q))--+q =-[pA (p�q)) vq
E (-p V -(p� q)) V q
E (-p V q) V -{-p V q)
E (-p V q) V (p A -q)
= -(p" -q) v (p », -q) = V es tautología
También puede haberse demostrado con la tabla de verdad.
p q [p /\ (p�q)}--+ q
V V V V V V V
V F V F F V F
F V F F V V V
F F F F V V F
----- _____ ... -�--/ Es una tautología
!t.17. INFERENCIAS VÁLIDAS NOTABLES.-!
(D Ley De Módus Pones.- l(p--+ q)" q] � q

también se simboliza p--+q
p
:. q
@ Ley De Módus Tollens.- [(p� qj >, (-q)l � (-p)
también se simboliza p--+q

-q
:. -p
Lógica 21
0 Ley Del Silogismo Hipotético. l(p� q) A (q � rj] = (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: pvq

-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
p vr
:. QV S
@ Ley De Simplificación.
a) PA q = p b) p /\ q =q
También se simboliza:
p p
q q
cíe:. p :. q
l t.18. EL MÉTODO ABREVIADO.- !

El desarrollo de la tabla de valores de la inferencia (p1 "Pi A ... Ap")__,.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 posibihdad de ser falsa la

implicación p� q. es decir:
v+
p-----'q
® tF
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. t», "Pi "···" pn )--+ q

mediante los siguientes pasos:
1e Asignar el valor de verdad V a cada una de las premisas p1 , p2 , ••• , p n y falso F a la

conclusión, como el antecedente es verdadero y por ser una conjunción n premisas
entonces cada premisa p1 • Pi, ...• p n es verdadera es decir:
(Pi" Pi/\ ... /\ Pn) ----�q
V F
t t
2º Deducir el valor de cada una de las variables proporcionales teniendo en cuenta las
reglas A, v, --t, - 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
Ejemplo. Analizar la inferencia [(�q) "(r--+-s)" (-q v-s))--t (-p v -r)
Solución
[(p�q) "(r --t -s) "(-q v -s)J--- (-p v -r)

,. y 't' 1 1
V V V
...
1
{-F!
...F
1
V ,_,
Lógica 23
Analizando la conclusión (-p v -r)

-r
FL@-JF
-p V
{""pes F {pes V
de donde ::::)
=r es F res V
ahora analizaremos cada premisa
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 [(�q) "(-p� r)"' (p v -p)] � (p v r)
.
Solución
[(p� q)
V
A
. . . .
(-p__. r) ,-. (pv-p)]-----4 (p V r)
V V
1
1
1
1
1
1
,-,
V \. _.,.
F} F
Analizando la conclusión pvr

{Pes F
p v r de donde
Ft4-JF
res F
Ahora analizamos cada una de las premisas.
Fl4-JV
q de donde p es F
q es V
-p r de donde -p es F entonces pes V
q_JF
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)J---(s----+ -p)
•
V •
V
1
1
•
1
•
1
1
1
V F
Analizando la conclusión s------+ -p
{ses V
WF
s -p de donde entonces p es V
�pesF
Ahora analizamos cada una de las premisas.
-p (-q V r) -q V T
de donde t -+,
entonces t {q es V
res F
FL@-JF
�F
Lógica 25
res F
r s de donde
ses F
1-¿_JF
Como se tiene una contradicción. Luego la inferencia no tiene validez.
l t.19. l\ilÉ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 I.\S 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 l\1ÉTODO DIRECTO DE DEMOSTRACIÓN.-!

En la rabia de verdad de la unphcación p--. q.
Si pes falso, la proposición p-. g es válida cualquiera que sea el valor de g. 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.
. .. (l)
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.

[-pA(pvq)l-.q
Solución
[-p /\ (p V q))-. q =-1-p /\ (p V q)) V q
= [p V -(p V Q)) V q
= (p
\.
V q) v-(p V q)
.I
V
V
= tautología.
!1.21. FORMA O MÉTODO INDIRECTO DE DEMOSTRACIÓN.- 1
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 p1 • p2 , .•• , p,. negarla digamos a p1 y construir el
siguiente argumento lógico
•.• (2)
ahora probaremos que el argumento lógico(2) es equivalente al argumento lógico (1 ).
e(qv-Pi v ... v-pn]v-p1
= [- Pi V- P2 V ••. V - Pn] V q
= -[ P1 /\ P2 /\ ··· /\ P n lVq
ª ( P1 A P2 A ••• " Pn )--+ q (argumento 1)
! t.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:
f-p /\ (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
((- q)" (p V q)) � p = -L(-q) I\ (p V q)) V p
= [q V -(p V q)] V p
= (p
\,
V q) V -(p V q)
)
V
V
= tautología
Ejemplo.- Probar que él número J2 no es racional.
Solución
La comprobación lo haremos por el método de reducción al absurdo.
1 ro. Suponemos que J2 es racional.

2do. Si .Ji es racional = 3 m, n e Z primos entre sí tal que J2 = mn
�
3ro. SI, r:::2 -- _ m
vL
n
= m:
2 =-
n2
= m"
.,
= 2n 2 • •• (a)
4to. Como m2 = 2n2• con n entero = m2 es par, por lo tanto mes par.
Sto. Como m es par = m = Zk. para algún k entero.
6to. Reemplazando en (a) se tiene: 4k2 = 2n2 = n2 = 2k2
7mo. Como n 2 = 2k 2 = n 2 es par. por lo tanto n es par.
8vo. Como n es par = n = 21, para algún I entero.
9no. De 5to. y 8vo. se tiene m = 2k, n = :!I de donde m y n tiene un factor común 2.
lo cual contradice a ta hipótesis de que m y n son primos entre sí.
lOmo. Conclusión. por lo tanto J2 no es racional.

!t.23. CIRCUITOS LÓGICOS.-
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 identifique 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.
Él I índica "pasa corriente"
El O indica "no pasa corriente"
Luego en circuitos eléctricos se usan como notación.
"El 1 en lugar de V"
.. El O 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.
l t.24. DISEÑO DE CIRCUITOS ELÉCTRICOS EN SERIE.-
Consideremos dos interruptores p y q conectados en serie.
---- p -------q---...-----0
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 /\Q
1 l l
1 o o
o 1 o
o o o
En la tabla de verdad se observa que basta que uno de los interruptores esté abierto ..O..
para que no circule la corriente en lodo el circuito
p: 1
q:O
---p�---
A la expresión p "q \C le llama la .. Función Booleana del circuito en serie".
lt.25. DISEÑO DE CIRCUITOS ELÉCTRICOS EN PARALELO.-!
Consideremos dos interruptores p y q mstatados en paralelo .
•
pasa corriente
Se observa en el circuito para que circule corriente es suficiente que alguno de los
interruptores o ambos p o q esté cerrado "I" } no hay paso de comente si ambos
interruptores están abiertos (ambos con el valor ··o.. ).
Este circuito corresponde a la labia de verdad de la disyunción p v q. es decir:
p q pvq
1 1 l
1 o 1
o l 1
o o o
A la expresión p v q se denomina la función Booleana del circuito en paralelo.
p
_.I
pasa0
q
___ no corriente
NOTACIÓN.- A un interruptor p representaremos simplemente como
p
Ejemplo.-
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) I\ r
Solución
p ------,
p v q es en paralelo o ..__ _,O
q -----'
® Describir simbólicamente el circuito.
� :-e�:----''- - - - "
-e :q =1-
Solución
en paralelo r v s-q
- p -e ., ]---- En,c,iep ,(,·. q)

q ----- -r .......
[p z, (r v -q)J v (q " -r)
@ Determinar la menor expresión que representa al circuito dado:
------- p --------,
�--q----. ----p--o
--q--p-
Soluclón
[p V (q V (-q I\ -p))} I\ -p 3 [p V (q V -(q V p))] I\ -p
= [(p V q) V -(p V Q)) I\ -p

e [(p V q) I\ -p) V (-(p V Q) A -p) = (-p I\ q] V (-p I\ - Q I\ -p)
[-p I\ q) V [-p I\ -q) E [(-p I\ q) V -p) I\ ((-p I\ q) V -q)
-p I\ (-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 r)) = -[-p -(Q r)] = p I\ (q V r)
o-P-c:�
V V V
Lógica 33
! t.26. LÓGICA CUANTIFICACIONAL.·
l•UNCIÓN PROPOSICIONAL.-
A todo enunciado abierto de la forma P(x} se dc;nomina función proposicional la cual

tiene la propiedad de convenirse 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 Ptx) donde Pta) es verdadero o falso para todo a e D.
Ejemplo.- P(x) = x + l < 9, si x pertenece al conjunto de los enteros, entonces Ptx) es

una función proposicional cuyo dominio es los enteros.
Si x = -2 e Z, -2 + l < 9 es verdadero
x = 1 O e Z, l O + 1 < 9 es falso
por lo 1an10 P(x) es una función proposicional
l t.27. CUANTIFICADORES EXISTENCIAL Y UNIVERSAL.-

Se ha visto un método que nos permite que a parnr de una función proposicional P(x) se
puede obtener proposiciones, sin embargo se tiene otro método completamente drsunto
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: "i/ x
que se lee para todo x.
Luego (2) se puede escribir en la forma. 't>' x: x es un número pnmo ·- (3)
aclarando (1) es una función proposicional
(3) es una proposición.
A un cuantificador universal puede ser reemplazado por:
't>'x: P(x) o V x I p(x) ó ('t>' x) (P(x))
y en todas estas notaciones, se lec ..para todo x, tal que se verifica Píx)" es decir.
't>' se lee ..para todo..
El cuantificador El cuantificado
{Vx : P(x)
Notación: 'vx I P(x)
('vx) (P(x))
Ejemplo.- 'v X: X +4 = X
El cuantificador universal no es el único cuantificador que permite obtener proposiciones

a partir de funciones proposicionales. 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 --CS)
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 Ice existe
Lógica 35
El cuantificador El cuantificado
¡
3x: P(x)
Notación 3.t I P(A)
(3x)(P(A))
Ejemplo.· Sea el conjunto A = ( -2.-1,2.3.4 J se tiene:
3 x e A. x2 - 2x = 8
3 x e A I x2 - 2x =8
(3xe A)(x2 -2x=8)
11.28. NEGACIÓN DE PROPOSICIÓN CON CUAN11FICADORES.-I
Proposición La negación
\i x · Ptx) - [\i x : P(x))= 3 x · - P(x)
3 X: P(x) -(3 x : P(x)] = \i x : -P(x)
\i x e A: P(x) -{\i x e A : P(x)] = 3 x e A : -P(x)
3 XE A. P(x) -{3 x e A : P(.x)I = \i x e A : -Ptx)
Ejemplo.- Negar la proposición. \i x e N / x + 3 > 5
Solución
-[\ixe N/x+3>51=3xe N/x+3S5
Ejemples> Negar cada una de las siguientes proposiciones si el conjunto de referencia

es los reales R.
© (\i X)(3 y)f P(x) � (qty) � r(X))]
0 (\i x)(3 y)(3 z) [P(x,y) � q(x) "r(L)]
@ (3 x)(\i y)(3 z)[-(P(x) ____.. q(y)) v r(z)J
© (V x>(3 y)(\i z)í-(r(�) v -Ptxj) v q(z)J

Solución
G) -(\7' x)(3 y)[P(x)-+ (q(y)-+ r<x))] = (3 x)(\7' y)[P(x) "-(q(y)� r(x)]

= (3 x)(\7' y)[P(x) A (q(y) A -r{x))]
@ -(\7' x)(3 y}(3 y)(P(x,y) � (q(x) A r(z)) = (3 x)(\7' y)(\7' z)[P(x.y) "-(q(x) "r{z))J
= (3 x)(\7' y)(\7' z)[P(x,y)" (-q(x) v -r{z))]

@ -(3 x)(\7' y)(3 z)(-(P(x)-+ q(y)] v r{z)] = (\7' z)(3 y)(\7' z)[P(x)� q(y)) A -r(z))
© -(\7' x)(3 y)(\f z)[-(r(x} v -P(x)) v q(z)J = (3 x)(\f y)(3 z)[r(x) v -p(x)) A -qtz)]
j I.29. EJERCICIOS DESARROLLADOS.-!
© Determinar el valor de verdad de cada una de las siguientes proposiciones:
a) Sí 5 + 4 = 11, entonces 6 + 6 = 12
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 = 12
Solución
Es falso puesto que se está negando una proposición verdadera.
e) Lima está en Chile o La Paz e,;tá en Ecuador.
Solución
Es falso puesto que ambas componentes son falsas
d) No es verdad que 2 + 2 = 5 o que 3 + l =4

Solución
Es falso puesto que se está negando una proposición verdadera.
Lógica 37
@ 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.
t) 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 = lO
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) S1 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 11 - 7 = 9
Solución
Es verdadera V, puesto que las proposiciones que intervienen en la implicación son falsas.
0 Evaluar la tabla de verdad de la proposición compuesta. -(p A q) �� (-p v -q)

Solución
p q -(p /\ 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:
-{-lpv (-q--+ p)J v-[(p �� -q)----+ (q" -p)J
Solución
Primero simplificaremos la proposición por la ley de Morgan:
--{lp v (-q----+ p)j "l(p � -q)----+ (q A-p)l} de donde se tiene:
[p V (-q----+ p)] A [(p �-+ -q)----+ (q A -p)]
p q [p V (-q----+p))A[(p�-Q)--+(qA-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
© Deterrmnar la proposición [((-p) v q)" -qJ--. -p es una tautología.
Solución
p q [(-p V q) /\ -ql ------t -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
Es una tautología
© Verificar que las siguientes proposiciones son contradicciones:
a) (pAq)A-(pvq) b) -[p V (-p V -q)j
Solución
p q (p /\ q) /\ -(p V q) - [p V (-p v-q)]

V V V F F V F V V F
V F F F F V F V V y
F V F F F V F F V V
F F F F V F F f V V
-, . . . _,"'f lt,/
Contradice ión Contradicción
G) Demostrar que las proposiciones dada es una tautología: [(p v -q) A q)------t p
Solución
p q [(p v-q) /\ q] ------+ p

V V V V V V V
V F V F F y V
F V F F y V F
F F V F F y F
Es una tautología
40 Eduardo Espinou: /lamo$
@ Verificar que la proposición dada es una contingencia f-p "(q v r)J +- --+ {(p v r)" q)
Solución
p q r [-p /\ (q v r)) � [(p v r) " q}

V V V F F V F V V V
V y 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 y 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
: :
�---------�---------' Es una contingencia
® Determinar si las proposiciones [p--+ (r v -q)) y l(q---+ -p) v (-r--+ -p>J son
equivalentes.
Solución
p q r lp ---+ (r V -q)] [(Q--+ -p) V (-r---+ -p)l

V V V V V V F V V
V V F V F F r 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 y V V V V
F F F F V V V V V
• Idénticas -------•
Por lo tanto son equivalentes es decir: [ p---+ (r v -q)]

•
= ((q---+ -p) v (-r--+ -p)J
@ Determinar sí la... proposiciones [(-p v q) v (-r" -p)] } -q---+ - p son equivalentes
Solución
Lógica 41
p q r [(-p) V q) V (-r /\ -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
, . •
1 dénticas J
Por lo tanto son equivalentes es decir: (-p v q) v (-r "-p) = -q----+ - p
@ Determinar los esquemas más simples de la proposición: -[-(p A q)---+ -q] v p
Solución
-l-(p "q)----+ -q] v p por la condicional
-1-(-(p" q) v -q)] v p por la negación
-í(p x q) v -ql v p por conrnutauvidad en la conjunción
-(-q v (p x q)J v p por absorción
-l-q v pJ v p por Morgan
(-p " q) v p por absorción
pvq .: -(-(pAq)----+-qJ v p a p v q
@ 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 V q) +----+ (-q V r) As

C) (p---+ Q)----+ (p V q) r. -q
Solución
Determinaremos el valor de verdad de p. q, r y s
(p� -q) v (-r� s) F falso
por la disyunción
por implicación por unplicación
pes V y -qesF -res V y ses F
por negación por negación
!PesV y qesVj resFysesFj
Por lo tanto: pes V, q es V, res F, ses F
a) (-p /\ -Q) V -Q b) (-r v q) +..--+ (-q v r) /\ s

+ : + : : +: + +: +::
F :
1
F :
1
:
+ V: V
1
F: F::
1 1 1
+ : : + :+
F : F : F ! F
+ + +
� El valor de verdad es F F F
�
EJ valor verdad V
C) (p--+ Q)� (p V Q) A-Q
+ : + : +: + : :
V : V : V: V! :
1 1 1 1 1
: : + : +
: : V : F
+ :
1
+
V : F
[E] El valor de verdad es F
@ El valor de verdad de: -[(-p v q) v (r---+ q)) /\ [(-p v q)� tq A -p)) es verdadera.
Hallar el valor de verdad de p. q, } r
Solución
Lógica 43
-((-p V q) V (r� q)l /\ [(-p V q)� (q /\ -p)) es V
por conjunción
-l(-p v q) v (r-> q)] es V f(-p v q)� (q A-p)) es V
por negación por unplicaci6n
(-p v q) v (r � q) es F (-p v q) es F (q A -p) es F
por disyunción por disyunción por conjunción
(-p v q) es f (r�q) csF pesVyqesF q es F y-pes F
por disyunción por implicación por negación
-pes F y q es F r es V y q e!> F q es F y pes V
por negación
pes V y qesF
{:
por lo tanto el valor de verdad de : �
res V
@ Se sabe que p A q y q � L son falsas, determinar el valor de verdad de los esquemas

moleculares siguientes:
a) (-pvt)v-q b) -[p /\ (-q V -p)]
C) l(p� /\-{Q /\ l)] � l-p V (Q /\ -t))
Solución
Determinaremos el valor de verdad de las proposiciones p. q, t
r la con unción
pAqesF q�t esF
por conjunción por implicación
pesF y q es V qe�V y tesF

por lo tanto pes F, q es V y tes F

a) (-p V t) V -Q b) -[p /\ (-Q V -p))
+ : +: 1
1
1
1
1
1
1 +: +
..
1 1
..
V: F: 1 1 1 Fl V
1
..
1
1
1
+ 1
1
1
1
1 1
V 1
1 F 1 F, V
+ 1
1
1 +
� el valor de verdad es V 1
1
F
+
El valor de verdad es V
�
e) [(p--+ Q) /\ -(Q /\ t)} � [-p V (Q /\ -t)]
+ : + 1
+:+ 1
+: +
F: v:
1 1
v:F
..F ..
1
V 1
1
1 V
1 1 1 1 1
1
1
1
1 +
1
1
1
1 V V
+ +
V V
+ +
V V
�
• El valor de verdad es V
@ Si la proposición (-p" q)--+ (-s v r) es falsa. Determinar cuál de las proposiciones

son verdaderas:
a) -[(p--+ q)--+ r) b) -(-p" q) "[(-r v r) x s]
C) [(p V -q) /\ p] V -q
Solución
Determinaremos los valores de p, q, r, s
(-p "q)--+ (-s v r) es F
por implicación
(-p "q) es V (-s v r) es F
por conjunción por disyunción
-pes V y q es V -ses F y res F
por negación por negación
pesF y qesV ses V y resF

Lógica 45
{pes F. q es V
por lo tanto
ses V • r es F
a) -((p-----+ q)-----+ r] b) [-(- p A q)) A [(-r V r) A si

1
+ 1
+ 1 1
: + :+ +: +::
v:
1 1 1 1
1
1
1
F
1
1 V
1
1
1
t
1
1
1
1
1
v:v 1 1
1
F•'
1
1
1
+ + :+
1
1
+ • + 1
..:v
1 1 1
1
1 V 1
t F 1
1 V V
1
t
1
+ +
1
1
F F V
� El valor de verdad es V [iJ El valor de verdad F
e) l(p v-q) "p) v-q

.. : + : :
Fl1 F ,1 lI :I
+ : + :
F : F :
+ +
F F
+
[El El valor de verdad es F
Por lo tanto únicamente es verdadero la a)
@ Determinar el esquema más simple de la proposición [(p A q) v (p A-q)1 v (-p A -q)
Solución
((p A q) v (p A -q)J v (-p" -q) por distribucrón respecto a"
l(Cp" q) v p) A ((p x q) v -q)) v (-p A -q) por absorción
(p I'\ (-Q V p)] V (-p A -q) por conmutatividad en v
IP /\ (p V -q)] V (-p /\ -q) por absorción
p V (-p A -q) por absorción
p v+-q
por lo tanto [(p" q) v (p », -qi) v (-p" =q) == p v -q

@ Hallar la proposición equivalente más simplificada del siguiente circuito lógico.
Solución
La funció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 /\ -q)] /\ [(-p V Q) /\ p)} distribuidad respecto a A
[(p V QV- p) /\ (p V Q V -q)} /\ [(-p V Q) /\ p] distribuida respecto a v
(V/\ V)/\ [(p /\ -p) V (p /\ q)] por equivalencias
V /\ [F V (p /\ q)] =V V (p /\ q) = p /\ q
Por lo tanto la equivalencia es: [p v q v (-p A -q)] v l(-p v q) A p] = p A q
por lo tanto el circuito simplificado equivalente es:
p q
,--��p ��-��---,
,--��- q �� ,_____ -p--0
�-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

Ugica 47
lp V (-q I\ -p) V q) I\ -p x [p V q v=-p] I\ -p
= í(p V -q) V q] I\ -p
Solución
La función booleana del circuito dado es: ((-p "-q) v (p x (-p v q)))
ahora simpliñcando la proposición obtenida
[(-p I\ -q) V (p I\ (-p V Q))) = [(-p I\ -q) I\ (p I\ Q)] = p �-+ q
@ Determinar la menor expresión que representa el circuito dado:
-q____J r
�-q---'
�p
r---o
�q---'
�-- p q ___....
Solución
La función booleana del circuito dado es: (p v q)" 1(-q "(r v -q)) v (p x qj] "r
simplificando la proposición obtenida
(p v q) "1(-q "(rv -q)) v (p I\Q)J "r= (p v qj », [-q v (ql\ p)] Ar
= (p V q) I\ [-Q V p] I\ r
= [p V (q I\ -q)) I\ r
= (p v F) " r = p " r
@ Determinar los circuitos lógicos que representan los siguientes esquemas moleculares.
a) -[p--+ -(q v r)J

Solución
Simplificando se tiene:
-(p--+ -(q V r)J = -[-p V -(q V r)J

=p I\ (q V r)
b) (-p) +--Hp--+ -q)
Solución
(-p) +-� (p--+-q) = (-p) � (-p v-q)
= (-p I\ (-p V -Q) V (p I\ (p I\ q})
= (-p) V (p)
C) (p V q)--+ [(-p V q)--+ (p I\ Q))
Solución
(p V Q)--+ [(-p V q)--+ (p I\ q)) E -(p V Q) V [-{-p V Q) V (p I\ Q)1
= -(p V Q) V [(p I\ -q) V (p /\ Q))
E (-p /\ -<}) V p
E (p v-q)
Lógica 49
! t.30. EJERCICIOS PROPUESTOS.- j

@ Determinar cuales de los siguientes enuncrados son proposiciones:
a) �+7=16 4 b) 3 X 6 = 15 + 1 y 4 - 2 '# 23 X 5
e) c.,EI silencio es fundamental para estudiar?
d) .Estudia lógica simbólica!
e) Nosotros estudiamos en la Universidad Peruana.
t) Los hombres no pueden vivir sm oxígeno.
g) ¡Arriba Callao!
h) 5 +X= 7 i) 2 +X� 3 + X
@ Determme cuáles de los siguientes enunciados son enunciados abiertos:
a) x es hermano de y b) 28 < 15
e) x+y+z'#I d) 9x + 3 > 12
e) Tenga calma. no se impaciente
g) x es ingeniero y Juan es matemáuco.
h) La UNAC sobresalté en el deporte en el 2000.
0 ¿Cuáles de la!. siguientes proposiciones son verdaderas y cuáles son falsas?
a) Sí 3 + 3 = 6. entonces 4 = 4
b) S1 5(7) = 35, entonces 10 3 = 13
e) Si 19 - 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 e, un número primo.
f) Si x = 2. entonces 3x =6
© Determinar el valor de verdad de las siguientes proposiciones:
8) (3 + 5 = 8) V (5 - 3 = 4) b) (3 + 8 = 11) V (7 - 3 > 1)
e) (5 - 3 = 8)---+ ( 1 - 7 = 6) d) (4 + 6 = 9) +--� (5 - 2 = 4)
© Dados las siguientes proposiciones: p: 5 > 1 O
q: si x2 + 1 = O, entonces x es un número real
r: "El punto medio de un segmento, equidista de los extremos del segmento"
t: Sí x + 3 = O, entonces x = -3
Hallar el valor de verdad de las siguientes proposiciones.
a) [(p" q)---+ 1] "-t b) [(p +---+ q)---+ -r" t] v (p v r)
© Si P(x): x2 -16 =O: q(x): x - 12 = O, r(x): x2 > 9. Hallar el valor de verdad de:
a) [p(2)" -q(2)] +--� r(4)
b) [-p{4)---+ r(5)] V -q(4)
C) [(p{ l) I\ p(3)) f---4 (r(2) V p(J)]----+ [-(p{2) V q(2)})
{!) Si P(x): x3 = 27 ; q(x): x2 = 9; r(x): x < 10. Hallar el valor de verdad de:
a) (p{l)---+ q(l2)] +---+ [r(-3) v-r(3)]
b) [p(O) "-q(-1)) v f r(-5)---+ (r(-6) v r(O)J
C) [(p{3) V p(2)} (-� (r(2) I\ -q(3)}] (-� [-q(3) V -p(-3)]
® Construir la tabla de verdad de las siguientes proposiciones:
a) (p +--� -q) +--� (q ---+p) b) (p /\ -Q)---+ (-p V Q)
e) [(p v -r)" (p v r))" [(q---+ p)" (q v p)] d) -(p V -q) /\ (-p V r)
e) -lp A (-q---+ p)] "[-(p +--� -q)---+ (q v-p)]

Lógica 51
® Construir la tabla de verdad de las siguientes proposiciones:
a) (p x qj v t-pj ee rp v q) b) (p � q) � r
e) (p � q) � (q ==> p) d) ((-p) V q) ::=> (-q � -p)
e) (pr.r)�(-qvr) O (p >, q) v r (::::) (-p v -q) "'(-r)
@ Hallar lac; tablas de verdad de las siguientes proposiciones:
a) p----+(pv-q) b) l(pv-q)----+(q-----4p)J
e) (p v (q-----4 -r)J r. l(-p v r) � -qJ d) -l-(p "'q)-----+ -q] v p
e) -( [(p----+ q) v (q-----+ r)}-----4 (r-----4 p)}
@ Deducir el valor de verdad de:
a) (p-----4 r)-----4 l(p v q)"' -q} b) (-p /\ -q) V -q
e) [(-r v q)"' q] +--t l(-q v r) "'st
@ Indicar cuál es la tabla de verdad de cada una de las siguientes proposicrones:
-l(p V Q) /\ (-p V -q))
@ Determinar cuál de las siguiemes proposiciones son tautología
3) [(p V -q) /\ QJ-----4 p b) [(p /\ Q) V q} E--t q
e) [ p x (q "'-ni f--t [t-p >, q) v-(p v r)}
@ Por medio de una Labia de valores, establecer. si cada una de los siguientes esquemas
moleculares es tautología. conungencia o contradictona.
a) -[-p----+ -(-q"' -p)J v -(-p v-q) b) [(p V -q) /\ +p] /\ (-q----+ p)
e) -(p----+ q) f--t -(-q----+ -p)
d) lp-----+ ( q -----4 nl f--t [ (p "' -r)-----+ - q]
e} LP "'(-q----+ p}}"' -l<p----+ -q)----+ (q v -p)]

f) 1-p A (q v-r)) f--t 1(-p /\ q) v-(pv rj]
@ Determinar mediante la tabla de verdad. cuales de las siguientes proposiciones son:

taurologfas, contradicciones o connngencias
a) (p---+ q) /\ (q---+ p) b) [(p V Q) A-q) � p
e) -[(pvp)---+ p) d) -(p V q) /\ p
e) [p� (q� r)J A [(q v p)--+ r]
@ Determinar cuáles de las siguientes proposiciones son tautología, contradicciones y

contingencias.
a) -{-p) � -[-(-p)] b) (-p V q) /\ (-q---+ p)
e) (p v q) Ar E--4 -(p Ar) A -(q Ar)
d) [(p A q Ar)---+ s) E--4 [(p A q)---+ (r---+ s)J
@ Dadas las proposiciones siguientes:
8) -(p /\ Q) E--+ (p V -q) b) -(p---+ q) E--+ (p V -q)
e) -(p E--4 q) E--4 (-p E--4 -q)
indicar cuál o cuáles es una contradicción
@ ¿Algunos de las siguientes proposiciones es una tautología?
8) -[-(p V Q)---+ -q) E--+ (p---+ q)
b) -[(-p) E--+ q) E--+ (p---+ q)
C) -[(p /\ q) V (p /\ (-p V q))) E--4 (p � -q)
@ Determinar cuál de las siguientes proposiciones son tautologías, contingencias o

contradictorias.
a) [(p A -q) A (-p---+ r)J-4 (p v -q)
b) fp v (q---+ -r)] A [(-p v r) E--4 -q]
e) [(-p A q)---+ -r] E--4 [r A -(p v -q)}
d) -((p /\ q) V ÍP /\ (-p V q)]) � (p---+ -q)

Légica 53
@ ¡Cw1l Je las viguiemcs esquemas mi señalan una tautología?
a) (p,.. 41 � (q v p,
d) (p--+ Q) (:::::) (-p A -q)
@ Determinar la validez del esquema. -1-(-p,.. -q}--+ -(p v q)) .__. l-(-p v q)J
@ ¡,Cuál de las siguientes proposiciones es una tautología.
a) (p A Q) V (p /\ (-p V q)I t---+ (p---+ -q)
b) -[-(p V q)--+ -q] t---+ (p----+ q) e) -(-p----+ q) � (p .----+ q)
@ Construir la tabla de verdad > determinar cuáles son tautología. contradicción o

connngcncia
a) (p----+ q) .____. [(r--+ q),.. (q--. p)]
b) (p----+ (q v -r}) "-[p t---+ r]
@ ¿Cuales de las siguientes proposiciones es una tautología?
a) -{(pAq)v[pA(-pvqJll t-----Hp--.-q)
b) -(-p t---+ q) t---+ (p t---+ q)
d) -·l(-p V Q)----+ q] t---+ (p----+ q)
e) [-p" (q v -r)l t---+ ((-p "q) v -(p v r))
@ Simplificar las síguientes proposiciones:
a) l[(-q)--+ (-qJ]--+ í(-p)--+ (-q)J}----+ -(p" q)
h) f(p--+ Q) V -p] A (-q--+ p) C) -{[-(-p A Q) V -q]--+ [-(p v-q)l)
d) (-p V -q) /\ f-p /\ (q °"' p)] e) [(p => q) => (p" q)] v (p Ar)
0 -[-(p A q)--+ -qJ V p g) [(-p I\ q) => (q => p)] I\ p
@ Simplificar las siguientes proposiciones:

a) [(-p /\ q)----+ (r /\ -r)] /\ -q
b) ((-Q----+-p)----+(-p----+-Q)]/\-(pAQ)
C) [(p /\ Q) V (p /\ -q)) V (-p /\ -q) d) (pAq)v(-pA-q)vp
e) t => [(p => q) => q] /\ [-p /\ (q => p)] f) [-(p => Q) => -(q => p)} /\ (p V Q)
g) l(p /\ -q) /\ (q => p) /\ r] V p
@ Si -[(-p v q) v (r----+ q)] /\ ((-p v q)----+ (q A -p)) es verdadera, hallar los valores de
verdad de p, q y r.
@ Si la proposición (p----+ -q)----+ (r----+ -s) es falsa. Hallar el valor de verdad de las
proposiciones p.q.r,s.
@ Si la proposición -(p A q) A (q � p) es verdadera; entonces hallar los valores de verdad

de p y q respectivamente.
@ Si la proposición (p => -q) v (-r ----+ s) es falsa. Hallar el valor de verdad de los
siguientes esquemas moleculares.
8) (p => q) => [(p V Q) /\ -q] b) (-rv q) � [(-q v r) /\ s)
C) (-p /\ -q) V -q
@ Determinar el valor de verdad de las proposiciones p y q si se conoce la información

siguiente:
a) (p /\ q) � (p v q) es verdadero b) -(p A q) es verdadero
@ Determinar el valor de verdad de las proposiciones p y q si se conoce que el valor de

verdad del siguiente esquema [-(-p => q) => -(p----+ -q)] => (p----+ q) es falso.
@) Si p y q son verdaderos ¿para qué valores de r, el esquema siguiente es

verdadero? (r----+ p) e=> (-q => r)
@) 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 l.
Lógica 55
@ Si el esquema (p x q) ___. (p---+ r) tiene valor de verdad, falso. halla el valor de verdad
de los esquemas.
a) [(p" q) v <q v -r)] � (p v -r) b) (p V - q) :::>{-r /\ q)
e) -(q V r) V (p V q)
@ Si la proposición (-p" q) => [(p" r) v t] es falsa, hallar el valor veritativo de:
a) -[(-p v -q)---+ (r v -t)] b) (-Q V -r) V 1-l V (p V q}J
e) (-p => l) => (-q => r)
@ Si la proposición (p " q) => (q => r) es falsa y se tiene los esquemas moleculares.
a) -(q V r) V (p V q) b) (p V -q) ::::> (-r /\ q)
e) [(p" q) v (q "-r)] (::;) (P v -r)
Cuáles son falsas
@ Si la proposición (-p x q) => [(p x r) v t] es falsa. Hallar el valor de verdad de cada una
de las siguientes proposiciones.
a) (-p�l)=>(-q=H) b) (-q /\ -r) V [-t I\ (p V Q)]
e) -[(-pv-q)=>(rv-1))
@ Sean p.q.r.s.t proposiciones. S1 [(-p) x q) => [(r => p) v t) es una proposición falsa. hallar
el valor de verdad de: -(q v -r} v -[t => (-q" p)]
@ Si la proposición (-p" q) => (-s v r) es falsa. de las proposiciones siguientes, cuales son
verdaderas?
a) -((p => q) => r] b) -{(-p" q) "(-r v r)] x s
C) l(p V -q) /\ p] V (-q)
@ Admitiendo la falsedad de: -[p v q v r] => -(M " N " 1). Hallar el valor de verdad de:
al ((p" M) => (q v N)J x t b) ((p=>q).::::;)(q=> M)] � tr => t)
e) (í(p v q)---+ (r », s)] "(-q---+-l)} => l(p---+ q) "(q---+ M)]

@ Adrmucndo la falsedad de la proposiclón- (p x q) � l(r v s) � (l � w)J hallar el valor

de verdad de:
a) (p � w) "(r � q) b) -(p" t) => (-s � p)
e) ( lq � -(t v r)] "[p => -(r" w)J) (:::) [(p => -q) v -t)
@ Si la proposición (-p >, q)--t [(p" q) v t] es falsa. Hallar el valor de verdad de:
a) -[(-p v-q)--+ (r v -1)] b) (-p--> t)-> (-q--+ r)
e) (-q V -r) V [-l /\ (p V q)J
@ Si q--+ t y p" q son fabas. Determinar el valor de verdad de:
8) (-p V l) V -Q b) -[p /\ (-q V -p)]
C) [(p--+ Q) A-(Q I\ t)j +---+ [-p V (q /\ -t))
@ Si la proposición (-p " q)--� (-s v r) es falsa. Determinar el valor de verdad de:
a) -((p---+ q)--+ r] b) -(-p" q)" [(-r v r)" s]
C) [(p V -q) A p] V -Q
@ 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)
e) [(r--+ q) », q] +---+ [(-q v r) x s]
@ Si la proposición (q "-p)--+ [(p" r) v t] es faJsa. calcular el valor de verdad de la

proposición: (-p--+ t)--+ (-q--+ r)
@ Sabiendo que (q--+ t) y (p », q) son falsas, deterrmnarel valor de verdad de:
8) -[p I\ (-q V -p)) b) (-p V l) V S
C) [ p V IQ I\ -t)j � ((p--+ Q) A -(Q I\ ll)

Lógica 51
@ Si el esquema (-p--+ -q) v (r !!.. q) es falsa, determinar el valor de verdad de:
a) (p--+ q)--+ (r ll.-q) b) -q--+ l(p +--_. q) "r]

@ Si [(r--+ s) " t] --+ (p v q) es falsa determinar el valor de verdad de:
a) -rv(-S---+-t) b) (p +--_. t) v [q x (-r v s)]

e) [(r !!.. s) v (t--+ s)] " (p " r)
@ Dado los esquemas proposicionales denotados por A, 8 y C respectivamente:
A: p +--_. -(q" r) ; 8: -p !!.. -r ; C: -(p" q) v -r
Determinar si A--+ C y B-----+ C son implicaciones (tautología)
@ Si la proposición (-p" q) => [(p" q) v t] es falsa. Hallar el valor de verdad de:
a) -[(-p v-q) => (r v -t)] b) (-q I\ -r) V [-t /\ (p V q)]
@ Si el esquema indicado: [(-p v q) v [(p--. q) "t]) "q es verdadero, indicar el valor de

verdad de:
a) p => q b) l V Q C) -q V (t V p)
@ Si la proposición [(p v t) --. (p " q)J es falsa, dar el valor de verdad de las siguientes
proposiciones.
a) 1( p I\ t) /\ (q -H)] h) [(p V l) H (-p V -q)] C) [(p V t) !!,, (p I\ Q)]
@ Si la siguiente proposición lógica -[(p" q) => (q (:::) (r v s))] es verdadera, hallar los
valores de verdad de p. r, q, s.
@ 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) (-rvq)H(-qvr)AS C) (p � q) � (p V q) /\ -q
@ 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" s) => (-p => q) e) p => -(q => -(s => r))
@ Hallar los valores de verdad de: p. q, r si: [(-p v q) v (r � q)]" ((-p v q) � (q "-p)]
es falso.
@ Si la proposición: {-(p � q) "(-r v s)] � r es falso, halle los valores de verdad de: p, q
y r.
@ Si: -p v [(p" r) � (r <::::> q)J es falso. halle el valor de verdad de: [(p � q) v r] <::::> (p "r)
@ 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" q Ar)� s] � (-p v s) se conoce que es falso,

señale el valor de: p. q, r y s.
@ Si la proposición "s" es falsa, y el siguiente esquema: (-p x 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}
e) -Q V p E -(-p A q) E -p � (p � -Q)
d) -[(p /\ q) A -r} = -{(-p 1\ -q) A (p V r)]
e) -(p � q) = -p <::::> q = p � -q !z -(-p � -q)
@ 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)
e) -(pvq) y (-p)A-Q d) p ee q y -q�-p
e) (p � q) A (q � r) y p � r
@ Demostrar que las bicondicionales siguientes son equivalencias lógicas.

8) (p-+ q) � (-p) V q
b) (p � q) <::::) (p----+ q) A (q----+ p) C) (p /\ Q) V p (;::) p
d) (p V q) A p�p e) -(p-+ q) � (p " -q)

Lógica 59
@ Determinar el valor de verdad de los siguientes enunciados considerando como universo a

los números reales.
a) {'v'xe R I x3 = x} b) (3 x e R / 2x = x}
e) {3xe Rlx2 +3x-2=0} d) {3xe RI x2 -2x+5=0}
e) {'v'xe R/2x+3x=5x} () (3xe R/2x2 +x=l5}
g) ('v'xe R/x-3<x} h) {'v'xe R/x+3<6}
i) {3xe R/x+3<6} j) f'v'xe RI x2-J0�8J
@ Evaluar -(-(p v -q)} <:::) 1-((r " p) ----+ (p " -p)]} sí: p: {'v'xe R I xº = I} ;
q:(3xeQ/3x2=x-5}; r: (3 xeZ/x2-2x-l=-l, .J4=x}
1
Sean las proposiciones p: {'v'xe Ql-+x>O}. q: (3 x e I I x +O= n}.
2
r: ('v'xe R / x2 + 1 =O}. Hallar el valor de [(p----+ q) "r) <:::) -q
@ De las siguientes proposiciones, hallar el valor de verdad.
a) ('v' X E R, 1 X 1 = X) /\ (3 X E R IX + l $. x)
b) ( -3 XE R / x2 ;t X ) v (- 'v' X E Z/X + 1 ;t X - l)
e) (- 'v' x e N I I x 1-:;t O)----+ (-3 x e Q ti x 1 ;t O)
@ ¿Cuáles son equivalencias lógicas?
a) -(q----+-p)<:=)(qvp) b) ((-p /\ -q) V -q] <:::) [(p V q) /\ q]
C) -(p---+ q) <:::) [(p V Q) /\ -q]
@ Sea U el conjunto universal y p. q. r las proposiciones:
U= {-10,-9 .... ,80}. l.J cZ(numerosenteros) ; p: {'v'xe U. 3ye U/ x-x2 <-2y}

q: (3ye U, \f,;e U/x-5y<3x-y} r : {\t;:eU,3yeU,3xeU/x2+y2 <;:1}
Evaluar (-p v r) f--+ (p x -q)
@ Determinar el valor de cada uno de las siguientes proposiciones:
a) (3xe Z / x2 = x) b) {\fxeZ/x-7<x}
e) {3 X E Z / X + 5 = 5} d) {\f,;eZ/x+8>x}
e) {\fxe Z I x2 � x} f) {\fxeZ/x+l=x}
@ Si U= (x e R / 2 < x < 10} y p: (\fxe U)(3ye U')(\tze U)l-x-y>-<z.2,

q : (\fxe U)(3 z e U)(3ze V)(x+ y< z2), hallar el valor de verdad de (-pv-q) => (pxq)
@ Si U = ( l ,2,3, ... ,99}, determinar cuáles de los siguientes proposiciones son verdaderos.
a) (3,; e U I x + 5 = 2x} b) (\t,;eU/x+leU)
e) {3 x e U flx - 81 > 51 d) ( \f X E U / 20 - 3x 1: 0}
@ Hallar el valor de verdad de la fórmula, [(p v q) � (-r v -w)) � (q � r) sí
p: 3 xeQ/x+3=.Ji+3, q: 3xe l/x+0=7t
r: \fxe N/x+2.5=5, w: 3 xeQ/x+O=.Ji
@ Hallar el valor de verdad de: l(-p" -q)� (rv q)) A [-(p" q) f--+ r)
Sí U= (xe Z/-100Sx$ 100); p: (\fxe U)(3ye UX'v'ze U)(x+y-z>30)
q: (\f x e U)(\f y e U)(\f z e U)(2x + z - 4y < 800)
r: (3 x e U)(\f y e U)(3 ze U)(5x $ z - y + 50)
@ Si x puede tomar cualquier valor 1,2.3. demostrar mediante contraejemplos la falsedad de

las siguientes proposiciones.
a) ((\fx)/x2=x} b) {3x/x=2,;}
Lógica 61
e) { \>' X / X + 2 = 5) d) { \>' X /X + l > 3)
e) -{3x/x2=41 O {3:dx>4)
@ 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)(\>' y)(x 5 y + 2) b) (\>' x){3 y)( X+ y< 5)
e) ( ('vx)('vy)(x2 + y2 < l) d) ('vx)(3 y)(x2 � y)
e) (3 x)(3 y)(x + y = 2)
@ Cuales de las siguientes proposiciones son verdaderas o falsas. Si U = ( l ,2.3) es el

universo y sí x, y e U
a) 3x. 3y/x2 <y+l b) Vx.3y/ x2 + y2 < 12
e) Vx, vv! x2 + y2 <12 d) 3x,3y,\>'z/x2+y252z2
@ Determinar el valor lógico de las siguientes proposiciones.
a) 3xeR/x2+1=0 b) 3xeR/x2=1
e) (\>' x E R)('v y E R) /X+ y= 7 d) (\>' XE z)(3 y E ZIX- y > 0)
@ Sean A= t 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 8 b) -[\>' X e A, 3 y E B / x > yJ
e) 'v x e B. 3 y e A / x - y e A d) 'v r e A, V y E 8 I X + y < 10
@ Si A = { 0.1.2,3,4} hallar el valor de verdad de las siguientes proposiciones:

a) P: 3 x e A / 2x + l =5 b) q: 'v ne z+ / 3n es divisible por 3
e) r · 3 xe R / x1 + 7 < O d) S. 'v .\ e Q I x2 �x
@ Si M = (-1.1,2,7} cual es el valor de verdad, de las siguientes proposiciones:
a) \;/ X E M, 3 y E MI x2 2: y b) 3 X E M, \;/ y E M / x 2: y2 2: 0
e) 3 x e M, 3 y e M I (x � 3) v <l > 2)
@ Dadas las proposiciones P: 3 xe 21(4x + 2)(3x- 7) = O; q: \;/ xeZ/(x2 > O) v (x-1) <0,
r: 3 x E N / (4x + 2)(3x - 7) = O, señale el valor de verdad de p. q, r y además
l(p" q) � (p v r)) = r
@ Sea M = ( 0, l ,2,3) el dominio de x e y, señale el valor de verdad de:

a) \:/ x, 3 y I (t' - y2 < 10) v (x2 <y+ l)
b) \;/X,\;/ y I (x2 -y2 > -IO)" (x2 > y+ l)
@ Negar las siguientes proposiciones para el conjunto z.
a) \:/ x E z I x + 1 > x b) 3xez/x2+1=0
e) 3 xe zlx2 =x d) \:/ xe z I x2 -1 > O
@) Negar las siguientes proposiciones.
a) 3 X/ X+ 7 < y b) (\;/ x I p(x)) "(3 y I q(y))
e) (3 x I p(x))---+ (\:/y I -p(y)) d) (p V -q)---+ (p /\ =r)
e) 3 x I q(x)_ 5x + 7 < 1 O O 3 x/5x+ 8<4
@) Negar los enunciados del ejercicio 56)
@ Negar los siguientes enunciados.
a) (3x/p(x)v-q(x)} b) {\:/ x I p(x)---+ q(x)}
e) (\:/x,3y/x.y=0} d) ((\;/ x)(p(x)) "(3 x)(q(x))j
e) ((3 y)(p(x))---+ (\;/ x)(-q(x))} O ((3 x)(-p(x)) v (\;/ x)(q(x))l

Lógica 63
g) (3x,3y/p(x)v-q(y)} h) {V' x, 3 y I p(x,y)---+ q(y))
i) ( 3x. 3y I p(x) A q(y)} j) 1 V'x, 3u. 'v'z I p(x.y,z))

@ Negar cada una de las proposiciones siguientes:
a) (3x/x+7>2} b) {'v'x/x+O=x}
e) ('v'x/ x2 + 7 > x2 +3} d) {3 X /-(X':/; X)}
e) -('v'x/x2 =x} () -(3x/x+3=x}
@ Negar las proposiciones del ejercicio 52) y verificar que estas negaciones resultan ser
proposiciones verdaderas.
Si x puede ser cualquier número natural, determine el valor de verdad de las

proposiciones:
p: ('v'x)(x2 > x) � (V'x)(x < 3x) ; q: ('v'x)(x2 > x) ;;:::) (3 x)(x = x)
r: (3 x)(x + 3 = 5) � ('v'x)(x + 1 2 x)
@ Verifique la validez de los siguientes argumentos:
a) PI\ q b) (p A q)---+ (r As)

-p--+q (-q) V (-S)
.: -q :. (-p) V (-q)
e) p x tp v q) d) r--+-q
pvq---+r p---+ q
f---+ s -r---+ s
:. s .', p---+ s
@ Demostrar, por la tabla de valores o por el método abreviado si los esquemas representan
o no reglas de inferencia válidas.
a) p---+ q b) p--+ -q
-q--+-r p V (-q}
:. p�r :. -q
e) p--+q d) (p--+ q) A (r--+ s)

q--+ p) pvr
:. p t-� q :. qv s
e) p t--4 q f) q--+ p
rvq 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 f--4 p
:. p--+ s pv(q--+-r)
i) Q--+ (-p V r) j) p
rvs (-p v-s)--+ (-p" -r)
-p+--� r :. s
., q V r
® Determinar los circuitos lógicos que representan a los siguientes esquemas moleculares.
a) (-p) t--4 (p--+ -q) b) p /\ (Q V -pJ
e) -[p v--+ -(q v r)) d) {[(rvq)Ap]v-r}11.q
e) (p V q)--+ ((-p V q)--+ (p /\ q)) () [(p--+ q) V p)A((p--+q)v -p)
@ Representar mediante funciones boolianas los siguientes argumentos:
a)
b) ..---- p q
Lógica 65
e) ------ p ------
---q--- -p--o
�---q--p-
d)
� _: _: ___..I/.______
�q
J-
@) Determinar la menor expresión que representa al circuito dado:
a)
p-c:____.�
b)
e)
66 Eduardo E•.
nsprnoza Ramos
d) r
r--·
-q--•
e) p---- Q
-p-- -Q p --0
f) -p
-Q--- -Q ---0
p - q
g)
:=:J----Cq -p
Q ---p
úígica 67
i)
p -----q
-p--q p ----()
q .....___ p---�
@ Determmarlos circuitos lógicos que representan a los siguientes esquemas moleculares.
a) {[(r v q)" p] v -r} "q b) -[(p V -q) V (p" -r) V -(r V q V -p)]
@ Simplificar los siguientes circuitos lógicos:
p�q
a)
-q�-p
p---q
q---p
b)
·P
·P -l__qqx--c:�- q .:
-q p q--c y .:1---
q____r- q
e)
p ----- q
�-r-p--q
-p----q--�
-p---<>
p
1
�p----
q
d)
p
i.-
-q-o
-r
q
ql__ -p
§ Dado el circuito lógico, hallar el circuito lógico más simple posible.
-p-
r_J q ---r
-i__ p----'
-pl__,_
:J-C__
-r�
-r---
@ Simplificar el siguiente circuito
@ Representar mediante funciones Booleanas los circuitos.
a)
p q
b)

Matemática 01

Cargado por

Copyright:

Formatos disponibles

Matemática 01

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

Matemática 01

Cargado por

Copyright:

Formatos disponibles

Lógica

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

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

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

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

(!) x < 7, es un enunciado abierto, porque no podemos afirmar si es verdadero o

@ x2 + y 2 = 16 . también es un enunciado abierto.

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

! t.3. PROPOSICIONES LOGICAS.- j

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

(!) p: 15 - 4 = 11, verdadero (V)

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

{¿) r: 107 + 301 = 48, falsa (F)

@ 1: 7 es un número par. falsa (F).

11.s. 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. ... ----+

Ejemplo.- © 6 es par. 2+5=7

b) PROPOSICIONES COMPUESTOS O MOLECULARES.-

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

Ejemplo.-(!) 5 es primo y 2 es par.

@ Si 5 es par entonces 2 es impar.

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

lt.7. PROPOSICIONES OOMPUESTAS BÁSICOS.-!

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

Su negación es: 2 no es primo F

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

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

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

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

Ejemplo.- Sf p: 4 < 7 y q: 6 es número par. Calcular el valor de verdad de p x q

d) LA CONDICIONAL (IMPUCATIV A).- 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

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

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 6 Doble Implicación).-

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

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

Ejemplo.- Sea p k es par ; q le es impar Hallar el valor de verdad de p A q.

Para calcular el valor de verdad de p t:. q, pnmero veamos lo siguiente:

Q) Si k es par. si puede ser impar (S1 pes V ; q es F)

@ St k es impar, no puede ser par (Si pes F ; q es V)

De las notaciones ( 1) y (2) vemos que p t:. q es verdadera.

! t.8. PROPOSICIONES COMPUESTAS.-!

Ejemplo.- La tabla de verdad de la proposición compuesta de:

[(p---+ q) A (q---+ r))---+ (p---+ r)

p q r p---+ q q---+ r p---+r [(p---+ q) A (q--+ r}J---+ (p---+ r)

! t.9. JERARQUÍA DE LOS CONECTIVOS LÓGICOS.- !

Ejemplo.- Hallar la tabla de valor de verdad de la proposición:

[p v (q---+ -r)] /\ [(-p v r) �--4 - q]

p q r [p V (q--+-r)] /\ [(-pvr) � -q]

!t.10. TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS.-!

a) TAUTOLOGÍA.- Son proposiciones compuestos que siempre son verdadero,

(!) p v - p (principio del tercio excluido)