C O N T E N ID O

CAPITULO 1. LOGICA

1 Proposición Lógica .. 1
2 Conectivos Lógicos : Disyunción, Conjunción, Negación, Condl
clonal y Blcondlclona!. Proposiciones Compuestas .. 1
3 Tautología y Contradicción. Implicación Lógica y Equivalencia
Lógica. Proposiciones Equivalentes .. 6
4 Leyes del Algebra de Proposiciones .. 7
5 Razonamiento Lógico. Argumentos VSUdos. Métodos de Demostra­
ción .. 13

CAPITULO 2. CONJUNTOS

1 Conjuntos y Cuantlflcadores. Intervalos. Negación con Cuantl-

fleedores .. 19
2 Subconjuntos. Conjunto Unitario, Conjunto Vacio, Conjunto
Universal. Conjuntos Iguales .. 25
3 Operaciones entre Conjuntos : Unión, Intersección, Complemen
to. Diferencia, Diferencia Simétrica. Representación Gréflca
en Diagramas de Venn .. 28
4 Leyes del Algebra de Conjuntos .. 30
5 Propiedades Adicionales .. 36
6 El Conjunto Potencia .. 40
7 Número de Elementos de un Conjunto A: n(A) .. 43

www.FreeLibros.org
i
 -1 -

LOGICA
1 PROPOSICION LOGICA

Se llama asi a toda expreslfin que puede cali­

ficarse bien como verdadera (V) 6 bien como falsa (F) y sin ambigüedad.
En general, las proposiciones lfiglcas serán denotadas con letras minúsculas

p* Qi r* •••

EJEMPLOS DE PROPOSICIONES LOGICAS:

p : 4 ♦ 3 « 6 .. (F)
q : La ciudad de Trujlllo es la capital de La Libertad .. (V)

EJEMPLOS DE EXPRESIONES QUE NO SON PROPOSICIONES LOGICAS:

a) ¡Buenos dlasl b) a + z « x c) ¿ Cómo estás ?

respecto a estas expresiones vemos que no es posible Indicar si les corres -

ponde un valor de verdadero o de falso.

2 CONECTIVOS LOGICOS

a) LA DI SY UN CI ON " p v q * [se lee " p o q ■ ] .- Es una propo

Slc16n formada por las proposiciones p y q , relaclona-
das por la palabra " o " (en el sentido Inclusivo: y/o ), definida por la
'.ondlclfin: 1 p v q ' es FALSA Coicamente en el caso en que ambas p y q
son FALSAS ; en cualquier otro caso es Verdadera. Su tabla de verdad es:

P q p v q EJEMPLO: p : 8 es menor que 7 ... (F)

q : 6 es mayor que 2 ... (V)
V v V
F p v q : 8 es menor que 7 o
V V
6 es mayor que 2 ... (V)

www.FreeLibros.org
F v V
F F F
 -2- Intreducción al Análisis Matemático

b) CONJUNCION " p - q " (se lee * p y q " )

Es una nueva proposicifin que se define de tal

■uñera que resulta Verdadera (V) finitamente en el caso en que p y q son om
bcu VeAdadzruu , y en todos los demás casos es Falsa (F). Su tabla de verdad
es
p q p - q EJEMPLO

V V V p : 1512 es múltiplo de 3 (V)

V F F q : 5+ 2- 10 .. (F)
F V F q: 1512 es múltiplo de 3
F F F y 5 + 2-10 .. (F)

NEGACION * ^P ■ Es una proposicifin que cambia el valor de

la proposicifin p , y cuya tabla de ver-
es
P n,p
Se lee: " Es falso que p "
V F
" No es cierto que p ■
F V
■ No p " .

d) CONDICIONAL * p •* q * (Se lee ' SI p entonces q " ) .-

Es aquella proposición que es Falsa fini^
camente cuando la proposicifin p (llamada ANTECEDENTE) es verdadera (V) y
la proposicifin q (llamada CONSECUENTE) es Falsa (F). Su tabla de verdad

También se lee:

p Implica q
p solamente si q
p es una condlclfin suficiente para q
q es una condlclfin necesaria para p
q a menos que n. p
Es suficiente que p para que q
Es necesario que q para que p .

OBSERVACII INES:

- Según las dos últimas filas basta que el antecedente p sea falso (F) pa
ra que la condicional sea verdadera (V), Independientemente del valor de
la proposicifin q .

www.FreeLibros.org
- Según las filas Ira. y 3ra. basta que el consecuente q sea verdadero
(V) para que la condicional sea verdadera (V).
 Cap.1 Lógica 3

- Según la Gltlma fila, si tanto p coipc q son falsas, la condicional re

sulta verdadera.

EJEMPLO.- Explique porqué tienen los valores veritativos indicados:

a) 2 + 3 - 6 + 5 < 6 .. (V)
b) 3 - 1 - 4 + 27 < 2* .. (V)
c) 5 es un número primo ♦ 51 es par .. (F)

PROBLEMA.- Utilizar las palabras " si .. entonces " para expresar de o-

tra manera la siguiente proposición:

* Yo no me presento al examen de MatemSticas a menos que lo posterguen una

semana " .
SOLUCION.- Sean p : Yo no me presento al examen de MatemSticas
q : No postergarSn el examen de MatemSticas una semana
La proposicidn dada en el enunciado del problema corresponde por lo tanto a:
* q a menos que 'vp ", la cual se simboliza precisamente como: p ♦ q .
Según esto se tiene el enunciado equivalente siguiente:

* Sl^ no postergan el examen de MatemSticas una semana entonces yo no me

presento a dicho examen ".

e) BICONDICIDNAL p ♦* q [Se lee " p ¿ i y ¿ole ¿ i q * ] .-

Es aquella proposiclén que es verdadera
en el caso en que ambas p y q tienen el mismo valor (ambas verdade­
ras 6 ambas falscs), y que es falsa (F) si p y q tienen valores v e H
tativos contrarios. Su tabla de verdad correspondiente es como sigue:

También se lee :

“ p si y solamente si q *
■ p es una condición necesaria y suficien
te para q "

PROPOSICIONES COMPUESTAS Utilizando los conectivos lógicos se pue

de combinar cualquier número finito de
proposiciones para obtener otras cuyos valores veritativos pueden se1* cono­
cidos construyendo sus tablas de verdad en las que se deben Indicar los va­
lores resultantes para todas las combinaciones posibles de valores de las

www.FreeLibros.org
proposiciones componentes.
 -4- Introducción al Análisis Matemático

Por ejemplo, para la proposición [(^p) v q ) ♦ (r ~ p)

p q r o,p (•vp) v q r - P [('»- p) v q ] - (r » p)

V V V F V V V
V V F F V F F
V F » F F V V
V F F F F F V
F V » V V F F
F V F V V F F
F F V V V F F
F F F V V F F

E J E R CI CI O. - Sean p : 8 es un número par ; q : 8 es el producto de

dos números enteros. Traducir en símbolos caca una
de las siguientes proposiciones:
a) 8 es un número par'o es un producto de dos enteros.
b) 8 es impar y es un producto de dos enteros.
c) 8 es un número par y un producto de dos enteros o es un núnero impar
y no un producto de dos números ente-os.

SOLUCION.- a) p v q ; b) { ^p) - q ; c) (p « q) v [(•»- p) - (^q)] .

P R OB LE MA .- Sean p, q, r tres proposiciones tales que p es verdadera,

q es falsa, y r es falsa. Indicar cuáles de las siguientes
proposiciones son verdaderas: a) (p v q) v r ;
b) [(p -q) v ((a-p) ~ •vq)] « [í(a-p) - q) v ((-vq) ~ p)] ;
c) (a-p) v (q - r) ¡ d) (( •vp) v -vq) . ( p « a,r) . | q v r).

SOLUCION.- a) (p v „) v r

* ♦ +

(V v F) v F
+ +
'V v F
i
V (verdadera)

b) Como está formada por doscorchetes unidos por una - , y como el pri­
mero de ellos (a la izquierda) es falso (F) entonces toda la proposi -

www.FreeLibros.org
ciún será falsa (F) , independientemente del valor de la proposiciún que
queda a la derecha.
 Cap.1 Lógica 5-

c) es Falsa, pues f) v (q ~ r) = F v F = F
d) es Falsa, análogo a (b), pues (q v r) resulta falsa.

PROBLEMA.- Simplificar la siguiente proposlcifin:

[V i> / 2 - 1 > 0) + >V« v (l/ V i < 1//1 — -1 < 0)]

SOLUCION.- Analizando el valor de V i > / 2 , vemos que V i » 22^* - 2*^2

■ Jz , y por lo tanto V é > / 2 es FALSA, asi como también te­
nemos que 1/^4 < 1//3 es FALSA, sin embargo Jz > V i es VERDADERA pues
> significa > 0 • . Asi. equivalentemente se tiene que

(F ~ V) - [ V v {F — ► V)]

y si;fln una observación respecto a las CONDICIONALES, basta que el anteceden

te sea FALSO como en este caso, para que toda la condicional sea VERDADERA;
lo cual se puede verificar completando lo demás si se desea.

JERARQUIA DE LOS CONECTIVOS LOGICOS .-

Cuando en una proposición compuesta se tie­
nen varios conectivos ICglcos, las operaciones se realizan luego de colocar
los paréntesis adecuadamente.

PR OBLEMA.- Sean p, q, r. s, n proposiciones léglcas. SI el valor de

verdad de las siguientes proposiciones (a) y (b) es FALSA:
a) [ ~ (p - q) - r ] - (s - r) . b) ( •vp) v q
1 Cuál es el valor de verdad de (r) y (d) ? :
c) [(n ♦ p) . -vr ] •» p , d) s ♦ {p *-*• n)

SOLUCION.- Analizando por partes: que la condicional (a) sea FALSA quie­
re decir que:
Mp ♦ q) ♦ r es V .. (*) y que s~ r es F .. (**) ;
y como |i p) v q es F por (b), entonces p es V y q es F , lue­
go p ♦ q es F . Entonces, de (*) : •»>(p ♦ q) es V , y por lo
tanto r es V . Luego, de (**) : s resulta ser F , ya que 'vr es F.
Asimismo, la condicional (d) resulta también ser VERDADERA pues su ante
cedente s es FALSO .

www.FreeLibros.org
Nétese que aquí no fue necesario conocer el valor verltatlvo de n .
-6- ntroducción al Análisis Matemático

3 TAUTOLOGIA Y CONTRADICCION
A toda proposicién simple o compuesta que es siem­
pre VERDADERA para cualquier combinación de valores de verdad de sus compo
nenies se le llama TAUTOLOGIA, y se le denota por una V .
A toda proposiciSn que toma el valor de FALSA para
todas sus combinaciones, sé le llama CONTRADICCION y se le denota por F .

EJEMPLOS.- La proposicifin [((* p) v q)~ •vq ] ♦ p es una TAUTOLO­

GIA:

p q -cp ( n,p) v q [((•vp) v q) - n,qT •up

V V F F V F V F
V F F V F F V F
F V V F V F V V
F F V V V V V V

IMPLICACION LOGICA Y EQUIVALENCIA LOGICA .-

Se llama IMPLICACION LOGICA (6 simplemente IMPLICA

CION) a toda condicional p -*■ q que sea una TAUTOLOGIA, y en tal caso
a la condicional se le denota por p ==> q . Por ejemplo, tenemos:
[((■'■ p) v q) «■». q ] = > n, p , ya tabla de verdad ya se ha dado.

Se llama EQUIVALENCIA LOGICA (6 simplemente EQUIVA

LENCIA) a toda bicondicional p «-*■ q que sea una TAUTOLOGIA, oenotSn
dose en tal caso, p «=* q . EJEMPLD: p > (p v q) — > p :

P q Pv q P « (p v q) p » (p * q) « p

V V V V V
V F V V V

www.FreeLibros.org
F V V F V
F F F F V
 Cap.1 Lógica -7-

PROPOSICIONES LOGICAMENTE EQUIVALENTES

Dos proposiciones p y q son EQUIVALENTES (6 LO­
GICAMENTE EQUIVALENTES) si sus tablas de verdad son Idénticas. En tal caso,
se denota p = q . Por ejemplo, (p -► q) y ( 'xq) -» ( son E
QUIVALENTES, puesto que sus tablas de verdad son loéntlcas como podemos ver:

p q •tq n,p p — q (n- q) -» ( *xp)

V V F F V V Por lo tanto.
V F V F F F P -► q = ( n.q) — ( ^p)
F V F V V V
F F V V V V
t_____________í
¿dlntÁcai

NOTA Esta equivalencia es muy Importante en lo que respecta a demostra­

ciones de teoremas y resultados, pues es el fundamento del llama­
do METODO DE DEMOSTRACION POR REDUCCION AL ABSURDO 6 METODO POR CONTRADIC­
CION, que es una forma indirecta de demostraclfin, y que Ilustraremos mSs ade­
lante en este capitulo.

4 LEYES DEL ALGEBRA DE PROPOSICIONES

Son equivalencias léglcas que las presentamos a continua -
clén, y cuya demostraclfin es muy fScIl construyendo sus tablas de verdad.

la. P v p s P Ib. P “ P = P
2a. p v q i q V p 2b. P rq = q~ P
3a. (p v q) v r 5 (p v q) v r 3b. (p - q) - r 5 p - (q - r)
4a. p v (q » ir) = Ip * q) * ( p v r). 4b. P - (q v r) = (p ~ q) v (p « r)
5a. p v F = P 5b. P “ F = F
6a. p v V = V 6b. p - V s p
7a. p v (n.p) i V 7b. p » ( x,p) = F
8a. •xx, p E p 8b. xV = F , xF = V
9c. M p v q) = ( xp) ~ (n,q)
- LEYES DE DE MORGAN
9b. M'p » q) = (*xp) v ('xq)

Como es vélidü reemplazar una proposlclfin por su equiva­

lente sin alterar el resultado, estas leyes ayudan a simplificar el problema
que se estS tratando de resolver.

www.FreeLibros.org
Con este fin presentamos a contlnuaclfin una LISTA ADICIO
NAL DE EQUIVALENCIAS LOGICAS muy Gtll:
■8- Introducción al Análisis Matemático

1A. p -- q = ( “'■p) v q , 2A. p -» q = ( %q) -» (-x. p)

3A. p - (p v q) = p , 4A. p v |p « q) = P
5A. p *- q 5 (p - q) - (q - p) .
6A. p q = (p ~ q) v [(‘i p) ~ ( ^q)] .

PR OB LE MA .-
del Algebra Preposicional 6 la LISTA ADICIONAL

a) ' [ ■'■(p ] v q
b) - (r » v r ) ] - tq

SOLUCION.- ' • O (p « q) ♦ 'q ] v q

= C ^ (p - q)) v s q ] v q 1A.
= •v[(p - q) v ^ q ] v q 8a.
= [•v(p ~ q) ~ q)] v q 9a.
= [(■v-p- ^ q ) ~ q ] v q 9b.
= q v [ q - (ip v ^q) 2a, 2b.
= q 4A.

- (r - •vr)] - -vq
[(( ^p) « q ) ♦ F ] « "«.q 7b.
[ ( M ( •vp) - q )) v F j - ' v q 1A.
[(p V s q ) v F ) « s q 9b.
(p V *v q ) * 'u q 5a.
•vq 2b, 3a.

PR OB LE MA Demostrar que la siguiente proposiclfin es una TAUTOLOGIA, u-

tilizando las LEYES 6 la LISTA ADICIONAL:

[(pv ^ q) - q] * p

SOLUCION.- = ^[(p v -vq) - q ] v p 1A.

= [Mp v ■»> q )] v (^q) v p 9b.
= [(^p) - q ] v(**- q) v p 9a.
: [('p l * q ] » (p V ' q ) 2a.
= [(^p) - q ] V( ^ [ ( ^ p ) - q]) 9b.
= V (TAUTOLOGIA) 7a.

NOTA Este método es más práctico que el de las tablas de verdad.

www.FreeLibros.org
PR OB LE MA Determinar si es que las proposiciones (a) y (b) son Equl^
valentes:
 Cap.1 Lógica -9-

a) p - {r v -i- q ) , b) (q -■ x p ) v (( x r) * ( ~ p ) ) .

SOLUCION.- METODO 1 Cabemos verificar que las tablas de verdad de (a)

y (b) son idénticas :

t_________________________ í
idtLni-uuu

METODO 2 .- Simplificando: a) p ♦ (r v xq) = ( xp) v (r v xq) ..(1)

b) (q ♦ sp) y ( s r - xp)
= [( xq ) v (xp)] v [ ( x x r ) v x p ]
= ( xq) v ( x p ) v (r v xp)
= ( xq) v [(x p) v ( x p)) v r
= (x q) v ( x p ) v r = (xp) v (r v xq) ..(2)
y siendo (1) y (2) Iguales, entonces (a) = (b) .

PROBLEMA Hallar el valor verltatlvo de la proposición:

t(p ♦ q) •*-* r ] — [ p «-* (q «-► r)] .. (o)

sabiendo que [(p ■* q) * r ] *- [ p ♦ (q ♦ r)] es FALSO .

SOLUCION.- Del dato se tiene que solo puede ocurrir (a) 6 (b) :
a) (p - q) * r : V y p ♦ (q - r) : F
b) (P ~ q) - r : F y p ~ (q - r) : V
De (a): p - (q ♦ r) : F entonces ( x p) v ( x q ) y r : F- ,
de lo cual: x p , x q , r : F . y por lo tanto, p, q : V y r :
(*>
pero (p ♦ q) ■* r : V ea abiuAjio, pues por (*) (p ■» q) ♦ r : F.
Luego, (a) no se cumple, de modo que solamente se cumple (b), del cual:
p - * q : V y r : F , d e donde puede ocurrir que:

www.FreeLibros.org
bl) p, q : V , r : F entonces p ■* (q ■» r) : F (abauAdo)
 10 - Introducción al Análisis Matemático

b2) p, q : F , r : F entonces p * (q -* r) : V
b3) p : F , q : V , r : F entonces p * (q -* r) : V
asi vemos que para b2 y b3 la proposicifin (a) resulta VERDADERA.

NOTA.- MSs aGn, se puede comprobar que (a) es una TAUTOLOGIA, mediante la
tabla de verdad.

SERIE i)E EJERCICIOS PROPUESTOS

1. Demostrar las Leyes del Algebra de Proposiciones.

2. Demostrar las proposiciones de la LISTA ADICIONAL.
3. Demostrar que las siguientes Condicionales son IMPI ICACIONES LOGICAS:

a) P = > P
b) [(p - q) - (q - r ) ] =^> (p - r) (TRANSITIVIDAD)
c) ■vp = » (p ♦ q)
d) [(p - q) - ■‘•q ] ==*• ^ p ; 9) (p - q) = > (p v q)
e) P ==* (p v q) h) (p - q) ==» ( p ♦♦ q)
f) (p - q) ==* p D (p --*■ q) =•■ ( p ♦ q)
4. Demostrar que son EQUIVALENCIAS LOGICAS las bicondicionales siguientes:
a) (p - q) <=» (■vp) V q
b) (p --•* q) (p + q) - (q - p)
c) (p - q) v p « = ==> P ; d) (pvq). p «=> p
e) M p ♦ q) • [ p - ^ q ]

Demostrar que: a) %(p + q) = p - ( -vq)

b) F-»p = V; p -*• F E'vp ; p -»■ V = V
c) (p + q) = [(p v q) ♦ + q )
d) (p * q) = [(p ~ q) ♦ + q ]

6. Dadas las proposiciones I) M p ~ q) * ♦ [ p v vq )

II) -x-(p + q) ♦ + [ p v xq ]
III) M p ♦ ♦ q) *-* {''•P ‘‘• q ) •
indicar cuSl (es) es (son) una CONTRADICCION (F) .

7. ¿La proposiciCn 'víp -► q) - (q ♦ ■»>r ) es equivalente a cuSl (es)

de las siguientes proposiciones 7 :
a) p - (p v x r l - l x q ) b) p - ( 'xq) - [> (q - r)]
c) (p - ■vq) v [(p - i r) - 'xq ] .

www.FreeLibros.org
8. i Alguna de las siguientes proposiciones es una Tautología 7 :
 Cap.1 Lógica - 11 -

a) *x (p v q)) ■* "x q ] -- (p ♦ q)
b) x,[(x,p) — ► q ] *— (p ■*-*• q)
c) x, í(p ~ q) v [ p - ( x,p v q ) ] > *-* (p + x,q )

9. Simplificar: [(x, p) « q ♦ (r » ■»>r )] •» (x-q) .

10. Simplificar: [( x.q ♦ x,p ) ♦ (x.p ♦ x, q )] * x, (p ~ q)
11. ¿De las siguientes proposiciones cuSles son Equivalentes entre sf ? :
a) Es necesario que Juan no estudie en la UNI para que Luis viva en el
Rfmac.
b) No es cierto que Luis viva en el Rfmac y que Juan estudie en la UNI.
c) Luis no vive en el Rfmac y Juan no estudia en la UNI.

12. ¿CuSles de las siguientes proposiciones son Tautologías? :

a) [(p v xq) - q ] -» p ; b) [(p - q) v q ] * + q

c) [(•xp) - (q v -x r )] ♦+ [ ( q *» "x p) v x,(p V r)]

13. De la falsedad de (p "xq) v ( -xr s) , deducir el valor de

verdad de :
a) [ xp - -xq ] v (x, q)
b) [( x. r v q) » q ] ** [( x-q v r) - s ]
c) (p + r) + [(p v q) - x-q ]

14. Si se sabe que (p - q) y (q * t ) son Falsas, ¿cuSles de las s±

gulentes proposiciones son Verdaderas ? :

a) (x-pvt)vs ; b) x,[p..(x,qvx,p)]
c) [(x-p) v (q - x.t)] ♦+ [(p + q) « -v (q - t)]

15. ¿CuSl (es) de las siguientes proposiciones es equivalente a : * Ea nece

tatúo pagan I/. 5 D00 y ten mít joven pana ¿ngnetan a l baile. * ? .
a) No Ingresar al baile o pagar I/. 5 000 , y ser mSs joven.
b) Pagar I/. 5 000 o ser mSs joven , y no ingresar al baile.
c) Pagar I/. 5 000 y ser mSs joven o no Ingresar al baile.

16. SI la proposlcifin: (q «■ x, p) ■* [(p « r) v t ] es Falsa, hallar el

valor de verdad de:
a) x [(xp v x, q) -»■ (r v x,t)]
b) ('xq - x r) v [(x. t) - (p v q)]
c) (x-p - t ) + (x-q + r)

17. Demostrar que las tres proposiciones siguientes son Equivalentes :

www.FreeLibros.org
a) x, [(q v x, p ) v ( q - [ r v x , p ] ) ]
 12 - Lóqica

b) (p - -x-q) » ( [ t q ] v (p v % r) )
c) 'x-t('x-q) - ('x-p)] - [ q - ^(p - r)]

Id.- La proposlclfin (p v q) ♦-* (r ~ s) es verdadera. Teniendo r y s va

lores de verdad opuestos, ¿ cujíes son verdaderas? :
a) [('x-p « *x-q) v (r * s)] ~ p es Verdadera.
b) [ M p v q) * (r v s)J v (*vp - q) es Falsa.
c) [(•'•r ~ *x.s) < ( p v r)] « *x-(r ~ s) es Verdadera.

19. ¿CuSles son EQUIVALENCIAS LOGICAS ? :

a) 'x.(q -► *x.p) « (qvp)
b) [ ( 'X'P - 'x- q) v 'x.q ] ♦♦ -x. [(p v q) a q J
c) -x.(p * q) *-* [ ( p v q ) * ^q ]

20. SI p i q se define por (*x.p ~ *x/q) , entonces *x-(p *-► q) ¿a

cuSl es equivalente 7 :
a) [(-x-p) + q ] v (q + p) , b)[('»' p) + q ] v [(-x. q) + p ]
c) [(•'■p) + (~ q)D v (p + q)

21. ¿CuSles de las siguientes proposiciones:

a) 'x.(p - «x-q - >x.r) b) (p *■ '»<q) v r
c) (r v q) ~ *x.( -x.r ~ q) , d) ( ■x.p) v q v r
son equivalentes a: (p ■* «Ü ■* r 7 .

22. SI p 1 q significa * ni p y ni q ’ , ¿cuáles de lassiguientes

proposiciones son TAUTOLOGIA!" 7 :

a) {p + q) + (q + p) *-»■ (p - q) . b) M p - q) ** (p + q)
c) (p + q) * * ^(p v q) .

23. ¿Cuántas F y cuSntas V tiene el resultado de la tabla de verdad de

'x-[{p - q) ■* *x.r ] (s v *x.s) después de simplificarla 7 .

24. Dada la proposiclfin

z : [(p-*q) - * ( p v ( q » r))] ♦ l q - (pvr)] ,

a) Indicar valores de p y r tales que si q es F entonces z es F .

b) Indicar valores de p y r tales que si q es V entonces z es V .

25. Escribir la negaclfin de cada una de las proposiciones siguientes:

a) El no es rico, pero es feliz.
b) El no es pobre ni es feliz.
c) El es bajo pero ágil.

www.FreeLibros.org
d) NI Juan ni Callos viajarán a Huaraz a fin de mes.
 Cap.1 Lógica -13-

e) El tiene un compís o una regla.

f) Ambos equipos Alianza y la U IrSn a la Copa Libertadores.
g) Si Juan llega a tiempo con los documentos, entonces ambos Carlos y
Pedro podrSn inscribirse en la Universidad.

26. Si p, q, r, s, t, w son proposiciones tales que

a) (p . ^ r ) ♦+ (s ■* w) es verdadera,
b) ( ^ w ■* i.s) es falsa
hallar el valor de verdad de las siguientes proposiciones:
c) (p - q) v r v s d) (s -*-» '‘■w) ■* (r v ■'•p)
e) [ t ■* (w v o. p)] - <l (p ■* r)

RPTA: w : F , s:V, r : V , p : F , d e donde (c) y (d)

son verdaderas, mientras que (e) es falsa.

27. Expresar la siguiente proposici6n compuesta de otra forma, utilizando

Gnicamente los símbolos ^ y * : (p«q) v (rvs) .
RPTA: (p ■* -tq) •* [{ -tr) ■* s ] .

28. Simplificar la expresifin:

V e > /z - -8<o - Jz >Ve v [ i/ V e < y / i +- 8 > o ] .

29. S'n usar tablas de verdad determinar si las siguientes proposiciones

son lógicamente equivalentes entre si :

tí*»-*) * (^w)] v [ t + ('sw)] y w -► [(-s. t) v s ].

1.5 RAZONAMIENTO LOGICO. ARGUMENTOS VALIDOS

Un ARGUMENTO LOGICO (6 simplemente un ARGUMEN
TO) es una condicional de la forma:
ÍPj « P2 - ... - pk) - q (*)

donde las proposiciones Pj, p2 ....... p^ son llamadas PREMISAS, y

originan como consecuencia otra proposiciSn q llamada CONCLUSION.

A) El Argumento (*) recibe el nombre de ARGUMENTO VALIDO si dicha condi­

cional es una TAUTOLOGIA. Es decir, si

(Pj A ^ ~ Pk) ~ 9

B) Si el Argumento (*) es FALSO, entonces se tiene la llamada FALACIA.

www.FreeLibros.org
T E OR EM A .- SI el Argumento (*) es VALIDO, y las premisas pj, p¿. ... ,
Pk , son verdaderas entonces la CONCLUSION q es correcta (V).
 14- Introducción al Análisis Matemático

PRUEBA.- Siendo el argumento válido entonces la condicional (*) es una

TAUTOLOGIA (V), en la que (p2 - p2 - ... *■ p^) es verdade
ra (V), pues cada p^ lo es, de donde la única posibilidad para q es que
sea verdadera (pues si fuese FALSA, la condicional (*) serta falsa y el ar
guinento (*) no serta VALIDO).

OBSERVACION Un argumento no se modifica si es que una o varias de las

proposiciones p^, p2, ... • p^ , q se reemplaza por
otra u otras que sean EQUIVALENTES.

NOTACION Un argumento Pj ^ P2 ^ ^ ♦ q también se de

nota en la forma:
Pl
f>2

f>k

PROBLEMA.- Demostrar que el siguiente argumento es VALIDO : p

p - q

q
SOLUCION.- Por definición, se debe demostrar que la condicional
[ p A (p ■* q)] ♦ q es siempre verdadera (V) :
i 'i[p~(p-»q)]vq = *'*CP * I ,'P v q)] v q
5 '[(p»'p)v(p'q)]vq = '»-[ f V (p - q)] v q
= >i[p~q]vq = ( <up v -W)) v q
= (^p) v ( i.q v q) = -vp v V 5 V (TAUTOLOGIA).

EJEMPLO.- En un Ejercicio propuesto se presento la propiedad TRANSITIVA:

(p ■* q) “ (q ■* r) ==» (p ♦ r) . Por lo tanto, el sigui­
ente argumento es VALIDO : p ♦ q
q ♦ r
P * r

PR OBLEMA.- Para cada conjunto dado de premisas, encontrar una CONCLUSION

www.FreeLibros.org
adecuada de manera que el argumento sea VALIDO :
a) p -» *uq , r ♦ q ; b) p ♦ M) , r♦ p , q .
 Cap.1 Lógica -15-

SOLUCION.- De las implicaciones conocidas vemos que en :

a) Si r ■* q la reemplazamos por su equivalente (•'.q ■* ^ r) entonces
se obtiene que. por la propiedad TRANSITIVA :
(p ♦ ^q) - ('‘.q ♦ n, r) = > (p ■* ^r) .
b) Análogamente, por corarjtatividad se tiene que:
= [(r -» p) ~ (p •» n. q)] - q = » (r ■» ^ q ) - q
= q ~ (q -» ^ r) = > ^r , por el problema anterior.
En resumen, se han hallado las siguientes conclusiones correctas para:
a) p ■* n. r , b) •vr .

METODOS DE DEMOSTRACION
Cuándo se demuestra que un argumento en la
forma pt - p2 - ... ~ pk ■* q .. (I)

es una TAUTOLOGIA, se dice que se ha empleado un METODO DIRECTO DE DEMOSTRA­

CION.
SI ahora consideramos la negad6n de la conclusién q y de afgana de las
premisas Pj , p2 , . . . pk , digamos de p^ , y se forma el argumento

[ÍP j - P2 - ••• - Pk_! ) - ( ^ q )] * ^ pk .. (II)

veremos que este Gltlmo argumento (II) es equivalente a (I) :

( I I ) = ^ [(p j - p2 ~ . . . - pk_ j ) - ^ q ] v (~ pk)

= 0(P! - P2 - ... - Pk_j ) v ~(~q)3 v ( ^ P k)

= -^(pj - ... - pk_j) v (~ p k) v q 5 M P j - ... ~ Pk_j * Pk) v q

— (Pj ^ ... a Pk) ■* q •• (I)

DEFINICION,- Cuando i e deiea demoitoaa ta vatidjr di (I) mando iu ¿onma

equivalente (II) se dice que ie e i t i empleando t í METODO
INDIRECTO 6 METODO POR REDUCCION AL ABSURDO. Note, qut eite
mltodo c o m iite en coniídenaa aliona como ana paemiia a la negacíSn de ta con
ctm iSn, t i decía a (n, q) y se tóate de én¿ea¿a (viudamente) ta nega-
c iín de alguna de ta i paemiiai [en e t caso anteaioa, ie tn a tí de ¿n¿ea¿a:
^ Pk ) coniideaando ta i demSi p/top oiieionti veadadtnai.

PROBLEMA.- Verifique la validez de ]os siguientes argumentos. Usar prime­

ro un método directo y luego un método indirecto.

www.FreeLibros.org
 16- ntroducción al Análisis Matemático

a) p * q b) q ■* p
r -» *x<q q v s

P
SOLUCION.- METODO DIRECTO :

a) (p * q) - (r ■» •»- q) ♦ (p -► 'x-r)
= (p ■*q) - (q ■* *x. r) ■* (p ♦ •x. r) = V ,por la propiedad
TRANSITIVA.

b) (q ♦ p) - (q v s) - ('x-s) * p = ( '‘-q v p) - (q- <x.s) - p

= (p - q - ^ s) -► p = i(i, . (i. s) » Di v p
= i(q . i s ) » l'vp) » p =*x«(q »> *x< s) V V = V

METODO INDIRECTO . #j Demostraremos la validez de: p ■* q

*X/(p ■* *x-r)

M r ■* *x-q)

s (p ♦ q) *. •»• (p ■* r) ■* '( r ■» 'q)

= '»< (p ■* q) v (p ■* •x.r) v*x. (r ■* •»« q)
= -x- [(p * q) ~ (r + <x.q)] v (p -► <x.r)
= -x- [(p -► q) - (q * *x<r)] v (p * *x«r)
= (p ■* q) ~ (q ■* *x<r) "-» (p -» *x. r) = V (TAUTOLOGIA)

b) Demostraremos que la siguiente condicional es una TautologTa:

C(q * p) - (~ p) - s)] - "x*(q v s)
= [(*X/q v p) - (>x, p) ~ ( <x,s)] -► *x. (q v s)
= [[(-x-q - -x. p) v (p - *p)] - (-X.S)] * <x. (q v s)
= [[('X' q-'X'p) v F] - 'x-s ] ■* “x- (q v s)
5 (>x,q)^('x.p)^('x-s)+''<(qvs) = x(q*pvs)-* x(qvs)
= q v p v s v 'x-lq v s) = p v [(q v s) v ^(q v s)] = p v V = V.

P R OB LE MA DE APLICACION.- Sea n un entero positivo. Demostrar que:

si nz es par, entonces n es par .

SOLUCION.- Sean p : n2 es par, q : n es par . Sedesea demos

trar que: p ==» q , pero en forma Indirectapor REDUC­
CION AL ABSURDO, es decir, demostraremos que: (*x< q) = > ('x-p) , para lo
cual, aMutUmoi como PREMISA a ta. NEGACION de q :

www.FreeLibros.org
(*x-q) : n es impar
 Cap.1 Lógica -17

entonces n - 2k + 1 para algún entero k > 0 . y por lo tanto :

n2 - 4k2 + 4k ♦ 1 - Z(2k2 ♦ 2k) ♦ 1 - 2 kj + 1 .

donde k| > 2k2 ♦ 2k es un entero . lo que Indica que n2 es IMPAR .

Asi, hemos llegado a Inferir la NEGACION de p :

^ p n2 es Impar , con lo cual el problema queda resuelto.

PR OBLEMA DE A P LI CA CI ON Demostrar que no existe ningún número racio­

nal q ■ — , m , n enteros primos en

n
tre si (es decir, que no tienen factores enteros comunes, excepto el 1) ,
tal que: q2 ■ 2 . (0 equivalentemente, que Jz no e¿ AatUonat).

SOLUCION Supongamos que (lo contrario) la negad fin de la tesis se

cumple, es decir, que q2 ■ 2 , para algún racional q

, con m , n enteros primos entre si . Entonces ,

(m/n'2 ■ 2 = » (*) m2 « 2n2 = » m2 es par

m también es par (por el problema anterior) • 2Lj , pa
ra algún entero kj = * en (*): 4k2 « 2n2
n2 es par *»* n es par (por el problema anterior)
n - 2kz , para algún k2 entero ; resultando asi que
m y n tienen al número 2 cono factor común, coit£tad¿c¿endo (negando) la
hlpfitesls acerca de m y n de no tener factores co.,tunes distintos de 1 .

SERIE DE EJERCICIOS PROPUESTOS

1. Verifique la validez de los siguientes Argumentos:
a) p- q b) p « (p v q) d) r + t-q
^p ■* q (p v q) ♦ r p + q
r -► s ♦ s
s p - s

c) (p - q) * (r ~ s) d) P
(ig) v (m ) ('u p v ^ s ) ■» C( *'-p) (^r)J
(^ p) v (t- q) s
SUG: Algunos se prueban mejor por el mfitodo Indirecto.

www.FreeLibros.org
2. Sea n un número entero. Demostrar que si n2 es múltiplo de 3 , en­
tonces n también es múltiplo de 3 .
 -18- Introducción al Análisis Matemático

SUG: n no múltiplo de 3 equivale a que n ■ 3k+l 6 n • 3k + 2, para

k entero, y en ambos casos resulta que n2 no es múltiplo de 3 .

3. Sea n un entero,demostrar que si n es múltiplo de 5 entonces n es

múltiplo de 5 .

4. Sea n un entero,demostrar que si n es múltiplo de 6 entonces n es

múltiplo de 6 .
SUG: m es múltiplo de 6 si y solo si m es múltiplo de 2 y múltiplo
de 3 a la vez.

5. Sea n un entero, demostrar que si n3 es múltiplo de 2 entonces n es

múltiplo de 2 .

6. Demostrar que no existe ningún número racional q tal que q2 ■ 3 .

7. Derostrar que no existe ningún número racional q tal que q3 • 2 .

CLAVE DE RESPUESTAS (SERIE DE LA PAG. 10 )

6. III , 7. Todas , , 8. Solamente (c) , 9. 'tq ,

10. -tq . 11.Solo (a) y (b) , 12. Todos ,13. a) F. b) F ,
13. c) V , 14. Todas . 15.Solo (c) , 16. a) F, b) V, c) V ,
18. Solo (c) , 19. Solo (b) y (c) , 20. Solo (b) , 21. Solo (b),
22. Solo (a) y (c) , 23. IV y 7F , 24. a) p , r :V , b) p, r: V
25. a) El es rico o no es feliz.
b) El es pobre o es feliz.
c) El no es bajo o no es Sgll.
d) Al menos uno Juan o Carlos viajarán a Pitra a fin de mes.
e) El no tiene ni un compás ni una regla.
f) Al menos uno de los equipos Alianza o la Uno Irá ala Copa Liber­
tadores.
g) Juan no llegará a tiempo con los documentos y en tal caso, al menos
uno Carlos o Pedro no podrá Inscribirse en la Universidad.
28. V , 29. ST son Lúglcamente Equivalentes.

www.FreeLibros.org