Leyes Lógicas

Clase # 2
Juan Alberto Lira Mamani
 Propósito de la Clase

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.
 Lógica de Proposiciones Actividad

• La sintaxis nos indica cuáles son los enunciados que se pueden

construir.

• Los enunciados atómicos se componen de una sola proposición.

• Una proposición tiene un solo valor de verdad: Verdadero o

Falso.
 Lógica de Proposiciones
• Los enunciados complejos se forman a partir de
enunciados más simples y el empleo de conectivos
lógicos.

• Los Conectivos Lógicos son cinco:

• NO (~) también conocida como Negación.
• Y (^) también conocida como Conjunción.
• O (v) también conocida como Disyunción.
• Implicación (⇒) también conocida como Condicional.
• Sí y sólo si (⇔) también conocida como Bicondicional.
 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

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
REGLAS DE INFERENCIA
LÓGICA

Mgº Juan Lira

Equivalencias entre la lógica proposicional y el álgebra de Boole
 
Circuito paralelo: Y=S1+S2
 
Circuito serie: Y=S1 x S2.

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

 ¿Qué aprendimos hoy?

• Leyes Lógicas
• Equivalencias notables
• Tablas de Verdad
• Operaciones proposicionales
• Reglas de inferencia lógica

Mgº Juan Lira

 Referencias Bibliográficas

• Epp, S. (2012). Matemáticas discretas con aplicaciones (4.a ed.).

Cengage Learning. https://bit.ly/3pivwKf
•  García, M. (2017). Matemática discreta para la computación:
nociones teóricas y problemas resueltos (2.a ed.). Universidad de
Jaén. https://bit.ly/39hLRct
• Malva, A., Schwer, I., Cámara, V. y Fumero, Y. (2005). Matemática
discreta: con aplicaciones a las ciencias de la programación y de la
computación. 1a ed. Argentina: Universidad Nacional Del Litoral.

Mgº Juan Lira