Sei sulla pagina 1di 20

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

PROPOSICIONES SIMPLES Y COMPUESTAS.

PROPOSICIN SIMPLE o Atmicas o No estructurales: Carecen de conector lgico.. 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 o Moleculares (Coligativas): se caracterizan principalmente porque poseen


conectores lgicos. As, por ejemplo:

a) El ingeniero Carbonel es uno de los fundadores del CPU y es el mayor de todos.

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.

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 o conectores lgicos, los cuales se pueden
identificar con palabras como:

El Negador. (Negacin) - A, ~A, A, A


No A, nunca A, jams (A) Es inadmisible que A Nadie que sea A
Es incompatible que A De ninguna forma se da A Es objetable que A
Es inconcebible que A En forma alguna A Es absurdo que A
No ocurre que A Carece de todo sentido A El falso que A
No es verdad que A De ningn modo A Es refutable que A
No es el caso que A En modo alguno A Es falaz que A
No acaece que A Es incorrecto que A
Es mentira que A Es incierto que A

El Conjuntor tambin llamado compatibilizador (conjuncin) A B, A & B, A x B, A.B, AB


A y B A an cuando B No slo A sino tambin B
A aunque B A tambin B A as mismo B
A pero B A de la misma forma que A al igual que B
A sin embargo B B A a pesar de B
A incluso B A al igual que B A a la vez B
A es compatible con B Tanto A como B A ms B
A as como B Siempre ambos A con B A con B los dos a la vez
A del mismo modo B A no obstante B
El Disyuntor Dbil (Incluyente) A v B, A + B.

A o B (sentido incluyente) A o en todo caso B Al menos uno de los dos A


A a menos que B A o bien B o B
Amenos que A, B A a no ser que B A o sino B
A salvo que B A o incluso B A alternativamente B
A excepto que B A y bien o tambin B A y/o B
A o tambin B

El Disyuntor Fuerte (Excluyente) A V B, A B, A D B, A


/ B, A / B

A o B (sentido excluyente) A salvo que nicamente B A no es idntico a B


bien A o bien B A excepto que slo B Salvo que A o B
solo A o solo B Amenos que slo A, B A no es lo mismo que B
O A oB A o bien necesariamente B A o tan solo B
A a menos que solamente A o exclusivamente B
B A no es equivalente a B

El Condicional AB, AB
El Implicador: A B (Implicacin Directa)

Si A entonces B Dado que A por eso B a condicin de que A , B


Siempre que A por En cuanto A por tanto B A de manera que B
consiguiente B Porque A por eso B A de modo que B
Ya que A bien se ve que B Como A es evidente B A es suficiente para B

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 Replicador: A B (implicacin inversa)

Slo si A, B Una condicin suficiente A es insuficiente para B


Slo cuando A, B para A es B Es necesario A para B
Solamente porque A, B Solo si A, B Es insuficiente A para B
A si B A dado que B A cada vez que B
A porque B A se concluye de B A est implicado por B
A dado que B A , si B A con la condicin de que
A ya que B A supone que B B
A siempre que B A ya que B Si solamente A cada vez
A cada vez que B Para A es suficiente B que B
A a condicin de que B A puesto que B A debido a que B
Es una condicin necesaria A deviene de B A depende de B
A para B A es condicin necesaria A sigue de B
para B nicamente si A, B
El Bicondicional A B, A B, A B.

A si y slo si B Es necesario A para que necesariamente B


A por lo cual y segn lo cual B A es condicin suficiente y necesaria para B
A cuando y slo cuando B A siempre que y slo cuando B
A cada vez que y slo si B Siempre que A y siempre que B
Si y slo si A, B A es equivalente a B
A se define lgicamente como B A es lo mismo que B
A si de la forma B A es idntico a B
Porque y solamente porque A, B A implica y est implicado por B
Es suficiente A para que suficientemente 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

LAS TRES LEYES DEL PENSAMIENTO


Principio de Identidad: PP
Principio de no contradiccin: (p p)
Principio del Tercio Excluido: p p

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.

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

Ejemplo2: sea la declaracin


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: pq , 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 . Denotamos por p q (se lee "p o q"), cuya tabla de verdad es:

p q p 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.

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

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.

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.

Por ejemplo: te presto mi libro porque aprob

te presto mi libro porque aprob


144 42444 3 123
q: consecuente p : antecedente

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

Ejemplo4: Si Gaby est en la playa, est nadando

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.

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

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

Ejemplo: Sea i) a = b si y slo si a2 = b2

El enunciado est compuesto por las proposiciones:


p: a = b

48
q: a2 = b2
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 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.

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 q) realizando su tabla de verdad:

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

Vemos que para cualquier combinacin de las proposiciones p y q , la proposicin t: (pq) (~ p q) es


siempre verdadera. Entonces, la proposicin t es una tautologa.

Ejemplo2: Analicemos ahora la frmula lgica { ( p q ) p } q

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.

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 F1 y F2 son equivalentes si: F1 F2 resulta ser una tautologa. Y se denota F1 F2

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 V F V V

V F F V F V

F V V F V V

F F V F V V

Podemos concluir entonces que: ( p q ) y ~ ( p ~ q) son equivalentes.

( 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

PONENDO PONENS (Afirmando - afirmo) [(B A) (C B)] (C A)


[(A B) A] B SILOGISMO DE TRANSITIVIDAD
[(A B) A] B SIMTRICA:
[(A B) B] A [(A B) (B C)] (A C)
TOLLENDO -TOLLENS (Negando - Niego) [(A B) (C B)] (A C)
[(A B) - B] - A [(B A) (B C)] (A C)
[(A B) - B] - A CONJUNCIN
[(A B) - A] - B (A B) (A B)
PONENDO-TOLLENS(Afirmando- Niego) SIMPLIFICACIN:
[(A B) A] - B (A B) A
[(A B) B] - A (A B) B
ADICIN:
TOLLENDO-PONENS(Negando - Afirmo)
A (A v B)
[(A B) - A] B
Dilema Constructivo Compuesto: (D.C.C.)
[(A B) - B] A
[(A B) (C D) (A C)] (B D)
[(A B) - A] B Dilema Destructivo Compuesto: (D.D.C.)
[(A B) - B] A [(A B) (C D) (B D)] (A C)
SILOGISMO HIPOTTICO PURO:
[(A B) (B C)] (A C)

EQUIVALENCIAS PARA SIMPLIFICACIN

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.

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:
P1
P2
P3
( P1 P2 P3 . Pn ) Q o M
Pn
\Q

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.

Prueba de la validez por tablas de verdad


Como una inferencia es vlida si y slo si (P1 P2 P3 . Pn) 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.
( P1 P2 ) Q

adems P1 : Juan es abogado o arquitecto : (p q)


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

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

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:
P1: Si trabajo y estudio entonces no apruebo matemticas: (pq) ~r
( p q ) ~ r

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

Por tanto la inferencia es valida.

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): ( P1 P2 P3 . Pn ) 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 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.

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 ~ q) procedemos del mismo modo

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

Tipos de Orden de Informacin:

Orden de Informacin

Ordenamiento Creciente - Decreciente

Ordenamiento horizontal - vertical

Ordenamiento Circular

Test de Decisiones

Ordenamiento Creciente y Decreciente

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.

III) A no es mayor que B VIII) Si: B > A y C >A, entonces no hay


AB (A < B A = B) comparacin entre B y C (no se puede
determinar quien es el mayor)
IV) A no es menor que B
B+C
AB (A > B A = B) IX) Si: A = y B <C
B < A < C
V) A es menor que B, pero mayor que C
2
C<A<B B>A>C X) Si: A > B > C A>C

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

Si Rosa > Sofa Sofa < Rosa


Noemi > Luca Luca < Noem = 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.

Ordenamiento Vertical y Horizontal:

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

III) A junto a la derecha de B VI) A se sienta en el extremo izquierdo, y


B A B a tres sitios de l
A B
IV) A junto a la izquierda de B

56
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 IX) A est adyacente a B y C


pisos B A C C A B
A
X) Se empezar ordenando por el dato ms
B 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
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

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

E E

C B A

57
2.
E

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


E

A A

1ra posibilidad 2da posibilidad

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

D D

B C

E E

C B

A A

F F

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.

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:

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

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:

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

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 )

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

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.

61