Matemática Discreta

Sesión Leyes Lógicas

Mg. Lorenzo Tanco Villasante

Docente – Universidad Continental
ltanco@continental.edu.pe
 TABLAS DE VERDAD-LEYES LÓGICAS
Y REGLAS DE INFERENCIA

PROPÓSITO
El Estudiante evalúa y construye tablas de verdad a partir de los
conectores lógicos.
El estudiante utiliza las leyes y equivalencias notables para simplificar
esquemas lógicos
El estudiante interpreta las Reglas de inferencia y a partir de ellas
demuestra la validez de los razonamientos.

Mgº Juan Lira

 LEYES LÓGICAS

Principio de identidad
• El río Mantaro es el río Mantaro.
• pp, también: AA, Asimismo: p  p, también: A  A
Principio de no contradicción
• No es posible que una montaña no sea una montaña.
• (p  p), también: (A  A)
Principio de tercio excluido
• Esta es la calle Real o no es la calle Real.
• p  p, también: A  A)
Mgº Juan Lira
 EQUIVALENCIAS NOTABLES
1. Eliminación de la doble negación (EDN):
• No es cierto que nosotros no construiremos un aeropuerto, es
lo mismo que decir: Nosotros construiremos un aeropuerto.
•AA
2. Teorema de De Morgan (DM):
• No es cierto que María es atleta y Nancy es bailarina, equivale
a decir: María no es atleta o Nancy no es bailarina.
• No es cierto que Juan es medico o Pedro es aviador, equivale
a decir: Juan no es médico y Pedro no es aviador.
• (AB)  A  B
• (AB)  A  B

Mgº Juan Lira

3. Conmutación:
• Viki estudia Agronegocios y Noelia estudia Psicología, es lo
mismo que: Noelia estudia Psicología y Viki estudia
Agronegocios.
• AB  BA, también: AB  BA y AB  BA
4. Asociación:
• Los gases tóxicos de las fábricas contaminan el ambiente.
Además lo hacen los vehículos y los desechos humanos sin
tratamiento. Esto es lo mismo que: Los gases tóxicos de las
fábricas y los vehículos contaminan el ambiente. Además lo
hacen los desechos humanos sin tratamiento.
• A(BC)  (AB)C, también: A(BC)  (AB)C

Mgº Juan Lira

5. Distribución:
• Luis corre. Además, Julio salta o Carlos baila. Es lo mismo que:
Luis corre y Julio salta, o Luis corre y Carlos baila.
• A(BC)  (AB)(AC), también: A(BC)  (AB)(AC)
6. Contra recíproco o Transposición:
• Si hay agua, entonces me lavo las manos. Esto es lo mismo
que: Si no me lavo las manos, entonces no hay agua.
• A → B  B → A
7. Definición del Condicional:
• Si llueve entonces el suelo está mojado. Es lo mismo que: No
llueve o el suelo está mojado.
• A → B  A  B

Mgº Juan Lira

8. Definición del Bicondicional:
• El estudiante tiene beca, si y solo si, estudia
gratuitamente. Esto es lo mismo que: Si el estudiante tiene
beca, entonces estudia gratuitamente. Y si el estudiante
estudia gratuitamente, entonces tiene beca.
• AB  (A→B)(B→A)
• AB  (AB)(A  B)
9. Idempotencia:
• Juan Carlos estudia y Juan Carlos estudia. Es lo mismo
que: Juan Carlos estudia.
• AA  A

Mgº Juan Lira

 TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposición, es una

tabla que se arma con los posibles valores de verdad de las
proposiciones simples que la componen, con la finalidad de
obtener el valor de verdad de la proposición dada.-

Cantidad de valores de verdad debe llevar una tabla

nº valores = A' 2
n º proposiciones =2 n º proposiones

O sea que, si el número de proposiciones simples que

componen una proposición es 5, los valores de verdad
serán:
nº valores = 25 = 32
Mgº Juan Lira
OPERACIONES PROPOSICIONALES

La Negación
La negación de la proposición p es ~p, cuya tabla de
valores de verdad es la siguiente:

p ~p

V F
F V

Como conclusión podemos decir que la negación es

verdadera si la proposición simple es falsa y viceversa.
Mgº Juan Lira
 Tablas de verdad
No,
P ~P No es verdad que,
Es falso que,
V F No ocurre que
F V No es el caso que,….

No es cierto que Rodrigo sea maestro

Número de Filas
=2𝑛 ~ P
n=Número de proposiciones
Mgº Juan Lira
 La conjunción o producto lógico
La conjunción de las proposiciones p y q es la proposición
pq, donde p y q se llaman conjuntivos, cuya tabla de valores
de verdad es la siguiente:
Pero
p q pq
Sin embargo,
V V p: estudio
V Además,
q: veo TV
V F F No obstante,
F V F p  q: estudio y veo TV Aunque,
F F F A la vez,
También,….
Como conclusión podemos decir que la conjunción es
verdadera si ambos conjuntivos también lo son.-
Mgº Juan Lira
 Tablas de verdad CONJUNCIÓN

Juan es futbolista y Ana voleibolista

p  q
p q P q pp
2V V V V V
F
Filas = 2𝑛 = 22 = 2x2=4 filas V F F
2F
V F V F
F
F F F

Mgº Juan Lira

 La disyunción o suma lógica
La disyunción de las proposiciones p y q es la proposición
pvq, donde p y q se llaman disyuntivos, cuya tabla de valores
de verdad es la siguiente:

p q pq
V V V p: estudio
q: veo TV
V F V
F V V p v q: estudio o veo TV
F F F

Como conclusión podemos decir que la disyunción es

verdadera si al menos uno de los disyuntivos también lo es.-
Mgº Juan Lira
 Tablas de verdad DISYUNCIÓN

Juan es delantero o Luis es volante

p  q
p q P q p p
2V V V V V
F
Filas = 2𝑛 = 22 = 2x2=4 filas V F V
2F
V F V V
F
F F F

Mgº Juan Lira

 El condicional o la implicación
El condicional de las proposiciones p y q es la proposición
pq, donde p se llama antecedente y q consecuente, cuya
tabla de valores de verdad es la siguiente:

p q pq
Porque,
V V V p: apruebo Puesto que,
V F F q: te presto el libro
Cuando,
F V V Cada vez que,….
p  q: apruebo, entonces te
F F V
presto el libro
Como conclusión podemos decir que el condicional es falso si
el antecedente es verdadero y el consecuente es falso (2º
línea de la tabla).-
Mgº Juan Lira
 Condiciones necesarias y suficientes

p q pq
V V V p condición SUFICIENTE para
q (q si p)
V F F
q condición NECESARIA para
F V V p (p sólo si q)
F F V

Mgº Juan Lira

 El bicondicional o la doble implicación
El bicondicional de las proposiciones p y q es la proposición
pq, cuya tabla de valores de verdad es la siguiente:

p q pq
Cuando y solamente cuando
V V V
p: apruebo Entonces y solamente entonces…
q: te presto el libro
V F F
F V p  q: solamente si
F
apruebo, te presto el libro
F F V

Como conclusión podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones
simples que la componen son iguales.-
Mgº Juan Lira
 La diferencia simétrica o disyunción exclusiva
La diferencia simétrica de las proposiciones p y q es la
proposición p ∆ q, cuya tabla de valores de verdad es la
siguiente:
p q p∆q
o…..o….
V V F p: estudio Ejemplo

V F
q: veo TV O bien Manuel juega o bien estudia
V
F V V p ∆ q: estudio o bien veo TV
F F F

Como conclusión podemos decir que la diferencia simétrica es

verdadera si los valores de verdad de las proposiciones
simples que la componen son distintos.-
Mgº Juan Lira
 RESUMEN
p q pq pq pq pq p∆q
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

Mgº Juan Lira

Ejemplo

Si la proposición =(p^~q)->(r->~s) es falsa,

hallar los valores de verdad
p=V
=(p^~q)->(r->~s) q=F
F V
V V V F r=V
V F
F s=V
Mgº Juan Lira
Ejemplo Si proposición SON FALSAS, hallar los valores de verdad

=(~p^~q)v ~q p=V
(F ^ F ) v F q=V
F v F
F

=(p->~q)v(~r->s) p=V
V F q=V
V F V F r=F
F F s=F
F
Mgº Juan Lira
 TABLAS DE VERDAD

Hallar la tabla de verdad del siguiente esquema proposicional

(~p v q) -> (r ^ p)
Observación:
Numero de Filas 2𝑛 donde n es el número de proposiciones simples.
V
2V
4V F
2F V
Filas = 2𝑛 = 23 = 2x2x2=8 filas F
2V V
F
4F V
2F F
Mgº Juan Lira
 TABLAS DE VERDAD

p q r (~p v q) -> (r ^ p)
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F F F F V F F V
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F

Mgº Juan Lira

NOTAS:
Cuando los valores del operador principal son
todos verdaderos
• Tautología
Cuando los valores del operador principal son
todos falsos
• Contradicción
Cuando los valores tienen por lo menos una
verdad o una falsedad
• Contingencia
Mgº Juan Lira
 TABLAS DE VERDAD
Hallar la tabla de verdad del siguiente esquema proposicional
[(p->q) ^p]->q

p q [(p -> q) ^ P] -> q

V V V V V V V V V
V F V F F F V V F
F V F V V F F V V
F F F V F F F V F

TAUTOLOGÍA

Mgº Juan Lira

 Tautología
Definición
Se dice que una proposición es una tautología, si es verdadera
independientemente de los valores de verdad de las
proposiciones simples que la componen.-

Por ejemplo:
p q (pq)  [(pq)  (q p)]
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
Mgº Juan Lira
 Contradicción
Definición
Una proposición es una contradicción, si es falsa
independientemente de los valores de verdad de las
proposiciones simples que la componen

Por ejemplo:
p q (p q)  - [(p q)  (q  p)]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
1 4 1 3 2
Mgº Juan Lira
 Contingencia
Definición
Una proposición es una contingencia si no es ni verdadera ni
falsa independientemente de los valores de verdad de las
proposiciones simples que la componen
Por ejemplo:
p q (p q) v [(p q)  (q  p)]
V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
1 1 3 2
Mgº Juan Lira
 LEYES LOGICAS

Una ley lógica es una proposición verdadera.-

1º) Involución
La negación de la negación de una proposición, es
equivalente a la misma proposición

p -(-p)  p

V V F V

F F V V
2 1
Mgº Juan Lira
2º) Idempotencia de la conjunción

La conjunción de una misma proposición es equivalente a la

misma proposición.-

p (p  p)  p
V V V
F F V
1

Mgº Juan Lira

3º) Idempotencia de la disyunción

La disyunción de una misma proposición es equivalente a la

misma proposición.-

p (p  p)  p
V V V
F F V
1

Mgº Juan Lira

4º) Conmutatividad de la conjunción

La conjunción es conmutativa

p q (p  q)  (q  p)
V V V V V

V F F V F

F V F V F

F F F V F
1 1
Mgº Juan Lira
5º) Conmutatividad de la disyunción

La disyunción es conmutativa

p q (p  q)  (q  p)
V V V V V

V F V V V

F V V V V

F F F V F
1 1
Mgº Juan Lira
6º) Asociatividad de la conjunción
La conjunción es asociativa
p q r (p  q)  r  p  (q  r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
1 2 2 1
Mgº Juan Lira
7º) Asociatividad de la disyunción
La disyunción es asociativa
p q r (p  q)  r  p  (q  r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
1 2 2 1
Mgº Juan Lira
8º) Ley de De Morgan (de la conjunción)

La negación de una conjunción es equivalente a la

disyunción de las negaciones.-

p q -(p  q)  -p  -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
2 1 1 3 2
Mgº Juan Lira
9º) Ley de De Morgan (de la disyunción)

La negación de una disyunción es equivalente a la

conjunción de las negaciones.-

p q -(p  q)  -p  -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
2 1 1 3 2
Mgº Juan Lira
10º) Distributividad de la conjunción con respecto a la disyunción
La conjunción es distributiva con respecto a la disyunción
p q r (p  q)  r  (p  r)  (q  r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
1 2 1 3 2
Mgº Juan Lira
11º) Distributividad de la disyunción con respecto a la conjunción
La disyunción es distributiva con respecto a la conjunción
p q r (p  q)  r  (p  r)  (q  r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
1 2 1 3 2
Mgº Juan Lira
10º) Las implicaciones asociadas
p  q Directa q  p Recíproca
-p  -q Contraria -q  -p Contra - recíproca
pq qp
Recíprocas

Contrarias

Contrarias
-p  -q -q  -p
Recíprocas

Mgº Juan Lira

Propiedad
Las implicaciones contrarrecíprocas son equivalentes.

O sea que:

p q p  q  -q  -p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
1 1 3 2

Mgº Juan Lira

 11º) Negación de una implicación
La siguiente proposición es una tautología, o sea:

p q (p  q)  -(p  -q)
V V V VV F F
V F F VF V V
F V V VV F F
F F V VV F V
1 3 2 1
Ahora: -(pq)  -[-(p  -q)  p  -q
Pero: -(pq)  -[-(p  -q)  -(-p  q)
Ahora: (pq)  -(p  -q)  -p  q
Mgº Juan Lira
12º) La doble implicación y la implicación

La doble implicación es equivalente a la conjunción de

la implicación y su recíproca.

p q (p  q)  [(pq)  (qp)
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V

1 1 3 2

Mgº Juan Lira

 Leyes lógicas resumen
ley
Involución D. Neg. ~(~p) ≡ p
Idempotencia p^p≡p
pvp≡p
Leyes conmutativas p ^ q ≡ q ^p
p ^ q ≡ q ^p
Leyes Asociativas (p^q)^r≡ p^(q ^r)
(pvq)vr≡ pv(q v r)
Leyes distributivas r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
Leyes de Morgan ~( p ^ q ) ≡ ~p v ~q
~( p v q ) ≡ ~p ^ ~q
Mgº Juan Lira
 ley
Leyes del condicional p →q ≡ ~p v q
~ (p →q) ≡ p ^ ~q
Leyes del bicondicional p q≡(p→q)^(q→p)
p q ≡ ( p ^ q ) v ( ~p ^ ~q )
Leyes de la absorción p ^ ( p v q ) ≡ p
p ^ ( ~p v q ) ≡ p ^ q
pv(p^q)≡p
pv(~p^q)≡pvq
Leyes de transposición p → q ≡ ~ q → ~p
p q≡~q ~p
Ley de exportación ( p ^ q ) → r ≡ p → ( q → r)

Mgº Juan Lira

 ley

Normas Normales
Conjunción V^V≡V
V^p≡p
F^p≡F F = Falso

Disyunción FvF ≡F
Fvp≡p
Vvp≡V V= Verdadero

ley
Tercio excluido p v ~p ≡ V
p ^ ~p ≡ F
T = tautología
Mgº Juan Lira
C = Contradicción
 Simplificar:

[(~p^q)→(s^~s)]^~q Tercio excluido: (p^~p)≡F

[(~p^q)→F]^~q Leyes de condicional: p→q≡~p v q

[~(~p^q) v F]^~q Leyes de Morgan: ~(p v q)≡~p ^ ~q

[(p v ~q) v F]^~q Formas Normales: F v p ≡ p

(p v ~q) ^~q Leyes de absorción: (p^(p v q) ≡ p
~q Mgº Juan Lira
 Simplificar:
~[~(~p v q)→p] v q Leyes del condicional: p→q≡~p v q
~[~~(~p v q) v p] v q Involución (doble negación): ~(~p) ≡ p
~[(~p v q) v p] v q Leyes asociativas: (p v q) v r ≡ p v (q v r)
~[(~p v p) v q] v q Tercio excluido: p v ~p ≡ V
~[ V v q] v q Disyunción: V v p ≡ V
~[ V ] v q

F vq Disyunción: F v p ≡ p
q Mgº Juan Lira
Determinar los circuitos lógicos que representan los
siguientes esquemas moleculares.
a)

Mgº Juan Lira

Determinar los circuitos lógicos que representan los
siguientes esquemas moleculares.

Mgº Juan Lira

Determinar los circuitos lógicos que representan los
siguientes esquemas moleculares.

Mgº Juan Lira

Ingº Juan Lira