Professional Documents
Culture Documents
UNIDADII
ELEMENTOS DE LOGICA
. MA TEMA TICA . .
_.a ~
'Introduccl6n
55
Objetivos generales
.,1
,.
. Al término de esta unidad, el alumno:
56
"""'- --
Diagrama temático estructural
Oración gramatic.al
Y sus partes Proposición
Leyes de DeMorgan
Cuantiflcadores
Negación de proposición
con cuantificadores
Equivalencia lógica
Implicación
Conversa
Doble Implicación
Silogismo Reglas de
inferencia
Demostración a dos
columnas.
57
Glosario
.. - l'
. Razonaml~mto Inductlvo. Es ~I proceso de encontrar un principio genera1
. basándose en la presentación de hechos o casos especificos. '
~
M6dul~ &
. OBJETIVOS ESPECIFiCaS
ESQUEMA RESUMEN
Método~ de la lógica:
. - Inductivo.
- Deductivo.
-:- AnaI6gico.'
- Proposiciones simples.
- Valor de verdad. .
- Proposiciones abiertas.
- Conjunto de verdad.
- Gráficas de proposiciones.
59
Induccl6n y deduccl6n
t ,
Proposicionessimplesy abiertas. . .
m
/
i'.
Gr6tlca de propollclone. ,-
81
o no' es, elemento de cierto conjunto, y representar esto por medio de un
diagrama de Venn. Es decir, podemos emplear el lenguaje de conjuntos
tonto simbólico como grófico visto en lo Unidad I poro nuestros proposi-
ciones en el lenguaje ordinOrio. . .
62
-- - - - '...
PROBLEMAS PARA AUTOEVALUACION H-5
.. . . '-i ~
63
M6dulo 6
.
'
OBJETIVOS ESPECIFICOS
ESQUEMA RESUMEN' .
ProposIciones-compuestas. .
Conectivos lógicos:
- Conju~ción.
- Valor de verdad o conjunto de verdad.
- Representación gráfico mediante diagrómas de Venn.
- Disyunción inclusivo:
- Disyunción-exclusiva.
- Valor de verdad o conjunto de verdad.
- Re'presentacióngráfica mediante diagramas de Venn.
64
~
1/ . .'
""
I ,.,
..
Las proposiciones simples, y abiertas son los elementos básicos en el ma1-
nejo de nuestro lenguaje, y partiendo de 'ellas .pueden "cc;mstruirseotras r
cada vez más complejas, asociándolas mediante conectivos que llamare-
mos eonectlvós lógicos. Estos conectivos son: "y", "o", "si . . . entonces".
Usaremos también la partícula ".no" aunque hablando eón propiedQd no
es un conectivo ya que sólo afecta a una proposición. A las proposiciones
así asociadas las. llamaremos Proposiciones Compuestas y su valor de
verdad o su conJunto de verdad dependerá de los valores de verdad o
,conluntos de verdad de .las proposicionea componentes. .
Conlunción '
65
vez mayores que 5. El conjunto solución o de verdad se 'podría escribir
como: ¡ .
. {x e:'N Ix> 5 Y x ~s par}. Este conjunto c~)rrespondea la intersec-
ci6n 'del conjunto A = fx e: N Ix> 5} con el con;unto B = {x e: N I x es
par}. '
N A B
En estos casos es partic~larmente útil la'
gráfica con los diagramas de Venn. donde N
es el, conjunto universal o de reemplazamiento
y la ',solución de la proposición coniuntiva que-
da graficada p~r la intersección de A y B.
Disyunción,
. ,
66
II
, Eiemplob): "Yo estudio preparatoria o tengo más de 10 años". Verda-
dera; .ambas proposiciones son verdaderas., - '
Eiemplo e): "Monterret estó en FranciQ o estó en Brasil". Falsa: am-
bas proposiciones son falsas. . ~
N D E
Elemplo: "x> 5 o x es un número
par: 'XE: N". Esta disyunción es verda-'
dera poro elementos de N que cumplan
una cualquiera de las dos afirmaciooes,
es decir que dichos elementos perte-
necen ,al conjunto solución de x> 5 0\
pertenecen al coniunto ,solución de x
es por, o pertenecen a ambos. Puede
D u El: observarse por lo antes dicho que lo
Gráficade la Disyunción solución corresponde Q la unión de un
conjunto D = {x E: N Ix> 5} con un
=
, ,
Respuestas:
1,. Ve~dadera; aunque la primera proposiQión,es falsa la segunda es '
ver~adera.
N
Las proposiciones pomp'uestas que hemos analizado son las mós ele-
mentales ya que los formamos al conectar dos proposiciones simples o
dos proposiciones abiertas, pero en muchas ocasiones conectamos pro-
posiciones simples con proposiciones compuestas o aún mós"conectamos
dos proposiciones compuestas haciendo que la proposición resÜltante sea
coda vezmós, compleja y por lo mismo más difícilpara determinar su valor
de verdad'o su conjunto de verdad, pero siempre será posible determinarlo
si procedemos' metódicamente como en los ejemplos que siguen: '
67
¡;¡:f' a~.----
En este caso tenemos tres proposiciones ~imples en conluncl6n que
podemos simbolizar usando letras minúsculas: '
p: El 7 es número natural
q:. El 7 es número primo
r: El 7 es número i~par
(p y q)' y r
El valor de verdad es verda~ero, porque siendo p verdqdera y q tam-
bién, su\coniunción es verdadera; como r es verdadera la conjunción de la '
Eiemplo b)
Considerando U-' '{1, 2, 3, 4, 5, 6, 7, 8, 9, 10} co~o universo de la va-
riable ¿cuál' será~el conjunto de verdad de "x es un múltiplo de 2 menor
que 9 o es un número divisible entre 3 mayor que 5"7
Primero necesitamos saber' cuántas proposiciones diferentes de (as
llamadas básicas tenemos y vamos a simbolizarlas.
a: '''x es múltiplo de. 2" c) "x es 'divisible entre 3"
b: "x -<,9" d) "x > 5" . /
=
B {1, 2, 3, 4, 5, 6, 7, a}
e = {3, 6, 9l
D = {6, 7, 8, 9, 10}
Ahora simbolizaremos las relaciones entre las proposiciones; a, b 'for-
man una conjunción aunque podemos observar 'que no se mencionó el
conectivo "y" Este se encuentra rmplícitoal decir que'''x es múltiplode 2
menor que 9" (a y b) , .
. e, d también están en conjunción (c y d)
y las dos, eonrunciones forman una disyunción
(a y b) o (c y d)
'- Po~lo que el conjunto de verdad de esta compleja proposición será:
a y b; A nB {2,4,6,8}
c y d; C nD C D {5,'9}
6 7
CID 3
9 '10
'(a y b) o (c y d); (A n B) U (C n D)
8
68
-- -- -
i
89
-~ ~ -~-
M6dulo '7
OBJETIVOS ESPECIFICOS
ESQUEMA RESUMEN
Negación de proposiciones:
- Negación de una proposición abierta.
~ Conjunto de verdad.' ,
- Representacióngráfica mediante diagramas de Venn.
- Negaciónde,proposiciones
compuestas. .
- Negación qe una conjunción.
- Conjuntode verdad. . .
- Representación gráfica mediante diagramas de Venn.
- Negación de una disyunción.
- Conjunto'de verdad.'
- Representación gráfica mediante'diagramas de Venn.
- Leyes de DeMorgan.
. Cuantificadores lógicos:
70
Negación'
,Un error muy común es el, de considerar que la negaciQn .de una pro-
posición es otra pfo~osición, que afirma al'go Conjuntos de todos los días ~
dera que hoy pOdría ser uno cualquiera de los otros días de fa- semana.
.
Se sqmbrea la negación.' - .
El error antes mencionado es más frecu~nte cu~ndo la proposición es
71
~ ...'- - - ..; -
abierto. Por ejemplo, Jo. negación de
"x > 5; x E: N" sería x ::t>5; x e: N" o
también ",es falso que x :> 5; x e: N",
pero' muchos escriben o interpretan lo
negaCióncomo "x < 5; x e: N".Los dia-
gramos de Venn nos proporcionan un
método más sencillo de acertar en la
. solución. Usando el ejemplo anterior'
.tendremos el diagrama que se muestro '~
N A B
72
Gráfica
conjunción
de
EE
,;¡,,---~--
..
. /
. Gráfica de la
negación de la . (A n B)'
conjunción" .
. . .'-'- /
l' ---/...,
A' X < 10 B'
73
~ ~2
Conjuntos
de todos
-74IKEI:-
los días (A U B)'
I ..
Con.siderando la negación de o y de b los coniuntos solución serian A'
y B' respectivamente. La combinación que me dará la misma área som-.
breada que tenía, será el área cuadriculada que corresponde a la Intersec-
ción de A' y-8', por lo tanto la soluci6n es: no o y no b: "Hoy no es 'iueves
. .Yno es un día nubladO". (A U B)' = A' n B'... . I
~ ,. A'
nB'.
- :.........
Después de acertar en el problema anterior puede entender perfecta-
mente las Leyes de De Morgan que nos dicen:
¡ .
a
a) -ab. = c y b =1=O. Negación: -b =1= c o b =O
Cuantificado res
H.emos considerado un tipo de proposiciones simples en las que se men-
ciona la cantidad de suietos que intervienen, como por ejemplo "Todos los
múltiplos de 6 son números pares", al decir todos estamos cuantificando,
es decir, hablamos de cantidad de múltiplos en este ejemplo. Para grafi-
car una proposición de este tipo usamos el lenguaje de conjuntos diciendo.
. que el conjunto de sujetos es 'un subc()niunto del conjunto que formo el
predicado. Ejemplo: "El conjunto de todos los múltiplos de 6 es un subcon-
lunto del conjunto de los números pares".
Diagrama de
universal af"mnativo
75
el lenguaje de' Qonjuntos. quedaría como "El conjunto de todos los múl-
tiplos de 6 es disiunto del conjunto de números pares".
La gráfica se muestra en seguida para que
compruebe su resultado.. ..
Por lo anterior podemos decir 'que "n'ingu-
.no" es equivalente a: "todos.. .no. . .".
88
"Por lo menos un nÚmero entero es racional". Esto
. '. es una propos.iciónparticular afirmativa y modifi-
Enteros RaclOno/es cándola al lenguaje de conjuntos sería, "el conjun-
, to de números enteros no es disiunto del conjunto
. . . de números racionales" y su diagrama está a lo iz-
DUIglama deuniversalnegativa quierda. Lo negació'nsería decir que es disjunto,
y en el lenguaje común es "NingÚn número entero es racional" cuyo dia-.
grama se dibuja en la página anterior y que correspon.de al universal ne-
- gativo. ' \ ,
76
los cuantificaqores universal o particular, pues son proposiciones 'simples.'
¿Podría escribir unas regios para la negación de las proposiciones con
cuantificadores? . . .
!'
77
, PROBLEMAS DE AUTOEVALUACION 11'-7
3. 6 < 8
4. No es verdad que 3 < 5
5. x es un múltiple.de 3; x e: N
6. Hoyes sóbado; hoyes un día de la semana.
En los problemasdel 7 al 10,dibuje los diagramas de Venn y sombree
el conjunto solución para la negación.Aplique las leyes de DeMorgan para
escribir dich~ negación. '
, ,,-
de
5 ) ,
para que la proposición sea verdadera.
Ejemplo: 1) Es falso que 45 no sea~m(jl-
. tiplo de 3 o no sea n;túltiplo de 5. Usando
Leyes de DeMorgon lo proposición quedo: 45 esmúltiplo de 3 y es múl-
tiplo de 5. ','
-. - -- - -- 8'
M6dulo 8 -
OBJETIVOS ESPECIFICOS
, ,
ESQUEMA RESUMEN
Implicácl6n.
, ,
Equivalencia lógica,"
Proposiciones equivalentes.
Valor de verdad.,
Representación gráfica.
79
'Vqriantes de la implicación.
Proposición conversa.
Conjunto de verdad.
Doble implicación. , ,
Conjunto de verdad.
Contrapositiva de una proposición.
.' Representación gráfica y valor de verdad.
Silqgismo.
Demostraciones a problemas.
i,
80
-- MI
- - -- . -- 11: "
{
Implicación. Equivalencia \Iógica
si p entonces q.
. ,¡ ,
P'=> q.(La ,forma simbólica que se lee como "si p entonces q"),
.
P 's610 si q..
p implica q.
q si 'p. (Esta forma es frecLiente y debemos observar que la
hipótesis y la conclusión aparecen en orden invertic;to.razón
de .frecuentes errores)..,'
81
res; sabemos que ese tipo de proposiciones son simples y se les puede
asignar un valor de verdad de inmediato, lo que nos sugiere la idea de
considerar a las implicaciones como otra forma especia1 de las proposi-
ciones simples, sÓlo que su hipótesis y su conclusión pueden ser propo-
siciones abiertas. Atialicemo~ otro ejemplo: "Si x es múltiplo de 2, enton-
ces es un Qúmero par; x e: N"; .en el lenguaje de conjul1tos quedaría como
"x es elemento del conjunto 'de múltiplos de 2, y x es elemento del con-
\ junto de números pares"; esto, como se púede observar, es ,una conjun-
ción,. por lo que x pertenece a ambos conjuntos, lo que significa, que el
conjunto de todos los múltiplos de 2 es un subconiunto del conjunto de
números pares; "es decir que "si al pertenecer al primer conjunto entonces
,pertenece al segundo", el primer, conjunto debe necesariamente estar
contenido en el segundo, y como ya vimos antes, decir" A es un subcon-
junto de B" es una proposición simpl\ y su valor de verdad se puede ex- '
presar de inmediato. ,
, Eiemplos:
'a) "S'i x < 6, entonces x < 10, x e: conjun'to de números enteros';. Para
determinar su valor de verdad recurrimos al lenguaje de conjuntos ,y
sus ,diagramas. La proposición equivalente seria "El conjun.t~ de nú-
, meros enteros menores que 6 <8Ssubconlunto del conjunto de núme-
ros enteros menores que 1'0". U = Conjunto de núm~ros enteros.
A
B
= {1,2;3,4,5}
= {1,2,3,4,5,E?, 7,8,9}
A~B
82'
I
Enteros
t
Todas ms FtgUrQS geométricas
Gráfica de la implicación 83
, A B ( d) "Si x és un elemento de' A n S, entonces' -
x es un elemento de S". Esta propoSición
ya e$tó en el lenguaje de conjuntos, y en
(]) x
'~
A nB
...
.
el diagrama. de Venn se, muestra que el
conjunto A n S es un subconjunto del con-
junto S, luego la implicación es verdadera.
-Variantes de la implicación
La Implicación da lugar al mayor problema en la búsqueda de la verdad,
ho solamente por el hecho de que existen tantas y tan diferentes formos
de enunciar una implicación,' pues aun usando' el conectivo lóg:ico ".'si
. . . entonces. . .", pequeños cambios en las proposiciones o en el orden
en que se dicen, cambian el valor de verdad de la implicación. ,
84
, I
múltiplo de 8, entonces es número par".' "Si un
, número entero es-par, entonces es múltiplode 8".
Considerando el diagrama de Venn para la
implicación dada,' podemos apreciar que es ver-
dadera, ya que el conjunto de múltiplos de 8 es sub-
conjunto del de números pares, pero no sucede lo
mismo con las proposiciones invertidas; por lo que
la conversa es falsa. Contra-ejemplo: el 4 es par
pero np es múltiplo de 8. Por lo anterior podemos
. concluir lo siguiente: "Aun cuando una implicación
sea verdadera su conversa puede no serio". En
otras palabras, de la verdad de una implicación no se puede concluir la
. verdad de .10conversa de.Ja implicación. Sin embargo, puede darse el caso
de que la, conversa también sea verdaderCJ. Ejemplo. "Si todos los 6ngu-
los de un triángu10 son iguales, entonces el triángulo es equilátero"; su pro-
posición c'onversa "Si ,un triángulo es equilátero, entonces todos sus án-
gulos son iguales" Ambas proposiciones son verdaderas, es decir, el con--
junto de triángulos con sus ónglJlos iguales es subconjunto del de trión-
gulos equiláteros, y viceversa; por lo tanto, se trata de conjuntos iguales, -
y se dice qu.e las proposiciones representan esencialmenté lo mismo. Es-
tas proposiciones cuyo coniunto de verdad o val.or de verdad es el mismo,
ya vimos que son proposiciones equivalentes; cu"ando se trata de una im-
plicación y su conversa se pueden combinar en una proposición más
. compleja usando el conectivo "y", con lo que se forma una doble impli-
cación, cuyo 'símbolo es ,la flecha con. doble punta. Ejemplo: . .
"Si 7 -.
quedaría: "(7
2'
2 -= =
5, entonces 5 + 2 = 7". Simbolizada esta implicación
=
5) ::::::) (5 + 2
"(5 + 2 = 7) ::::::) (7 ~ 2 =
7)". Loaproposición conversa sería
5)". Con nuestros conocimientos de esos nú-
meros pOdemos comprobar que ambas proposiciones son Verdaderas y
=
combinadas en una doble implicación quedan, "(7 - 2 5) <=:)(5 + 2 =7)"
que se lee "7 - 2 = 5 si y sólo si 5 + 2 = 7". Siendo su conjunto
de verdad ,el mismo, ambas son verdaderas o ambas son falsas, demos-
trando una, se demuestra también a '10 otra. Veamos otro ejemplo.' -
"Si un tnáng~lo es rectángulo, entonces el cuadrado de su lado ma-
yor es igual a la s~ma de los cuadrados dej,sus otros dos lados".
. Conversa: "Si el cuadrado del lado mayor de u'n triángulo es' igual a la
suma de los cuadrados de los otros dos lados, entonce$ el triángulo es rec-
tángulo". ' . .
Silogismos. Demostraciones
. En cualquier sistema matemático los postplados y las definiclo.nes son las
.bases para las demostraciones~ En álgebra se hacen ciertas suposiciones
acerca de las propiedades de lo igualdad, de la desigualdad y del conjunto
de los números 'reales; estas suposiciones se aceptan como verdaderos y
forman los postulados con los que.s'e construye un conjunto,de conclusio-
nes acerca de los números paro formar el sistema matemático. utilizando
para el-lo el razonamiento deductivo. Los conclusiones o deducciones se .
86
..-- - -~--- --
¡unto con los postulados y definiciones, como bases' para nuevas construc-
ciones y nuevas demostraciones. Los teoremas son generalmente expre-
sados en.la forma ."si . . .entonces..." por lo que la implicación es una,
parte importante en el proceso de razonamiento deductivo. , ' '
La hipótesis la constituimos con' postulados o' definiciones, y las rela-
ciones ~ógicamente vólidas que establecemos entre diferentes proposicio-
nes simples o compuestas, nos lIeyan a admitir la validez de la conclusión
al aceptar. la hipótesis; esto es Lbqlle constituye una demostración. Estas
relaciones también llamadas argumentación, toman el nombre de Reglas
de Inferencia o Siloglsmos, según su estructura.'
Las reglas de inferencia, son argumentaciones válidos en la forma de
impUcaciones y existen infinidad de ellas', por lo que sólo mencionarem'os
una de las de mó~ frecuente aplicación, conocida como la ,Regla de la Ca-
o dena. ' '
I
Elemplo: Tómense dos implicaciones.
'
Silogismo' simbolizado
p ==>q Premisa mayor P e Q ,
87
, El diagrama de Venn paro un silogismo válido o correcto presenta
la gráfica de dos conjuntos. el .de lo hipótesis P y el de lo conclusión a. el
primero siempre es subconjuntodel segundo (P e a)-; presento también 01
elemento x del término medio el que por estor contenid.o-en P forzoso~ente
estará contenido en a. Ejemplo: ' '
, '
{múltiplos de 6} e {múltiplos de 2}
Conclusión e 18 es múltiplo de 2
18 e: {múltiplbs de 2}
de, ,6
"
,
G
.,
El siiogismo ant~rior' 'está ~imboJizado usond9 el lenguaje' de con-
juntos..Qtraforma es lo siguiente:, '
Conclusión:....
88
---
'"
b)
P '.
remisos
(:
t ~iEl un'número es múltiplo de 4 entonces es divisible entre dos
número 14 es divisible entre dos. ..
Conclusión: El número 14 es múltiplo de 4. .
Lo conclusión es notoriamente falso, el silogismo es Invólido pues no
siguió los reglas de lo lógico. .
c) "
89
-',
, ).
. ..~
" .
I '\.
90
PROBLEMAS PARA AUTOEVALUACION 11.8
a x2 = 4: x = 2.
b) Triángulo isósceles; triángulo equilátero.
9. Reescriba las siguientes implicaciones usando el lenguaje de con-
¡untos. Use diagramas de Venn para demostrar ~i la .implicación es
o no verdadera.
a) Si un número es divisible entre 4, entonces es un número par. .
.
b) Si x es un número entero que no es menor que 10, entonces no
es menor que 6.
10. Cambie la proposición universal verdadera que se da, por su equiva-
lente lógica. una implicación en donde use primero el conectlvo lógico
"si. . . entonces. . ." y luego escríbdla usando "sólo si" para observar
la impresión que se produce eñ el valor de verdad que no se ha
'cambiado. '
. a) Todos los días lluviosos son nublados.
b) Todos los múltlplos de 6 son múltiplos de 3.
91
-= -- ""- - ---.-
Considerandoo n > 5 como "p", y a n = 4 como "q", 'escriba los
siguientes implicaclones en lo forma "si... entonces. . .", recuerde, que
,el símbolo-.- representa la negación y también que n E R.
11. p=>q . 12. q=:>.-p 13. q==>p
14. .- q => , p ,15. ; 'p => -".q 16. -.; p => q
Diga qué variante de la ,implicaciónrepresentan los símbolos.
"
17. q =>p
18.' ,...,q=>.- p
19. .- P=>,..., q '.
20. Utilice los diagramas de Venn para determinar el valor de verdad'en
~os ejercicios del 11 01 16,. ' ,
21. ¿Cuál de las propoSiciones siguiéntes es equivalente a "si r, enton-
ces s"? " ,
27. Dos ángulos de un triángulo són iguales, si y sólo si los lados opues-
tos o esos ángulos son 19uales.
~ASC, (léase triángulo .ASC) AS = BC
Entonces, el ángulo C es igual al ángulo 'A.
28. Todos lo,sángulos rectos tienen igual medida.
Los'óngulosA y S son rectos. '
92
29. Si aceptamos como postulado la" siguiente propostcióri "Los ángulos
opuestos por el vértice tiÉmen ,la mismo medida" ¿Cuáles de las
siguientes proposiciqnes se pueden "deducir" de este postulado y ,
RESUMEN
Hemos utilizado los términos que ,se introdujeron en la unidad anterior. y
han sido una gran ventaja, no sólo por facilitarr:tos la sirnbolizaci6n de
nuestro lenguaje ordinario siho también porque nos han permitido expre-
sarnos d~ una forma más clara y precisa, evitando así las amb.gü~d(]des
propias del lenguaje ordinario. ' " , ..
93
"
Panele. de verlflcacl6n.
5. 6. 7.
B
.
. Impares
". 3
I
94
8. 9.
11 N
10.
N N
12. Disyunción
, '''x < 8" o "x es múltiplode3" x e: M
Conlunto de verdad
{1, 2, 3. 4, 5, 6. 7} U {3, 6, 9} = {1, 2, 3, 4,5,6, 7, 9}
13 . Disyun~ión
I
'
A B
95
,'
Resp~esta. "A n c" "x es' múltipl~ <;te3 y es menor que 8"
15. Wsando los pasos 1 y 2 del problema anterior buscamos ahora. la
operaQión entre los conjuntos que nos dé {2, 3, 4, 6}
Solución
(A U B) n e que corresponde a:
"x es múltiplo de 3 o es par" y "x es menor que 8"
Sean A, B, e no disiuntos
16.
aób b'yc (b Ye) ó a
,. A B A A B.
A lB A
LA 3.
elementos que cumplen con la negación.
Proposición simple. .
.
Negación. 6 4: 8. Falsa.
96
- - -- - - -- --.
4. Proposición simple
N'egación. 3 <. 5. Verdadera
. ..
5. Proposición abierta. - .
Ne.gación. "x no es un múltiplo de 3; x e:. N"
6. Proposición simple. .
8. . Negacló",.
10. Ley de DeMorgan
"Hoy no es martes o no es un d(a lluvioso.
9. Negación. N
"x :t>3 Óx <t 10, x E: N"
Esta ne9ación es equivalente a:
".x ~ 3 o x ~ 10,XE: N"
N
10. Negación. .
"2x =F 6 Y x = O; X E: N"
Racionale~
97
12. Algunos númerqs naturales no son enteros.
Reole.
98
A = {múltiplos:de 3}
B = {pares}
e = ,{múltiplos de ~}
18. ,19.
99
CONJUNTO DE PROBLEMAS 11.8
3. Suposición:x > O. x e: N
1
1Conclusl6n:x > -,. X E: N .
x
1
Implicación: Si x > O, entonces x > -, x e: N
- x
100
b) SI x < 10. entonces' x < 15. x e: N. El con-
lunto de números naturales menores que.
10 es subconlunto del coniulito de núm9-
ros naturales menores que 15.
pares.
Por definicl6n "Los números divisibles .
por 4 son múltlplos de 4"
El 4 es múltlplode 2 .
Por tanto es par '
ACB
Verdadera
101
14. -Si n:# 4, entonces' n )::-5 n E: N (-- q =:) -- p).
15. Si n ,)::-5, entonces n :# 4 n E: N (-- p =:) -- q).
=
16. Si n:1> 5, entonces n 4 n E: N (~p =:) q).
17. La proposición q =:) p es lo conversa.
18. La proposición q =:) -- P es la contrapositiva.
~
s .:>-
n'<"'S
(\
4
- -.- --
23. Diagrama del Silogismo
-{múltiplos de 10}c {múltiplos de 5}
. 20 E: {múltiplos de 10} ,
20 E: {múltiplos de5}
Razonamiento Válido
Inválido
Inválido
103
" 28 . {ángulos rectós} c{ ángulos con igual medida}
<r A y <r B E {ángulos rectos}
<rA=<rB
Válido
104