Matemática Discreta

Sesión 1 Leyes Lógicas

Mgº Juan Alberto Lira Mamani

Docente – Universidad Continental
jlira@continental.edu.pe
WhatsApp 973602676
 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  2 5  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,
V F Es falso que,
F V No ocurre que
No es el caso que,….

No es cierto que Rodrigo sea maestro

 
Número de Filas
= ~ 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
p: estudio
Sin embargo,
V V V
q: veo TV Además,
V F F No obstante,
F V Aunque,
F p  q: estudio y veo TV
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
V V V V
2V
F V F F
 Filas = = 2x2=4 filas
V F V F
2F
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
V V V V
2V
F V F V
 Filas = = 2x2=4 filas
V F V V
2F
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 F p  q: solamente si
F F
apruebo, te presto el libro
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

 TABLAS DE VERDAD
 Hallar la tabla de verdad del siguiente esquema proposicional
(~p v q) -> (r ^ p)
Observación:
Numero de Filas donde n es el número de proposiciones simples.
V
2V
4V F
2F V
 Filas = = 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
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
Ingº Juan Lira