Lógica Matemática

Orden de información

LÓGICA MATEMÁTICA

La lógica proposicional utilizando una representación primitiva del lenguaje, permite representar y manipular
aserciones sobre el mundo que nos rodea. La lógica proposicional permite el estudio del razonamiento, a través
de un mecanismo que primero evalúa enunciados simples y luego enunciados complejos, formados mediante el uso
de conectivos proposicionales.

PROPOSICIÓN: Es una expresión lingüística, con sentido completo que se puede determinar si son verdaderos
o falsos, pero no ambos a la vez. Una proposición es el significado de una oración aseverativa.
Por ejemplo: Los animales son irracionales
5 es mayor que 8

Una proposición se representa simbólicamente por letras minúsculas, como: p, q, r, s, etc. Las cuales son
llamadas variables proposicionales.
El hecho de que una proposición sea verdadera o falsa, lo expresaremos simbólicamente veamos:
Sea p: Todos los hombres son mortales
Esta proposición es verdadera, entonces diremos que su valor de verdad es verdadero y lo denotaremos por:
V(p) = V
Sea q: 2 es un número impar
Esta proposición es falsa, entonces diremos que su valor de verdad es falso y lo denotaremos por:
V(q) = F

Observación: Aquellos enunciados que indican una pregunta, una exclamación, una orden, No son Proposiciones.
Ejemplos: ¿Te parece guapa Morticia? ¡gané!
Báñate bien bebé Tus lindos labios

Hay oraciones aseverativas que no son proposiciones. La oración “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 símbolos x, y, z, etc. No son proposiciones pero
cuando se reemplazan estas palabras o símbolos por indeterminado objeto o valor resultan ser proposiciones.
Ejemplos: 7 + x = 111.
p es un número 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 proposición falsa.
Si en el segundo enunciado si reemplazamos “p” por 777
Tendremos “777 es un numero natural”. La cual ahora es una proposición verdadera.

PROPOSICIONES SIMPLES Y COMPUESTAS.

 PROPOSICIÓN SIMPLE o Atómicas o No estructurales: Carecen de conector lógico.. Por ejemplo:

p: "15 es divisible por 3 " es una proposición simple o atómica.
q: "Francisco Bolognesi Murió el 7 de Junio" es una proposición simple o atómica

 PROPOSICIÓN COMPUESTA o Moleculares (Coligativas): se caracterizan principalmente porque poseen

conectores lógicos. 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 también una proposición compuesta.

NOTACIÓN Y CONECTIVOS LÓGICOS

A partir de proposiciones simples es posible generar otras, Es decir que se puede operar con proposiciones y
para ello se utilizan ciertos símbolos llamados conectivos o conectores lógicos, los cuales se pueden
identificar con palabras como:

El Negador. (Negación) - A, A, A, A

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

El Conjuntor también llamado compatibilizador (conjunción) A  B, A  B, A x B, A.B, AB

 A y B  A aún cuando B  No sólo A sino también B
 A aunque B  A también 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 más 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 Débil (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 también B  A y/o B
 A o también B

El Disyuntor Fuerte (Excluyente) A V B, A  B, A  B, A 

 B, A  B

 A o B (sentido excluyente)  A salvo que únicamente B  A no es idéntico a B

 bien A o bien B  A excepto que sólo B  Salvo que A o B
 solo A o solo B  Amenos que sólo A, B  A no es lo mismo que B
 O A o B  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 AB, AB

El Implicador: A  B (Implicación Directa)

 Si A entonces B  Dado que A por eso B  a condición 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
 Cada vez que A,B
 Con la condición de A
esto trae consigo B
 Cuando A , B
 Es una condición suficiente
A para B
 Para A es necesario B
 Porque A,B
 Si A, B
 Siempre que A por tanto B
 Una condición necesaria
para A es B
 Con tal que A es obvio que
B
El Replicador: A  B (implicación inversa)
 Sólo si A, B
 Sólo cuando A, B
 Solamente porque A, B
 A si B
 A porque B
 A dado que B
 A ya que B
 A siempre que B
 A cada vez que B
 A a condición de que B
 Es una condición necesaria
A para B
El Bicondicional A  B, A  B, A  B.
 A si y sólo si B
 A por lo cual y según lo cual B
 A cuando y sólo cuando B
 A cada vez que y sólo si B
 Si y sólo si A, B
 A se define lógicamente como B
 A si de la forma B
 Porque y solamente porque A, B
 Es suficiente A para que suficientemente B
Ni A ni B
No A y no B
El Incompatibilizador: A  B; A / B
LAS TRES LEYES DEL PENSAMIENTO
Principio de Identidad: PP
Principio de no contradicción:  (p   p)
Principio del Tercio Excluido: p p
 Toda vez que A en  A trae como consecuencia
consecuencia B a B
 A consiguientemente B  De A deviene B
 Dado que A por lo cual B  Partiendo de A llegamos a
 En la medida que A de allí B
B  De A inferimos,
 En virtud de que A deducimos, coligamos B
entonces B  Para A es condición
 A implica a B necesaria B
 A es innecesario para B  A sólo cuando B
 A es condición suficiente  Es suficiente A y B
para B necesario
 A sólo si B  En el caso que A en tal
 A luego B sentido B
 Una condición suficiente  A es insuficiente para B
para A es B  Es necesario A para B
 Solo si A, B  Es insuficiente A para B
 A dado que B  A cada vez que B
 A se concluye de B  A está implicado por B
 A , si B  A con la condición de que
 A supone que B B
 A ya que B  Si solamente A cada vez
 Para A es suficiente B que B
 A puesto que B  A debido a que B
 A deviene de B  A depende de B
 A es condición necesaria  A sigue de B
para B  Únicamente si A, B
 Es necesario A para que necesariamente B
 A es condición suficiente y necesaria para B
 A siempre que y sólo cuando B
 Siempre que A y siempre que B
 A es equivalente a B
 A es lo mismo que B
 A es idéntico a B
 A implica y está implicado por B
El Inalternador: A B
No A o no B
45
OPERACIONES PROPOSICIONALES

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o más proposiciones, de las
que se conoce los valores veritativos, se trata de caracterizar la proposición resultante a través de su valor
de verdad. A tal efecto, estudiaremos a continuación el uso y significado de los diferentes conectivos
lógicos.

 LA CONJUNCIÓN: Se denomina conjunción al resultado de unir dos proposiciones p y q con el

conectivo lógico . 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 operación, establece que la conjunción es verdadera sólo si las dos proposiciones
componentes son verdaderas. En todo otro caso, es falsa.

Ejemplo1: Sea la proposición:

12
t : es un número par a pesar que es un múltiplo de 3
Vemos que está compuesta de dos proposiciones a las que llamaremos p y q, que son:
p: 12 es un número par.
q: 12 es un múltiplo de 3.
Por ser ambas verdaderas, la conjunción de ellas es verdadera.

Ejemplo2: sea la declaración

r : Hoy es el día 3 de noviembre y mañana es el día 5 de noviembre
Esta conjunción es falsa, ya que no pueden ser simultáneamente verdaderas ambas proposiciones.

Nota: Las palabras “pero”; “sin embargo” ; “además”; “aunque”; “no obstante”, equivalen al conectivo de la
conjunción.

Así: Julio estudia no obstante tiene que trabajar. El término no obstante representa conjunción por tanto
simbolizamos como sigue: pq , donde p : Julio estudia
q : Julio tiene que trabajar

 DISYUNCIÓN: Se denomina disyunción al resultado de unir dos proposiciones p y q con el conectivo

lógico . 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 disyunción sólo es falsa cuando ambas proposiciones son falsas.

Ejemplo1: Juan es ingeniero o artista

En este caso el sentido de la disyunción es inclusiva, ya que puede ser que Juan es ingeniero y además puede
ser artista.

46
Ejemplo2: Tiro las cosas viejas o que no me sirven
El sentido de la disyunción 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 además no me sirve, la disyunción es V

 Negación

Dada una proposición p, se denomina la negación de p a otra proposición denotada por ~ p (se lee "no p") que le
asigna el valor veritativo opuesto al de p. Por ejemplo:

P : Diego estudia matemática

~ p : Diego no estudia matemática
También puede escribirse: ~ p: no es cierto que Diego estudia matemática
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 negación le hace corresponder el valor F, y viceversa.

Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra, que es su negación.
Ejemplo: La negación de " p: todos los alumnos estudian matemática" es:
~ p: no todos los alumnos estudian matemática
O bien:
~ p: no es cierto que todos los alumnos estudian matemática
O bien
~ p: hay alumnos que no estudian matemática

 IMPLICACIÓN O CONDICIONAL: La Implicación de las proposiciones p y q es la proposición 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 proposición p se llama antecedente, y la proposición q se llama consecuente de la implicación o condicional. La

tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el consecuente es falso.

Ejemplo1: Supongamos la implicación

La implicación está compuesta de las proposiciones

p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o falsedad de la implicación i), en relación 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 implicación es verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple y la
proposición i) es falsa. Si p y q son verdaderas, entonces la proposición 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 proposición resulta ser verdadera por ser el antecedente (1 = –1) falso.

Nota: Los términos “porque” ; “ya que ”; “puesto que”; “si”,”cuando” se caracterizan porque después de estos
esta el ANTECEDENTE.

Por ejemplo: te presto mi libro porque aprobé

te presto mi libro porque aprobé

     
q : consecuent e p : antecedent e

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, estaría nadando”. Por lo tanto, es
verdadero.
¿Y si ni está en la playa ni está nadando? Lo mismo: si estuviera, estaría…
Desde luego, si está en la playa pero no está nadando (el caso de la segunda fila), se incumple nuestra
condición 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 IMPLICACIÓN O BICONDICIONAL: Doble implicación de las proposiciones p y q es la

proposición p  q (se lee "p si y sólo 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 implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad.

La doble implicación puede definirse como la conjunción de una implicación y su recíproca. 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)  (qp)

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 sólo si a2 = b2

El enunciado está compuesto por las proposiciones:

p: a = b

48
q: a2 = b2
Esta doble implicación es falsa si p y q tienen valores de verdad diferentes, En los demás casos es V.

 DIFERENCIA SIMÉTRICA 0 DISYUNCIÓN EXCLUSIVA

Diferencias simétrica o disyunción exclusiva (en sentido excluyente) de las proposiciones p y q es la proposición
p  q (se lee "p o q en sentido excluyente"), también ( o p o q ); cuya tabla de valores de verdad es:

P q pq
V V F
V F V
F V V
F F F

La verdad de p q está caracterizada por la verdad de una y sólo una de las proposiciones componentes.

Ejemplo: Sea i) o vamos a Lima o vamos a Cuzco.

Queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno. Es decir que el enunciado i) es
verdadero sólo si vamos a una de las dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado
es Falso.

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo denominamos

Fórmula lógica. Por ejemplo: ~{ (p  q)  (s  t) }

* Si al evaluar una fórmula lógica, resulta que todos los valores de verdad resultantes son siempre V para
cualquier combinación de sus valores veritativos, decimos que dicha fórmula es una Tautología o Ley lógica.

Ejemplo1: Si analizamos la proposición t: (pq)  (~ 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 combinación de las proposiciones p y q , la proposición t: (pq)  (~ p  q) es

siempre verdadera. Entonces, la proposición t es una tautología.

Ejemplo2: Analicemos ahora la fórmula lógica { ( 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 también que independientemente de la combinación de valores de verdad de las
proposiciones p y q, el resultado de la fórmula lógica es siempre V. Decimos, aquí también, que esta fórmula
es una tautología o ley lógica.

* Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de
verdad de las proposiciones intervinientes el resultado de dicha fórmula es siempre falso, decimos que
dicha fórmula es una Contradicción.

Ejemplo: Analicemos la fórmula lógica p  ~ p

P ~p p  ~p
V F F
F V F

Encontramos que la fórmula es siempre falsa, es entonces una Contradicción.

Si una proposición no es una tautología ni una contradicción (es decir que contiene al menos un valor V y otro F)
es una contingencia.

EQUIVALENCIAS Y LEYES LÓGICAS.

Existen varias equivalencias de la lógica proposicional, las cuales se conocen como leyes de equivalencia.
Dos formulas F1 y F2 son equivalentes si: F1  F2 resulta ser una tautología. 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    p q  . Vasta revisar las tablas de verdad

50
A continuación presentaremos algunas equivalencias lógicas:

Doble Negación:  p = p 2. p  (p  q) = p
Ley de D’Morgan: 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) Definición 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
Conmutación: 2. p  q = p  q
1. pq=qp 3. p  q = p  q
2. p  q = q  p 4. p  q = p  q
3. (p  q)  r = r  (p  q) Relación entre Biimplicador y Disyuntor
4. p  q = q  p Excluyente:
Contraposición: 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)
Asociación: 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
Definición del Implicador: 5. p  q = (p  q)
p  q = p  q 6. p  q = p  q
p  q = (p  q) Definición del Biimplicador:
Idempotencia: p  q = (p  q)  (q  p)……(1)
1. pp=p p  q = ( pq)  (qp)…….(2)
2. p  p  p  ……  p = p p  q = (p  q)  (p  q)… (3)
3. pp=p Definición del disyuntor excluyente.
4. p  p  p  ……  p = p A  B =  (AB)   (BA)
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 Distribución.
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
Extensión:
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: Mutación (Mut.)
1. pp=1 p  (q  r)  q  (p  r)
2. p  p = p Exportación (Export.)
3. pp=1 (p  q)  r  p  (q  r)
4. pp=0
Absorción:
1. p  (p  q) = p

51
 Lógica Matemática
Orden de información

IMPLICACIONES NOTABLES

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

[(A  B)  A]  B SILOGISMO DE TRANSITIVIDAD
[(A  B)  A]  B SIMÉTRICA:
[(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 CONJUNCIÓN
[(A  B)  - A]  - B (A  B)  (A  B)
PONENDO-TOLLENS(Afirmando- Niego) SIMPLIFICACIÓN:
[(A  B)  A]  - B (A  B)  A
[(A  B)  B]  - A (A  B)  B
ADICIÓN:
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 HIPOTÉTICO PURO:
[(A  B)  (B  C)]  (A  C)

EQUIVALENCIAS PARA SIMPLIFICACIÓN

ASOCIACIÓN:
[ (A  B)  C ]  [ A  (B  C)] ABSORCIÓN:
[ (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)
DISTRIBUCIÓN: 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 lógicas nos ayudan a simplificar expresiones simbólicas, las cuales representan enunciados.
Por ejemplo: Simplificar  { [ (p  q)   p ]  p }
Solución:
 { [ (p  q)   p ]  p }   { [ p  (p  q)]  p } ley conmutativa
  { [ p  (p  q)]  p } ley implicación
  { [ p ]  p } ley absorción
  { V } ley complementación

 F

51
INFERENCIA LÓGICA.

El interés de lógica 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 proposición
llamada conclusión.
Inferencia o razonamiento:
P1
P2
P3
( P1  P2  P3 ….  Pn) Q o 
Pn
Q

Pero como podemos determinar si la conclusión 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
podría concluir que por tanto Pedro Ruiz Gallo es lambayecano.
Pues a pesar de que las premisas son verdaderas la conclusión 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 válida si y sólo si el conjunto de premisas implica la conclusión, esto es (P1  P2  P3 ….  Pn)
Q , es una tautología.

Prueba de la validez por tablas de verdad

Como una inferencia es válida si y sólo si (P1  P2  P3 ….  Pn) Q, es una tautología. 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

además 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 CONCLUSIÓN EL RAZONAMIENTO NO ES VALIDO.( debe ser una tautología)

Ejemplo 2: Tenemos un argumento como el siguiente:
Si trabajo y estudio entonces no apruebo matemáticas. Pero aprobé matemáticas. Por tanto no trabaje o
no estudie.
Traducido a símbolos:
P1: Si trabajo y estudio entonces no apruebo matemáticas: (pq)  r
( p  q )   r

P2 : Aprobé matemáticas: 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 método 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 conjunción de premisas Verdadera y la conclusión Falsa, como única posibilidad que
invalida la implicación (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
Además q  V
Luego: (p  q )  V , remplazamos sus valores de verdad obtenidos.
(V  V )  V

Como podemos ver no hay ninguna contradicción en nuestro analisis esto significa que, los valores dados son
correctos y por tanto la implicación { ( p  q )  q }  p , es falsa.

Ejemplo 2: Tenemos un argumento como el siguiente:

Si trabajo y estudio entonces no apruebo matemáticas. Pero aprobé matemáticas. Por tanto no trabaje o
no estudie.
Traducido a símbolos:
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
Además r  V
Luego. [ ( p  q)  r ]  V remplazamos sus valores de verdad obtenidos
[( V  V )   V ]  V
[ (V)  F]  V
[ F]  V (CONTRADICCIÓN)
Como podemos ver hay una contradicción en nuestro análisis esto significa que, los valores dados NO son
correctos y por tanto la implicación { ( 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 cuantificación. Asociados a la indeterminada x, introducimos los símbolos  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 función proposicional p(x) cuantificada universalmente en el primer caso, y existencialmente
en el segundo.
Ejemplo: Una función proposicional cuantificada universalmente es V si y sólo si son V todas las proposiciones
particulares asociadas a aquella. Para asegurar la verdad de una proposición cuantificada universalmente es
suficiente que sea verdadera alguna de las proposiciones asociadas a la función proposicional.
Un problema de interés es la negación de funciones proposicionales cuantificadas. Por ejemplo, La negación de
"Todos los enteros son impares" es "Existen enteros que no son impares" y en símbolos:  x / ~ p(x)
Entonces, para negar una función proposicional cuantificada universalmente se cambia el cuantificador en
existencial, y se niega la función proposicional.
Ejemplo: Supongamos la proposición: Todos los alumnos de mi colegio son aplicados
La vamos a escribir en lenguaje simbólico, negarla y retraducir la negación al lenguaje ordinario.
Nos damos cuenta pronto que se trata de la implicación 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 función proposicional cuantificada universalmente y una implicación
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 proposición
r  s   p     p  q  es verdadera , entonces determine los valores de p; q; r y s .
Además: p  q es falso.
Solución:
Recordando: p  q    p  q 
 


F F
Luego:
 r  s   p   p  q
   
V F
  F 
 V

F F 
V


 

F F

       

V

 p  F ; q  V; r  V ; s  F

54
2. Si la proposición:  [ r  (~ p  q) ]  [(pq)  ~s ] es verdadera , halle los valores de verdad de cada
una de las proposiciones (p,q,r,s).
Resolución:
 [ 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 INFORMACIÓN
Las características más saltantes en este tipo de problemas es que en ellos siempre se presentan datos
desordenados, los cuales contienen toda la información, 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 más
gráfica, buscando esquematizar los datos de manera ordenada.

Tipos de Orden de Información:

Orden de Información

Ordenamiento Creciente - Decreciente

Ordenamiento horizontal - vertical

Ordenamiento Circular

Test de Decisiones

 Ordenamiento Creciente y Decreciente

Situaciones donde nos piden ordenar individuos según cualidades de mayor a menor o de menor a mayor, por lo
cual se debe tener en cuenta las siguientes proposiciones y su respectiva simbolización:

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
A≤B (A < B ò A = B) comparación entre “B” y “C ” (no se puede
determinar quien es el mayor)
IV) “A” no es menor que “B”
B C
A≥B (A > B ò A = B) IX) Si: A  y BC  B A C
2
V) “A” es menor que “B”, pero mayor que “C”
C<A<B ò B>A>C X) Si: A > B > C A>C

55
 Lógica Matemática
Orden de información

Ejemplo 1
En cierta prueba, Rosa obtuvo menos puntos que María; Marilú menos puntos que Lucía; Noemí el mismo
puntaje que Sara; Rosa más que Sofía; Marilú el mismo que María y Noemí más que Lucía. ¿Quién obtuvo el
menor puntaje?
Solución:
Rosa < María , Marilú < Lucía , Noemí = Sara
Rosa > Sofía , Marilú = María , Noemí > Lucía
De los datos se unen con una única desigualdad( por ejemplo el menor que : < )

Si Rosa > Sofía  Sofía < Rosa

Noemi > Lucía  Lucía < Noemí = Sara

Luego: Sofía < Rosa < María = Marilú < Lucía < Noemí = Sara
Entonces el menor puntaje lo obtuvo: Sofía

Ejemplo 2
En un pentagonal de fútbol, la tabla de posiciones fue la siguiente :
- Boys (B) obtuvo un punto más que Universitario (U)
- Universitario (U) obtuvo un punto más 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

Solución:
Ordenando las posiciones, tenemos:
A Si, Boys obtuvo dos puntos menos que Aurich  Aurich obtuvo dos puntos más que Boys.
+2
B
+1 Boys (B) obtuvo un punto más 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 más 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 más
B conciso (que sirva como una referencia
inicial)

Ejemplo 01

Seis amigos (A; B; C; D; E y F) están 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
Solución
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
¿Quién vive en el último piso?
a) B b) C c) D d) E e) F

Solución

1. B C 3.

E Ó E

C B A

57
 2.
E

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

E

ó
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 orientación referencial.

C B Delante del
personaje es
su derecha

D A

Detrás 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 Róger se sientan alrededor de una mesa redonda, en la que hay cuatro
sillas distribuidas simétricamente. Sabemos que:
- Carlos se sienta junto y a la derecha de Antonio
- Mario no se sienta junto a Antonio
- Róger está entretenido observando cómo los otros tres discuten
Según esto podemos afirmar:

a) Róger y Carlos se sientan juntos

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

Solución:
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 ocupación, 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 continuación 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. Además 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 señalen características especiales de los datos.
Un cuadro de doble entrada es el que a continuación le mostramos:

Matemático. Ingeniero. Biólogo.

Rojas  X X
William X  X
Matute X X 

EJERCICIOS DE APLICACIÓN
María, Lucía e Irene, viven en 3 ciudades distintas: Lima, Cuzco, Tacna, estudiando una carrera diferente:
Educación, Derecho y Arquitectura. Si se sabe que:
- María no vive en Cuzco - Lucía no vive en Tacna
- La que vive en Cuzco no estudia Derecho - Quien vive en Tacna estudia Arquitectura
- Lucía no estudia Educación

59
 ¿Dónde vive Irene y qué estudia?
a) Lima – Arquitectura b) Lima – Educación c) Lima – Derecho
d) Cuzco – Educación e) Cuzco - Derecho
Solución:
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 educación
María No o arquitectura.
Lucía no no Pero se sabe que: Si Tacna, si arquitectura Cuzco
Irene tiene que ser educación.

Además, como Lucia puede ser derecho o arquitectura Lucia tiene que ser derecho, ya que no Tacna.
Se ubica por último las demás afirmaciones o negaciones quedando el cuadro así:

Lima Cuzco Tacna Der Edu Arq

María no No si no no Si
Lucía Si no no Si No no
Irene no si no no Si No Respuesta . ( d )

EJERCICIOS DE APLICACIÓN

1.) Juan es más estudioso que Alex. Alex es menos estudioso que Miguel, pero más que Dany. ¿Cuál de las
siguientes expresiones será siempre verdadera?.
a) Juan es más estudioso que Miguel
b) Juan es menos estudioso que Dany
c) Juan es menos estudioso que Miguel
d) Juan es más estudioso que Dany
e) Juan estudia igual que Miguel
Solución
Juan > Alex
Dany < Alex < Miguel
Dany < Alex < Juan
Podemos observar que la conclusión siempre verdadera es que
Juan es más estudioso que Dany.

2.) La ciudad “A” tiene más habitantes que la ciudad “B”. La ciudad “B” tiene menos habitantes que la ciudad
“C” pero más que la ciudad “D”. Si “A” tiene menos habitantes que “C”. ¿Qué ciudad tiene más habitantes?

SOLUCIÓN
C
A
B
D
Rpta: la ciudad C

3.) Seis amigos, Angel, Daniel, Mario, Raúl, Sergio y Tomás se reúnen para cenar en una mesa redonda. Se sabe
que:
- Raúl no se sentó al lado de Tomás ni de Angel.
- Mario no se ubicó al lado de Angel ni de Raúl.
- Sergio no se sentó al lado de Tomas ni de Mario.
¿Quién se sentó junto y a la izquierda de Angel?

60
SOLUCIÓN:
A

S T

R M

Rpta: Tomás

3.) Aldo, Cirilo y Baltazar tienen ocupaciones: relojero, panadero y pianista; no necesariamente en ese orden.
Se sabe que Cirilo nunca tuvo buen oído para la música; 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

Solución

Relojero Panadero Pianista

Aldo Si No No
Cirilo No Si No
Baltazar No No Si

Del gráfico 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 político
- 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 limeño
c) Fernando es limeño y político
d) El político es de Piura
e) José es profesional.

Solución
Lima Piura Huancayo Político 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 político es de Piura.

61