Taller: Lógica proposicional

Actividad 2

Katalina Perdomo Vidal

ID:969188

Corporación Universitaria Minuto de Dios – UNIMINUTO

Erick Alexander Reina
Facultad de Ingeniería
Lógica matemática
____________________________________________________________________________
Con base en las lecturas propuestas para la actividad, resuelva los siguientes puntos:

1. ¿Cuándo una expresión es una fórmula bien formada y cómo se demuestra?

Rta: cuando una expresión en una formula bien formada hay 3 formas

-Tautología; se demuestra en una tabla de verdad donde la última columna o el

resultado de la tabla de verdad es toda verdadera

-Contradicción: se demuestra en una tabla de verdad donde la última columna o el

resultado de la tabla de verdad es toda falsa.

Contingencia: se demuestra en una tabla de verdad donde la última columna o el

resultado de la tabla de verdad es toda falsa y verdadera ósea aleatoria.
Observación: cuando es bien formada es de las 3 formas presentadas y si es bien estructurada
es tautología.
2. ¿Qué son las leyes lógicas? Mencione diez de ellas y explíquelas con un ejemplo.
Rta:
-las leyes lógicas son: Son equivalencias lógicas que nos permiten simplificar una
proposición y expresarlo en forma más sencilla.

-1 leyes de involución o doble negación: negar una preposición dos veces equivale a
la afirmación de la misma preposición.

- 2 leyes de idempotencia: Significa igual valor; esto quiere decir que, al operar
una misma proposición con los conectivos de conjunción o disyunción inclusiva,
equivale a la misma proposición.
- 3 leyes del tercero excluido: Significa que, al operar una proposición con su
contrario, el resultado es falso con la conjunción y verdadero con la disyunción
inclusiva.

- 4 leyes de conmutativas: conmutar significa cambiar de lugar u orden

- 5 leyes asociativas: asociar significa agrupar de diferente manera

- 6 leyes distributivas: es distribuir con la primera premisa con cada una de las de
más premisas
- 7 leyes de Morgan: Al negar una conjunción o disyunción de dos proposiciones
obtendremos la negación de cada una de estas, pero cambiando la conjunción por
la disyunción y viceversa.
- 8 leyes condicionales: es cambiarle de conectivo

- 9 leyes bicondicionales: la el operador si solo si cambia

- 10 leyes de absorción tienen 2 tipos de absorción:

• Absorción total: solo operadores diferentes es como buscar la moda

• Absorción total:
 Tomado de: https://www.youtube.com/watch?v=Ge4hoaXlYVA&t=3s
https://www.google.com/url?sa=i&url=https%3A%2F%2Fm.youtube.com%2Fwatc
h%3Fv%3Df8QP2X3YyMM&psig=AOvVaw0ZyWJUj8dKsmog8iOamB24&ust=
1709839486582000&source=images&cd=vfe&opi=89978449&ved=0CBQQjhxqF
woTCOjHk86u4IQDFQAAAAAdAAAAABAQ

3. ¿Qué son y cómo se determinan los valores de un diagrama de verdad? Presente un

ejemplo para argumentar su respuesta.
Rta: lo que determina los valores de la tabla de verdad son los conectivos y sus reglas
cada uno
- ¿Que son los conectivos, operadores?
son expresiones o locuciones que sirven para entrelazar oraciones, párrafos o partes
de un texto, señalando relaciones semánticas entre ellos.

-las reglas o valores que tiene cada conectivo

Solo es verdadero
cuando ambas partes
son verdaderas
 Solo es falsa cuando
ambas son falsas

Solo es falsa cuando

ambos son falsos o
ambas son verdaderas

Solo es falsa si la
primera es verdadera y
la segunda falsa

Solo son verdaderas

cuando son iguales

- Un Ejemplo en acción de los conectivos

Información tomada mis apuntes de clase y del libro de lógica matemática y la

página:
https://ney.one/algebra-i-clasificacion-de-formulas-proposicionales/

4. ¿Cuándo una proposición compuesta es tautología, contradicción o contingencia?

Elabore un ejemplo para cada caso.
 Rta: en todas se debe hacer la tabla de verdad para comprobar si es completa o
derivada.
- Tautología: es cuando el valor de toda la última columna o tabla es verdadero.

-contradicción: es cuando el valor de toda la última columna o tabla es falso

-contingencia o indeterminación: es cuando el valor de toda la última columna o tabla

es variada o aleatorio entre verdadero o falso.

Información tomada de mis apuntes de clase y las imágenes de internet :

https://www.google.com/search?sca_esv=b6c25dbec4ffd71b&sca_upv=1&sxsrf=ACQVn0
8p3KmjLnZ-
WWwR5Eivjz1ZLm4Lpg:1709842513947&q=tautologia,contradiccion,contingencia&tbm
=isch&source=lnms&sa=X&sqi=2&pjf=1&ved=2ahUKEwiRhqnd--
KEAxXxfjABHcW4AaEQ0pQJegQIBxAB

5. ¿Qué es la inferencia lógica y cuáles son sus reglas? Ejemplifique cada una de ellas.
Rta.
- ¿Que es la inferencia lógica?
Es la forma en que tomamos conclusiones basadas en las oraciones o palabra y
observaciones dadas cuando utilizamos un proceso llamado razonamiento lógico que
utiliza reglas.
-reglas de la inferencia lógica
la inferencia lógica tiene reglas que guían al razonamiento lógico, se dice que la
conclusión es una conclusión extraída de las proposiciones anteriores.

Modus ponendo ponens :

“el modo que, al afirmar, afirma”
Ejemplo 1:
Si el esta en el partido de futbol, entonces el esta en el estadio. Premisa 1
El esta en el partido de futbol Premisa 1
El esta en el estadio Conclusión

Simbolizara de la siguiente manera:

P: el esta en el partido de futbol

Q: el está en el estadio

Si el está en el partido de futbol, entonces el está en el estadio. Premisa 1

El está en el partido de futbol Premisa 1
El está en el estadio Conclusión

Ejemplo 2:
Premisa 1: si no hace frio, entonces el lago no se congelará
Premisa 2: No hace frio
Conclusión: El lago no se congelará

P: hace fríos
Q: el lago se congelará

Modus tollendo tollens

“el modo que, negar, niega”
Ejemplo:
Si tiene luz propia, entonces el astro es una estrella. Premisa 1
El astro no es una estrella. Premisa 2
Por tanto, no tiene luz propia. Conclusión

Se simboliza
P: tiene luz propia
Q: el astro es una estrella
 Doble negación
Pasar de una premisa única a la conclusión
Ejemplo:
Premisa 1: no ocurre que Andrés no es un estudiante
Conclusión: Andrés es un estudiante

La doble negación puede actuar de sentido contrario

Ejemplo:
Premisa 1: juan toma el autobús para ir a la escuela
Conclusión: no es cierto que juan no toma el autobús para ir a la escuela

Así la regla tiene dos formas simbólicas

Modus tollendo ponens

El nombre latino dice que negado (tollendo) un miembro de la disyunción se afirma (ponens)
el otro miembro
Simbólicamente, el modus tollendo tollens se puede expresar:
Ejemplo:
Premisa 1: O esta sustancia contiene hidrogeno o contiene oxigeno
Premisa 2: esta sustancia no tiene hidrogeno
Conclusión: esta sustancia contiene oxigeno

Existen otras reglas mas de la inferencia lógica

Esta información es tomada de un video: https://www.youtube.com/watch?v=dgylbQqnnIk