Professional Documents
Culture Documents
Orden de informacin
LGICA MATEMTICA
La lgica proposicional utilizando una representacin primitiva del lenguaje, permite representar y manipular
aserciones sobre el mundo que nos rodea. La lgica proposicional permite el estudio del razonamiento, a travs
de un mecanismo que primero evala enunciados simples y luego enunciados complejos, formados mediante el uso
de conectivos proposicionales.
PROPOSICIN: Es una expresin lingstica, con sentido completo que se puede determinar si son verdaderos
o falsos, pero no ambos a la vez. Una proposicin es el significado de una oracin aseverativa.
Por ejemplo: Los animales son irracionales
5 es mayor que 8
Una proposicin se representa simblicamente por letras minsculas, como: p, q, r, s, etc. Las cuales son
llamadas variables proposicionales.
El hecho de que una proposicin sea verdadera o falsa, lo expresaremos simblicamente veamos:
Sea p: Todos los hombres son mortales
Esta proposicin es verdadera, entonces diremos que su valor de verdad es verdadero y lo denotaremos por:
V(p) = V
Sea q: 2 es un nmero impar
Esta proposicin es falsa, entonces diremos que su valor de verdad es falso y lo denotaremos por:
V(q) = F
Observacin: Aquellos enunciados que indican una pregunta, una exclamacin, una orden, No son Proposiciones.
Ejemplos: Te parece guapa Morticia? gan!
Bate bien beb Tus lindos labios
Hay oraciones aseverativas que no son proposiciones. La oracin El es estudioso . No es posible determinar si
es verdadera o falsa, si no se sabe a quien se refiere. Las oraciones de esta naturaleza se llaman enunciados
abiertos.
Los enunciados abiertos usan las palabras el, ella y los smbolos x, y, z, etc. No son proposiciones pero
cuando se reemplazan estas palabras o smbolos por indeterminado objeto o valor resultan ser proposiciones.
Ejemplos: 7 + x = 111.
p es un nmero natural.
Ella est bailando con su ex.
As, en el primer enunciado si reemplazamos x por 5
Tendremos 7 + 5 = 111, la cual ahora es una proposicin falsa.
Si en el segundo enunciado si reemplazamos p por 777
Tendremos 777 es un numero natural. La cual ahora es una proposicin verdadera.
p CONECTIVO q
43
Encontramos dos enunciados. El primero (p) nos afirma que el ingeniero Carbonel es uno de los fundadores
del CPU y el segundo (q) que el ingeniero Carbonel es el mayor de todos.
El Condicional AB, AB
El Implicador: A B (Implicacin Directa)
44
A por lo tanto B Toda vez que A en A trae como consecuencia
Cada vez que A,B consecuencia B a B
Con la condicin de A A consiguientemente B De A deviene B
esto trae consigo B Dado que A por lo cual B Partiendo de A llegamos a
Cuando A , B En la medida que A de all B
Es una condicin suficiente B De A inferimos,
A para B En virtud de que A deducimos, coligamos B
Para A es necesario B entonces B Para A es condicin
Porque A,B A implica a B necesaria B
Si A, B A es innecesario para B A slo cuando B
Siempre que A por tanto B A es condicin suficiente Es suficiente A y B
Una condicin necesaria para B necesario
para A es B A slo si B En el caso que A en tal
Con tal que A es obvio que A luego B sentido B
B
El Inalternador: A B
Ni A ni B
No A y no B
El Incompatibilizador: A B; A / B
No A o no B
45
OPERACIONES PROPOSICIONALES
Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o ms proposiciones, de las
que se conoce los valores veritativos, se trata de caracterizar la proposicin resultante a travs de su valor
de verdad. A tal efecto, estudiaremos a continuacin el uso y significado de los diferentes conectivos
lgicos.
p q p q
V V V
V F F
F V F
F F F
La tabla que define esta operacin, establece que la conjuncin es verdadera slo si las dos proposiciones
componentes son verdaderas. En todo otro caso, es falsa.
12
t : es un nmero par a pesar que es un mltiplo de 3
Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que son:
p: 12 es un nmero par.
q: 12 es un mltiplo de 3.
Por ser ambas verdaderas, la conjuncin de ellas es verdadera.
Nota: Las palabras pero; sin embargo ; adems; aunque; no obstante, equivalen al conectivo de la
conjuncin.
As: Julio estudia no obstante tiene que trabajar. El trmino no obstante representa conjuncin por tanto
simbolizamos como sigue: pq , donde p : Julio estudia
q : Julio tiene que trabajar
p q p q
V V V
V F V
F V V
F F F
46
Ejemplo2: Tiro las cosas viejas o que no me sirven
El sentido de la disyuncin compuesta por p y q (p: tiro las cosas viejas, q: tiro las cosas que no me sirven) es
incluyente, pues si tiro algo viejo, y que adems no me sirve, la disyuncin es V
Negacin
Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por ~ p (se lee "no p") que le
asigna el valor veritativo opuesto al de p. Por ejemplo:
p q p q
V V V
V F F
F V V
F F V
47
Ejemplo3: r: 1 = 1 1 = (1) , V(r) = (V)
La proposicin resulta ser verdadera por ser el antecedente (1 = 1) falso.
Nota: Los trminos porque ; ya que ; puesto que; si,cuando se caracterizan porque despus de estos
esta el ANTECEDENTE.
P: antecedente
Supongamos que no est en la playa (es decir, P = F). Es cierto que si Gaby est en la playa est nadando?
Si estuviera Lo que nos dice el enunciado compuesto es si estuviera, estara nadando. Por lo tanto, es
verdadero.
Y si ni est en la playa ni est nadando? Lo mismo: si estuviera, estara
Desde luego, si est en la playa pero no est nadando (el caso de la segunda fila), se incumple nuestra
condicin suficiente, que dice que para que Gaby est nadando es suficiente con que est en la playa. Es
decir, si Gaby est en la playa, est nadando; pero Gaby no est nadando, por no tanto no es cierto el
conjunto.
p q p q
V V V
V F F
F V F
F F V
La doble implicacin o bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad.
La doble implicacin puede definirse como la conjuncin de una implicacin y su recproca. De este modo, la
tabla de valores de verdad de p q puede obtenerse mediante la tabla de (p q) (q p), como vemos:
p q
p q p q q p (p q) (qp)
V V V V V
V F F V F
F V V F F
F F V V V
48
q: a2 = b2
Esta doble implicacin es falsa si p y q tienen valores de verdad diferentes, En los dems casos es V.
Diferencias simtrica o disyuncin exclusiva (en sentido excluyente) de las proposiciones p y q es la proposicin
p D q (se lee "p o q en sentido excluyente"), tambin ( o p o q ); cuya tabla de valores de verdad es:
P q pDq
V V F
V F V
F V V
F F F
La verdad de p Dq est caracterizada por la verdad de una y slo una de las proposiciones componentes.
Queda claro que slo podremos ir a uno de los dos lugares, y slo a uno. Es decir que el enunciado i) es
verdadero slo si vamos a una de las dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado
es Falso.
* Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre V para
cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica.
P Q (p q) ( ~ p q)
V V V V F V V
V F F V F F F
F V V V V V F
F F V V V V F
Matriz principal
49
P q p q (p q)p { ( p q ) p } q
V V V V V
V F F F V
F V V F V
F F V F V
En este caso comprobamos tambin que independientemente de la combinacin de valores de verdad de las
proposiciones p y q, el resultado de la frmula lgica es siempre V. Decimos, aqu tambin, que esta frmula
es una tautologa o ley lgica.
* Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de
verdad de las proposiciones intervinientes el resultado de dicha frmula es siempre falso, decimos que
dicha frmula es una Contradiccin.
P ~p p ~p
V F F
F V F
Si una proposicin no es una tautologa ni una contradiccin (es decir que contiene al menos un valor V y otro F)
es una contingencia.
Existen varias equivalencias de la lgica proposicional, las cuales se conocen como leyes de equivalencia.
Dos formulas F1 y F2 son equivalentes si: F1 F2 resulta ser una tautologa. Y se denota F1 F2
Ejemplo.
p q p q (p ~ q) ~(p ~ q) p q ~(p ~ q)
V V V F V V
V F F V F V
F V V F V V
F F V F V V
( p q ) ~ ( p ~ q)
* Otro ejemplo de equivalencia es: p q ~ ( pDq ) . Vasta revisar las tablas de verdad
50
A continuacin presentaremos algunas equivalencias lgicas:
Doble Negacin: p = p 2. p (p q) = p
Ley de DMorgan: 3. p (p q) = p
1. p q = (p q) 4. p (p q) = p
2. p q = (p q) 5. p (p q r s) = p
3. (p q) = p q 6. p (p q r s) = p
4. p q = (p q) 1. p (p q) = p q
5. p q = (p q) 2. p (p q) = p q
6. (p q) = p q 3. p(p q r s) = p (q r s)
7. (p q) = p q 4. p (p q) = p q
1. p q = (p / q) Definicin del Implicador:
2. p / q = (p q) 1. p q = p q
3. (p q) = p / q 2. p q = (p q)
4. p q = (p / q) 1. p q = p q
Conmutacin: 2. p q = p q
1. pq=qp 3. p q = p q
2. p q = q p 4. p q = p q
3. (p q) r = r (p q) Relacin entre Biimplicador y Disyuntor
4. p q = q p Excluyente:
Contraposicin: 1. p q = p q
1. p q = q p 2. p q = (p q)
2. P q = q p 3. p q = (p q)
3. p q = q p 4. p q = p q
4. p q = q p 5. p q = (p q)
Asociacin: 6. p q = (p q)
1. (p q) r = p (q r) 1. p q = p q
2. p (q r) = (p q) r 2. p q = (p q)
3. p (q r) = (p q) r 3. p q = p q
4. (p q) (r s) = [(p q) r] s 4. p q = p q
Definicin del Implicador: 5. p q = (p q)
p q = p q 6. p q = p q
p q = (p q) Definicin del Biimplicador:
Idempotencia: p q = (p q) (q p)(1)
1. pp=p p q = ( pq) & (qp).(2)
2. p p p p = p p q = (p q) (p q) (3)
3. pp=p Definicin del disyuntor excluyente.
4. p p p p = p A B = (AB) (BA)
5. p p = p A B = (A B) (B A)
Identidad: A B = (A B) (A B)
1. p 1 = p 2. p 0 = 0 Distribucin.
3. p 1 = 1 4. p 0 = p A (B C) = (A B) (A C)
5. p 1 = 1 6. p 0 = p A (B C) = (A B) (A C)
7. p 1 = p 8. p 0 = p A (B C) = (A B) (A C)
9. p 1 = p 10. p 0 = p
Extensin:
11. p 1 = p 12. p 0 = 1
A (B C) = (A B) (A C)
Complemento:
A (B C) = (A B) (A C)
1. p p = 0 2. p p = 1
Otras Relaciones: Mutacin (Mut.)
1. pp=1 p (q r) q (p r)
2. p p = p Exportacin (Export.)
3. pp=1 (p q) r p (q r)
4. pp=0
Absorcin:
1. p (p q) = p
51
Lgica Matemtica
Orden de informacin
IMPLICACIONES NOTABLES
ASOCIACIN:
[ (A B) C ] [ A (B C)] ABSORCIN:
[ (A B) C ] [ A (B C)] [ A ( B A)] A
[ (A B) C ] [ A (B C)] [ A ( B A)] A
[ (A B) C ] [ A (B C)] [ A ( B A)] (A B)
[(A B) C] / [A (B C)] [ A ( B A) ] (A B)
DISTRIBUCIN: LEY DEL COMPLEMENTO:
[ A (B C)] [ (A B) (A C)] (A A) 0 ............( A A ) =
[ A (B C)] [ (A B) (A C)] (A A) 1 ..............(A A ) = U
[ A (B C)] [ (A B) (A C)] LEY DE IDENTIDAD:
[ A (B C)] [ (A B) (A C)] (A 1) A .................(A U) A
[A (B C)] / [(A B) (A C)] (A 0) 0 ..................(A )
[A (B C)] / [(A B) (A C)] (A 1) 1...................(A U) = U
[A (B C)] / [(A B) (A C)] (A 0) A .................( A ) A
[A (B C)] / [ (A B) (A C)]
Las leyes lgicas nos ayudan a simplificar expresiones simblicas, las cuales representan enunciados.
Por ejemplo: Simplificar ~ { [ (p q) ~ p ] p }
Solucin:
~ { [ (p q) ~ p ] p } ~ { [~ p (p q)] p } ley conmutativa
~ { [~ p (~p q)] p } ley implicacin
~ { [~ p ] p } ley absorcin
~ { V } ley complementacin
51
INFERENCIA LGICA.
Pero como podemos determinar si la conclusin de una inferencia esta correctamente deducida de las premisas
As por ejemplo de las premisas: Todos los lambayecanos son peruanos y Pedro Ruiz Gallo es peruano, Alguien
podra concluir que por tanto Pedro Ruiz Gallo es lambayecano.
Pues a pesar de que las premisas son verdaderas la conclusin es Falsa.
La validez de una inferencia no depende de los valores de verdad ni del contenido de los enunciados que
aparecen en la inferencia.
Una inferencia es vlida si y slo si el conjunto de premisas implica la conclusin, esto es (P1 P2 P3 . Pn)
Q , es una tautologa.
Juan es abogado o arquitecto , pero Juan es arquitecto por tanto Juan no es abogado.
( P1 P2 ) Q
p q {( p q ) q} ~p
V V V V V F F
V F V F F V F
F V V V V V V
F F F F F V V
P2 : Aprob matemticas: r
r
52
Q : No estudie o no trabaje. : (~ p ~ q)
( ~ p ~ q)
La inferencia: { [( p q) ~r] r } (~ p ~ q)
La tabla de verdad correspondiente:
P q R {[( p q) ~r] r} (~ p ~q)}
V V V V F F F V V F F F
V V F V V V F F V F F F
V F V F V F V V V F V V
V F F F V V F F V F V V
F V V F V F V V V V V F
F V F F V V F F V V V F
F F V F V F V V V V V V
F F F F V V F F V V V V
( V V V . V ) F
F
Ejemplo: Sea el siguiente razonamiento: Juan es abogado o arquitecto , pero Juan es arquitecto por tanto
Juan no es abogado. Determine si es valido o no:
Este ejercicio ya lo tenemos simbolizado:
{ ( p q ) q } ~p o de la forma
(p q ) V
q V
\ ~p F
ANALIZAMOS : si ~p F p V
Adems q V
Luego: ( p q ) V , remplazamos sus valores de verdad obtenidos.
(V V ) V
Como podemos ver no hay ninguna contradiccin en nuestro analisis esto significa que, los valores dados son
correctos y por tanto la implicacin { ( p q ) q } ~p , es falsa.
( p q) ~r] V
r V
\ ~p~q F
Tenemos que: ~ p ~ q F F F F
53
Luego como ~ p F , se tiene que p V , as mismo: ~ q F , se tiene que q V
Adems r V
Luego. [ ( p q) ~r ] V remplazamos sus valores de verdad obtenidos
[( V V ) ~ V ] V
[ (V) F] V
[ F] V (CONTRADICCIN)
Como podemos ver hay una contradiccin en nuestro anlisis esto significa que, los valores dados NO son
correctos y por tanto la implicacin { ( p q ) q } ~p , NO falsa. Como se supuso , sino que es
VERDADERA.
Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso llamado
de cuantificacin. Asociados a la indeterminada x, introducimos los smbolos " x y $ x, llamados
cuantificador universal y cuantificador existencial respectivamente. Las expresiones.
Para todo x, se verifica p(x) se denota por " x : p(x)
Existe x, tal que se verifica p(x) se denota por $ x / p(x)
Corresponden a una funcin proposicional p(x) cuantificada universalmente en el primer caso, y existencialmente
en el segundo.
Ejemplo: Una funcin proposicional cuantificada universalmente es V si y slo si son V todas las proposiciones
particulares asociadas a aquella. Para asegurar la verdad de una proposicin cuantificada universalmente es
suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin proposicional.
Un problema de inters es la negacin de funciones proposicionales cuantificadas. Por ejemplo, La negacin de
"Todos los enteros son impares" es "Existen enteros que no son impares" y en smbolos: $ x / ~ p(x)
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador en
existencial, y se niega la funcin proposicional.
Ejemplo: Supongamos la proposicin: Todos los alumnos de mi colegio son aplicados
La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario.
Nos damos cuenta pronto que se trata de la implicacin de dos funciones proposicionales:
p(x) : es alumno de mi colegio
q(x) : es aplicado
Tenemos: " x : p(x) q(x)
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente y una implicacin
resulta:
$ x / p(x) ~ q (x)
Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi colegio que no son aplicados.
Ejercicios:
1. Si la proposicin
[(r s) p] ~ ( pDq ) es verdadera , entonces determine los valores de p; q; r y s .
Adems: p q es falso.
Solucin:
Recordando: p q ~ ( pDq )
123 1
424
3
F F
Luego:
[ (r s ) p] ~ ( p D q )
V24F
14 3 F 24
1
4 3V
F F 1
42V4
3
142
4 43
4
F F
1444424444
3
V
\ p F ; q V; r V ; s F
54
2. Si la proposicin: ~ [ r (~ p q) ] [(pq) ~s ] es verdadera , halle los valores de verdad de cada
una de las proposiciones (p,q,r,s).
Resolucin:
~ [ r ( ~p q) ] [ ( p q ) ~s]
V
F F
V F V F F
F F V
V V
V \ p V ; q F; r V ; s F
ORDEN DE INFORMACIN
Las caractersticas ms saltantes en este tipo de problemas es que en ellos siempre se presentan datos
desordenados, los cuales contienen toda la informacin, debemos relacionarlos entre s, ordenarlos buscando
correspondencia entre ellos.
Se recomienda que para poder resolver los problemas de este tipo trate de enfrentarlos de la manera ms
grfica, buscando esquematizar los datos de manera ordenada.
Orden de Informacin
Ordenamiento Circular
Test de Decisiones
Situaciones donde nos piden ordenar individuos segn cualidades de mayor a menor o de menor a mayor, por lo
cual se debe tener en cuenta las siguientes proposiciones y su respectiva simbolizacin:
I) A es mayor que B
A>B B<A VI) A es menor que B, y ste menor que C
(A < B y B < C) A<B<C
II) A es menor que B
A<B B>A VII) S: (A B y A B) A < B.
55
Lgica Matemtica
Orden de informacin
Ejemplo 1
En cierta prueba, Rosa obtuvo menos puntos que Mara; Maril menos puntos que Luca; Noem el mismo
puntaje que Sara; Rosa ms que Sofa; Maril el mismo que Mara y Noem ms que Luca. Quin obtuvo el
menor puntaje?
Solucin:
Rosa < Mara , Maril < Luca , Noem = Sara
Rosa > Sofa , Maril = Mara , Noem > Luca
De los datos se unen con una nica desigualdad( por ejemplo el menor que : < )
Luego: Sofa < Rosa < Mara = Maril < Luca < Noem = Sara
Entonces el menor puntaje lo obtuvo: Sofa
Ejemplo 2
En un pentagonal de ftbol, la tabla de posiciones fue la siguiente :
- Boys (B) obtuvo un punto ms que Universitario (U)
- Universitario (U) obtuvo un punto ms que Cristal (C)
- Municipal (M) obtuvo dos puntos menos que universitario (U)
- Boys (B) obtuvo dos puntos menos que Aurich (A)
Solucin:
Ordenando las posiciones, tenemos:
A Si, Boys obtuvo dos puntos menos que Aurich Aurich obtuvo dos puntos ms que Boys.
+2
B
+1 Boys (B) obtuvo un punto ms que Universitario
U
+1
C Municipal (M) obtuvo dos puntos menos que universitario (U)
+1
M
Luego la respuesta es la alternativa d.
I) A a la derecha de B A B
B A
II) A a la izquierda de B V) A se sienta a dos sitios de B
A B A B B A
56
VII) A esta a tres pisos de B (en un edificio de cuatro pisos)
A B
B A
Ejemplo 01
Seis amigos (A; B; C; D; E y F) estn sentados en una fila de seis asientos libres juntos. Si sabe que:
B est junto y a la izquierda de C
D est a la derecha de B y a la izquierda de E
E esta junto a la izquierda de F
A est a la izquierda de C
Quien ocupa el cuarto lugar si los contamos de izquierda a derecha?
a) B b)A c) C d) F e) D
Solucin
De (1) y (2):
1. lklk
B C
B C D E
2. B D E
* De (1), (2 ) y (3 )
3. zdxfadfadfa
E F
B C D E F
4. A C
Finalmente de (1), (2), (3) y (4):
A B C D E F
1 2 3 4
Ejemplo 02.
Se tiene un edificio de seis pisos en el cual viven seis personas A; B; C; D; E y F, cada una en un piso diferente.
Si se sabe que:
E vive adyacente a C y B
Para ir de la casa de E a la F hay que bajar tres pisos
A vive en el segundo piso
Quin vive en el ltimo piso?
a) B b) C c) D d) E e) F
Solucin
1. B C 3.
E E
C B A
57
2.
E
A A
D D
B C
E E
C B
A A
F F
* Ordenamiento circular:
Situaciones que nos solicitan ordenar individuos alrededor de una mesa circular (o alrededor de una figura
cerrada) en estos casos basta ubicarse en un eje fijo; es decir, tomar un sentido u orientacin referencial.
C B Delante del
personaje es
su derecha
D A
Detrs del
personaje es su
E F izquierda
58
Observaciones
B est junto y a la derecha de A
C est a la derecha de A (existe dos posibilidades)
D est al frente de A
F est junto y a la izquierda de A
E est a la izquierda de A (existe dos posibilidades)
E est a la derecha y junto a D
Ejemplo 01
Cuatro amigos: Carlos, Antonio, Mario y Rger se sientan alrededor de una mesa redonda, en la que hay cuatro
sillas distribuidas simtricamente. Sabemos que:
- Carlos se sienta junto y a la derecha de Antonio
- Mario no se sienta junto a Antonio
- Rger est entretenido observando cmo los otros tres discuten
Segn esto podemos afirmar:
Solucin:
De acuerdo a los datos se distribuye de la siguiente manera:
1o
C A
M R
Respuesta. ( e )
2o Mario no se sienta junto a Antonio
Test de decisiones:
La mejor estrategia de afrontar situaciones, donde se nos pide relacionar diversos datos entre s (como
pueden ser personas con su ocupacin, deportes, lugar donde viven o donde estudian, etc.), es haciendo
un cuadro, en el cual podemos ir marcando las deducciones que vamos haciendo. Se recomienda comenzar
por aquellos datos que se pueden colocar directamente. A continuacin se procede a marcar con una X o
un No en cada casilla correspondiente a una imposibilidad definida y a colocar (es un visto bueno) o
un S en la casilla que corresponda a un dato confirmado. Adems se debe verificar tanto en cada fila
horizontal y vertical la existencia de un solo s, a menos que las condiciones del problema afirmen lo
contrario o sealen caractersticas especiales de los datos.
Un cuadro de doble entrada es el que a continuacin le mostramos:
EJERCICIOS DE APLICACIN
Mara, Luca e Irene, viven en 3 ciudades distintas: Lima, Cuzco, Tacna, estudiando una carrera diferente:
Educacin, Derecho y Arquitectura. Si se sabe que:
- Mara no vive en Cuzco - Luca no vive en Tacna
- La que vive en Cuzco no estudia Derecho - Quien vive en Tacna estudia Arquitectura
- Luca no estudia Educacin
59
Dnde vive Irene y qu estudia?
a) Lima Arquitectura b) Lima Educacin c) Lima Derecho
d) Cuzco Educacin e) Cuzco - Derecho
Solucin:
Se realiza el sgte. Cuadro y se comienza a llenar de s o de No de acuerdo a los datos
Lima Cuzco Tacna Der Edu Arq Si Cuzco, no Derecho Cuzco puede ser educacin
Mara No o arquitectura.
Luca no no Pero se sabe que: Si Tacna, si arquitectura Cuzco
Irene tiene que ser educacin.
Adems, como Lucia puede ser derecho o arquitectura Lucia tiene que ser derecho, ya que no Tacna.
Se ubica por ltimo las dems afirmaciones o negaciones quedando el cuadro as:
EJERCICIOS DE APLICACIN
1.) Juan es ms estudioso que Alex. Alex es menos estudioso que Miguel, pero ms que Dany. Cul de las
siguientes expresiones ser siempre verdadera?.
a) Juan es ms estudioso que Miguel
b) Juan es menos estudioso que Dany
c) Juan es menos estudioso que Miguel
d) Juan es ms estudioso que Dany
e) Juan estudia igual que Miguel
Solucin
Juan > Alex
Dany < Alex < Miguel
Dany < Alex < Juan
Podemos observar que la conclusin siempre verdadera es que
Juan es ms estudioso que Dany.
2.) La ciudad A tiene ms habitantes que la ciudad B. La ciudad B tiene menos habitantes que la ciudad
C pero ms que la ciudad D. Si A tiene menos habitantes que C. Qu ciudad tiene ms habitantes?
SOLUCIN
C
A
B
D
Rpta: la ciudad C
3.) Seis amigos, Angel, Daniel, Mario, Ral, Sergio y Toms se renen para cenar en una mesa redonda. Se sabe
que:
- Ral no se sent al lado de Toms ni de Angel.
- Mario no se ubic al lado de Angel ni de Ral.
- Sergio no se sent al lado de Tomas ni de Mario.
Quin se sent junto y a la izquierda de Angel?
60
SOLUCIN:
A
S T
R M
Rpta: Toms
3.) Aldo, Cirilo y Baltazar tienen ocupaciones: relojero, panadero y pianista; no necesariamente en ese orden.
Se sabe que Cirilo nunca tuvo buen odo para la msica; la habilidad que tiene Aldo con las manos es
comparable con la de un cirujano, Baltazar es artista. Luego Baltazar, Aldo y Cirilo son respectivamente:
a) Relojero, pianista, panadero
b) Pianista, relojero , panadero
a) Panadero, pianista, relojero
b) Pianista, panadero, relojero
c) Relojero, panadero, pianista
Solucin
4.) Tres personas viven en 3 ciudades distintas y tienen ocupaciones diversas,. Se sabe que :
- Jos no vive en Lima
- Luis no vive en Piura
- El que vive en Lima no es el religioso
- El que vive en Piura es poltico
- Luis no es profesional
- Uno de ellos se llama Fernando
- Uno de ellos vive en Huancayo
a) El piurano es profesional
b) El religioso es limeo
c) Fernando es limeo y poltico
d) El poltico es de Piura
e) Jos es profesional.
Solucin
Lima Piura Huancayo Poltico Religioso Prof.
Jos No Si No Si NO No
Luis No No Si No Si No
Fernando Si No No No No Si
Del cuadro podemos afirmar que el poltico es de Piura.
61