41

Lgica Matemtica
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: Una proposicin es un enunciado que tiene un valor asociado ya sea de verdadero (V), o falso
(F). Pero no ambos a la vez. Una proposicin es el significado de una oracin aseverativa.
Por ejemplo: Todos los animales son irracionales
2 es un nmero impar

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: Qu da es hoy? Ingres!
Recoge ese lpiz Tus lindos ojos

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: 2 + x = 10.
n es un numero primo.
Ella esta bailando con Andrs Fernndez.
As, en el primer enunciado si reemplazamos x por 5
Tendremos 2 + 5 = 10, la cual ahora es una proposicin falsa.
Si en el segundo enunciado si reemplazamos n por 7
Tendremos 7 es un numero primo. La cual ahora es una proposicin verdadera.

PROPOSICIONES SIMPLES Y COMPUESTAS.

PROPOSICIN SIMPLE: Llamada tambin atmica o elemental, expresa una sola idea y se representa por
una sola variable (tienen un solo sujeto y un solo predicado). Por ejemplo:
p: "15 es divisible por 3 " es una proposicin simple o atmica.
q: "Francisco Bolognesi Muri el 7 de Junio" es una proposicin simple o atmica


PROPOSICIN COMPUESTA: Llamada tambin molecular o coligativa, esta formadas por dos o mas
proposiciones simples unidas por conjunciones gramaticales (conectivos) o afectados por el adverbio de
negacin NO. As, por ejemplo:







42



CONECTIVO
Encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y el segundo (q) que
Pitgoras era gemetra.

b. No es el caso que todo impar sea primo.
Es tambin una proposicin compuesta.

NOTACIN Y CONECTIVOS LGICOS
A partir de proposiciones simples es posible generar otras, Es decir que se puede operar con proposiciones, y
para ello se utilizan ciertos smbolos llamados conectivos lgicos.
Smbolo Operacin asociada Significado
. Conjuncin
p y q

v
Disyuncin dbil o
Disyuncin inclusiva
p o q (en sentido incluyente)

~
Negacin

( no p) o ( no es cierto que p)


Implicacin

p implica q, o si p entonces q


Doble implicacin

p si y slo si q

A
Diferencia simtrica
disyuncin fuerte o
disyuncin exclusiva
o p o q (en sentido excluyente)

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.
LA CONJUNCIN: Se denomina conjuncin al resultado de unir dos proposiciones p y q con el
conectivo lgico .. Denotamos por p . q (se lee "p y q"), cuya tabla de verdad es:
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.

Ejemplo1: Sea la proposicin:

12 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.

Ejemplo2: sea la declaracin
a.
t :





43

r : Hoy es el da 3 de noviembre y maana es el da 5 de noviembre
Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas ambas proposiciones.
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: p . q , donde p : Julio estudia
q : Julio tiene que trabajar

DISYUNCIN: Se denomina disyuncin al resultado de unir dos proposiciones p y q con el conectivo
lgico v. Denotamos por p v q (se lee "p o q"), cuya tabla de verdad es:
p q p v q
V V V
V F V
F V V
F F F
La disyuncin slo es falsa cuando ambas proposiciones son falsas.
Ejemplo1: Juan es ingeniero o artista
En este caso el sentido de la disyuncin es inclusiva, ya que puede ser que Juan es ingeniero y adems
puede ser artista.
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 : Diego estudia matemtica
~ p : Diego no estudia matemtica
Tambin puede escribirse: ~ p: no es cierto que Diego estudia matemtica
Por lo que nos resulta sencillo construir su tabla de verdad:
p ~p
V F
F V

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F, y viceversa.
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin.
Ejemplo: La negacin de " p: todos los alumnos estudian matemtica" es:
~ p: no todos los alumnos estudian matemtica
O bien:
~ p: no es cierto que todos los alumnos estudian matemtica
O bien
~ p: hay alumnos que no estudian matemtica
IMPLICACIN O CONDICIONAL: La Implicacin de las proposiciones p y q es la proposicin p q
(si p entonces q) cuya tabla de valores de verdad es:
p q p q
V V V
V F F
F V V
F F V





44

La proposicin p se llama antecedente, y la proposicin q se llama consecuente de la implicacin o
condicional. La tabla nos muestra que la implicacin slo es falsa si el antecedente es verdadero y el
consecuente es falso.

Ejemplo1: Supongamos la implicacin

La implicacin est compuesta de las proposiciones
p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o falsedad de la implicacin i), en relacin a la verdad o falsedad de las
proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y podemos asociar su
verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir si no apruebo el examen, quedo
liberado del compromiso y preste o no el apunte la implicacin es verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple y la
proposicin i) es falsa. Si p y q son verdaderas, entonces la proposicin i) es verdadera pues el compromiso se
cumple.
Ejemplo2: ''Si Luis es ingeniero, entonces Luis es inteligente'', se representa por P Q.
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.

Por ejemplo: te presto mi libro porque aprob


e antecedent : p e consecuent : q
aprob porque libro mi presto te


Lo simbolizamos: ( p q ) , y puede reescribirse como: si apruebo entonces te presto mi libro.

Ejemplo4: Si Gaby est en la playa, est nadando



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.

DOBLE IMPLICACIN O BICONDICIONAL: Doble implicacin de las proposiciones p y q es la
proposicin p q (se lee "p si y slo si q") cuya tabla de valores de verdad es:

p q p q
V V V
V F F
F V F
F F V
P: antecedente





45

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

q p
p q
(p q) . (qp)
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
Ejemplo: Sea i) a = b si y slo si a
2
= b
2
El enunciado est compuesto por las proposiciones:
p: a = b
q: a
2
= b
2
Esta doble implicacin es falsa si p y q tienen valores de verdad diferentes, En los dems casos es V.

DIFERENCIA SIMTRICA 0 DISYUNCIN EXCLUSIVA
Diferencias simtrica o disyuncin exclusiva (en sentido excluyente) de las proposiciones p y q es la proposicin
p A q (se lee "p o q en sentido excluyente"), tambin ( o p o q ); cuya tabla de valores de verdad es:

P q p A q
V V F
V F V
F V V
F F F
La verdad de p Aq est caracterizada por la verdad de una y slo una de las proposiciones componentes.
Ejemplo: Sea i) o vamos a Lima o vamos a Cuzco.
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.
TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA
Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo denominamos
Frmula lgica. Por ejemplo: ~{ (p q) . (s . t) }
* 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.
Ejemplo1: Si analizamos la proposicin t: (pq) (~ p v q) realizando su tabla de verdad:





P Q (p q) ( ~ p v 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





46


Vemos que para cualquier combinacin de las proposiciones p y q , la proposicin t: (pq) (~ p v q) es siempre
verdadera. Entonces, la proposicin t es una tautologa.
Ejemplo2: Analicemos ahora la frmula lgica { ( p q ) . p } q
P q p q (p q).p { ( p q ) . p } q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
V
V
V
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.
Ejemplo: Analicemos la frmula lgica p . ~ p
P ~ p p . ~ p
V F F
F V F
Encontramos que la frmula es siempre falsa, es entonces una Contradiccin.
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.
EQUIVALENCIAS Y LEYES LGICAS.
Existen varias equivalencias de la lgica proposicional, las cuales se conocen como leyes de equivalencia.
Dos formulas F
1
y F
2
son equivalentes si: F
1
F
2
resulta ser una tautologa. Y se denota F
1
F
2


Ejemplo.
Las proposiciones p q y ~ (p . ~ q) son equivalentes, como vemos realizando la tabla de valores
correspondientes:
p q p q (p . ~ q) ~(p . ~ q) p q ~(p . ~ q)
V
V
F
F
V
F
V
F
V
F
V
V
F
V
F
F
V
F
V
V
V
V
V
V

Podemos concluir entonces que: ( p q ) y ~ ( p . ~ q) son equivalentes.
( p q ) ~ ( p . ~ q)
* Otro ejemplo de equivalencia es: q p ( ) q pA ~ . Vasta revisar las tablas de verdad






47

La siguiente tabla muestra estas leyes.

Ley de equivalencia Frmula

Ley de
equivalencia
Frmula

Conmutacin

pvq = qv p
p.q = q. p
Distribucin
p.(qv r) = (p. q) v (p . r)
pv (q . r) = (pvq) . ( p v r)
Asociacin
(p v q) v r = pv (qv r)
(p . q) . r = p . (q.r) Complementacin
p . ~ p = F
p v ~ p = V

Idempotencia
p . p = p
pv p = p
Identidad
pv F = p
p. V = p
Involucin
Implicacin
~ ~ p = p
p q = ~p v q
Absorcin
pv (p.q) = p p .(~pv q) p . q
p.(pvq) = p
pv ( ~ p.q) = pvq
Doble Implicacin
p q = (p q) . (q p)

De Morgan
~ ( p . q) = ~ p v ~ q
~ ( p v q) = ~ p . ~ q
q p ( ) q pA ~

Las leyes lgicas nos ayudan a simplificar expresiones simblicas, las cuales representan enunciados.
Por ejemplo: Simplificar ~ { [ (p q) . ~ p ] v p }
Solucin:
~ { [ (p q) . ~ p ] v p } ~ { [~ p . (p q)] v p } ley conmutativa
~ { [~ p . (~p v q)] v p } ley implicacin
~ { [~ p . (~p v q)] v p } ley absorcin
~ { [~ p ] v p } ley absorcin
~ { V } ley complementacin
F
INFERENCIA LGICA.
El inters de lgica es el estudio de las inferencias (razonamientos, argumentos) mediante proposiciones.
Una inferencia consta de proposiciones llamadas premisas, a partir de las cuales se deduce otra proposicin
llamada conclusin.
Inferencia o razonamiento:

( P
1
.

P
2
. P
3
.. . P
n
) Q o
Q
P
P
P
P
n

3
2
1

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 (P
1
.

P
2
. P
3
.. . P
n
)
Q , es una tautologa.





48


Prueba de la validez por tablas de verdad
Como una inferencia es vlida si y slo si (P
1
.

P
2
. P
3
.. . P
n
) Q , es una tautologa. Entonces dedemos
analizar la tabla de verdad de toda la inferencia.
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:

Juan es abogado o arquitecto , pero Juan es arquitecto por tanto Juan no es abogado.
( P
1
. P
2
) Q

adems P
1
:

Juan es abogado o arquitecto

: (p v q)
p q
P
2
: Juan es arquitecto : q
Q : Juan no es abogado : ~ p
Luego la inferencia se simboliza de la forma siguiente:
{ ( p v q ) . q } ~p analicemos su tabla de verdad

p q
{( p v 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

EN CONCLUSIN EL RAZONAMIENTO NO ES VALIDO.( debe ser una tautologa)

Ejemplo 2: Tenemos un argumento como el siguiente:
Si trabajo y estudio entonces no apruebo matemticas. Pero aprob matemticas. Por tanto no trabaje o
no estudie.
Traducido a smbolos:
P
1
: Si trabajo y estudio entonces no apruebo matemticas: (p.q) ~r


( p . q ) ~ r

P
2
: Aprob matemticas: r
r

Q : No estudie o no trabaje. : (~ p v ~ q)
( ~ p v ~ q)
La inferencia: { [( p . q) ~r] . r } (~ p v ~ q)

La tabla de verdad correspondiente:

P q R
{[( p . q) ~ r ]
. r }

(~ p v ~ 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
Por tanto la inferencia es valida.





49

Prueba de la validez por mtodo abreviado.
Este procedimiento evita la tarea de construir tablas, es conveniente sobre todo cuanto se trabaja con mas de
dos proposiociones simples.
Consiste en suponer la conjuncin de premisas Verdadera y la conclusin Falsa, como nica posibilidad que
invalida la implicacin (inferencia): ( P
1
.

P
2
. P
3
. . . P
n
) Q

( 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 v q ) . q } ~p o de la forma

( p v q ) V
q V

~p F

ANALIZAMOS : si ~p F p V
Adems q V
Luego: ( p v q ) V , remplazamos sus valores de verdad obtenidos.
( V 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 v q ) . q } ~p , es falsa.
Ejemplo 2: Tenemos un argumento como el siguiente:
Si trabajo y estudio entonces no apruebo matemticas. Pero aprob matemticas. Por tanto no trabaje o
no estudie.
Traducido a smbolos:
La inferencia: { [( p . q) ~r] . r } (~ p v ~ q) procedemos del mismo modo

( p . q) ~r] V
r V

~ p v ~ q F

Tenemos que: ~ p v ~ q F
F v F F
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 v 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.






50

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)
q
(x)

Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente y una implicacin
resulta:
(x)

(x)

Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi colegio que no son aplicados.

Ejercicios:
1. Si la proposicin
( ) | | ( ) q p p s r A ~ v es verdadera , entonces determine los valores de p; q; r y s .
Adems: q p es falso.
Solucin:
Recordando: ( )

F F
q p q p A ~
Luego:
( ) | | ( )

V F F V


+ + + +
A ~ v q p p s r



F
F
V F F

V


F s ; V r V; q ; F p






51


2. Si la proposicin: ~ [ r (~ p v q) ] . [(pq) v ~s ] es verdadera , halle los valores de verdad de cada
una de las proposiciones (p,q,r,s).
Resolucin:
~ [ r ( ~ p v q ) ] . [ ( p q ) v ~ s ]







V F s ; V r F; q ; V p

ORDEN DE INFORMACIN


as 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.

Tipos de Orden de Informacin:

Orden de Informacin


Ordenamiento Creciente - Decreciente



Ordenamiento horizontal - vertical


Ordenamiento Circular


Test de Decisiones

- Ordenamiento Creciente y Decreciente

ituaciones 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

II) A es menor que B
A < B B > A

III) A no es mayor que B
A B (A < B A = B)

IV) A no es menor que B
A B (A > B A = B)
L
V V
F V
F
V F
F V
F F
V
F
S





52

V) A es menor que B, pero mayor que C
C < A < B B > A > C

VI) A es menor que B, y ste menor que C
(A < B y B < C) A < B < C

VII) S: (A B y A B) A < B.

VIII) Si: B > A y C >A, entonces no hay comparacin entre B y C (no se puede determinar quien es el
mayor)

IX) Si:

X) Si: A > B > C A > C

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 : < )

Si Sofa Rosa> Rosa Sofa<
Luca Noemi> Noem Luca< = Sara

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)

Ordene en forma creciente :
a) ABUCM b) MUBAC c) MUCBA d) MCUBA e) MCUAB

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.

C A B C B y
C B
A < < <
+
=
2





53

- Ordenamiento Vertical y Horizontal:

as situaciones ms comunes, son cuando no piden ordenar de derecha a izquierda
(o viceversa) o de arriba hacia abajo (o viceversa); para ello debemos tomar en cuenta :

I) A a la derecha de B
B A
II) A a la izquierda de B
A B

III) A junto a la derecha de B
B A

IV) A junto a la izquierda de B
A B

V) A se sienta a dos sitios de B
A B B A

VI) A se sienta en el extremo izquierdo, y B a tres sitios de l
A B

VII) A esta a tres pisos de B (en un edificio de cuatro pisos)
A


B

B


A
VIII) Para ir de A a B hay que bajar dos pisos
A

B

IX) A est adyacente a B y C
B A C C A B

X) Se empezar ordenando por el dato ms conciso (que sirva como una referencia inicial)

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

1. lklk

2. B D E


3. zdxfadfadfa
L
B C
De (1) y (2):


B C D

E
* De (1), (2 ) y (3 )
B C

D

E F
E F






54



4. A C
Finalmente de (1), (2), (3) y (4):




- De izquierda a derecha el cuarto lugar lo ocupa D Respuesta: E

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. 3.




2.







- De (2) y (3) se tendr 2 posibilidades










1ra posibilidad 2da posibilidad

1 2 3 4
A B C D E F
B
E
C


C
E
B



E


F




A



E

A
F
E


F
A








55


- Con (1), descartamos la segunda posibilidad, luego quedar:












- Se observa que el ltimo piso est destinado necesariamente para D Respuesta: C

* 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.












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:

a) Rger y Carlos se sientan juntos
b) Antonio y Rger no se sientan juntos
c) No es cierto que Rger y carlos no se sientan juntos
d) Mario se sienta junto y a la derecha de Rger
e) Mario se sienta junto y a la derecha de Carlos

D
D
B
E
C
A
F
D
C
E
B
A
F

A
B C
F
E
Delante del
personaje es
su derecha

Detrs del
personaje es su
izquierda






56


Solucin:
De acuerdo a los datos se distribuye de la siguiente manera:






Respuesta. ( e )
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:


Matemtico. Ingeniero. Bilogo.
Rojas X X
William X X
Matute X X

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
- La que vive en Cuzco no estudia Derecho
- Luca no estudia Educacin
- Luca no vive en Tacna
- Quien vive en Tacna estudia Arquitectura
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
Si Cuzco, no Derecho Cuzco puede ser educacin
o arquitectura.
Pero se sabe que: Si Tacna, si arquitectura Cuzco
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:

Lima Cuzco Tacna Der Edu Arq
Mara No
Luca no no
Irene
A C
M
R
1
o

2
o

57








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.) Cuatro amigos Jaime , Luis , Pablo y Oscar se sientan alrededor de una mesa circular para brindar por el
cumpleaos de uno de ellos; Se sabe que:
- El que se sent a la izquierda de Luis brind con sangra
- Jaime estaba frente al que brind con vino.
- Quien se sentaba a la derecha de Oscar, brind con Champagne.
- El que brind con Cctel y el que brind con Champagne estaban frente a frente.
Con que brind Pablo y quien brind con vino?
a) Champagne. -Jaime b) cctel-Oscar c)sangra Jaime
d) Champagne. -Oscar e) cctel-Luis




Solucin
cctel
Pablo


Jaime Oscar
sangra Vino

Luis
Champagne
Luego Pablo brind con cctel y Oscar brind con vino

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
Lima Cuzco Tacna Der Edu Arq
Mara no No si no no Si
Luca Si no no Si No no
Irene no si no no Si No Respuesta . ( d )






58



Solucin

Relojero Panadero Pianista
Aldo Si No No
Cirilo No Si No
Baltazar No No Si

Del grfico concluimos que:
Aldo es relojero, Cirilo es panadero, Y Baltazar es pianista

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

Entonces es cierto que:

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.
R M C A
4 3 2 1 E D C B A F E F E
* De (1), (2 )
y (3 )

D


C B D

E De (1) y (2):


C B C B

C A B C B y
C B
A < < <
+
=
2

S
1
o























F
B F C


B


E C
D Delante del
personaje
es
su
derecha

E F

Detrs del
personaje es
su izquierda
C
F E
B A
A F A E A F E

F A B E C D F A C E B D