Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Entregado por:
Grupo: 200611_62
FECHA
2021
INTRODUCCIÓN
El siguiente trabajo tiene como fin la interpretación correcta de las diversas expresiones simbólicas
que se presenten en una demostración, al igual que distinguir las diferentes leyes de inferencia, analizar y
redactar la forma específica del lenguaje natural de las expresiones y aprender a realizar la tabla de verdad
de cada expresión.
.
OBJETIVOS
El estudiante reconocerá de forma adecuada el uso de las leyes de inferencia lógica para el
Reconocer la simbología de la lógica matemática para de esta forma dar comprensión y mejor
resultado
Uso de las reglas de las tablas de verdad para demostrar si están dan una tautología, contradicción
o contimgencia
EJERCICIO 1 UNIDAD 1_ANA MARIA IREGUI.
Ejercicio A
La emergencia sanitaria no fue ampliada hasta 31 de mayo y Las medidas de bioseguridad deben ser
modificadas y, La emergencia sanitaria fue ampliada hasta 31 de mayo y los restaurantes están
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
1.
Silogismo disyuntivo
O Cristina quiere estudiar Veterinaria o Cristina ama los animales. Cristina no ama los
2.
Nombrar la ley de inferencia que representa la expresión simbólica
Simplificación
Cristina quiere estudiar Veterinaria y Cristina ama los animales. Por lo tanto Cristina quiere estudiar
Veterinaria
3.
Si Cristina quiere estudiar Veterinaria entonces Cristina ama los animales. Cristina quiere estudiar
Ejercicio A
El ejercicio regular fortalece el sistema inmunológico. El ejercicio libera endorfinas que aumentan el
estado de bienestar
Ejercicio A
Proposiciones simples
p. Cristina quiere estudiar Veterinaria
Cristina quiere estudiar Veterinaria y Cristina ama los animales. Si Cristina quiere estudiar
Veterinaria entonces Cristina tiene un club de protección de animales. Por lo tanto Cristina tiene un
P 1: p ∧q
P 2: p→r
P 3: p … … … … … … … … …. simplificación en p 1
P 5:: q … … … … … … … … .. simplificación en p 1
P 6 :r ∧ q … … … … … … .... adjunción en p 4 y p 5
CONCLUSION
El estudiante usara el pensamiento lógico matemático como base para el desarrollo de actividades
que nos permitan demostrar la validez de un argumento, mediante el uso de las leyes de inferencia lógica.
Y el desarrollo de las tablas de verdad tanto manuales como mediante el simulador de lógica.
.
REFERENCIAS BIBLIOGRÁFICAS
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Cordoba,