Tablas de verdad-leyes lógicas y reglas de inferencia

MATEMÁTICA DISCRETA

1
 PROPÓSITO
• Resuelve ejercicios de tablas de verdad-leyes
lógicas y reglas de inferencia
 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)
 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
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
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
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
 DEDUCCION NATURAL
Las derivaciones o deducción natural consiste en
comprobar que la conclusión señalada se deriva de las
premisas propuestas.
Para estas comprobaciones se utiliza las equivalencias
lógicas y las reglas de implicancia.
Si no es posible demostrar se considera que el
argumento es inválido
 Prueba directa mediante Modus Ponens

Se tiene el siguiente argumento:

 Si muere su mascota entonces está triste.
 Si está triste entonces llora.
 Es cierto que muere su mascota.
 -----------------------------------------
 Por lo cual, llora.
Al formalizar, tenemos las siguientes proposiciones atómicas:
• p: muere su mascota
• q: esta triste
• r: llora
 pq
 qr
 p /┠ r
Es necesario comprobar si el resultado es r  llora, para ello se efectúa una
demostración:
1. p  q
2. q  r
3. p /┠ r
4. q MP 1,3
5. r MP 2,4
 Prueba directa mediante Modus Tollens
Demostrar que:
1. (pq)r
2. r
3. r(pq) /┠ r
4. (pq) MT 1,2
5. r MT 3,4
 Prueba directa mediante Simplificación

• pq pq
• ------ ------
• ┠p ┠q
Aplicar simplificación en la siguiente prueba directa:
• pq
• qr /┠ r
1. pq
2. qr /┠ r
3. q Simp 1
4. r MP 2,3
Hemos construido una prueba del argumento:
pq
qr /┠ r
 Prueba directa mediante Adición
•A
• ----------
•∴ AB
• Si entre las premisas existe una proposición, entonces en la conclusión se puede adicionar
otra proposición cualquiera mediante una disyunción.
Ejemplo de Adición:
Sea el siguiente argumento:
(p  q)  (r  s)
r
p  q /┠ s  t
1. (p  q)  (r  s)
2. r
3. p  q /┠ s  t
4. r  s MP 1,3
5. s MP 4,2
6. s  t Adición 5