Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Abril 2020
Ingeniería en sistemas
Lógica matemática
Introducción
las tablas de verdad y sus respectivas premisas para su realización y dar ejemplos de las leyes de
inferencia
Objetivos
Dar a conocer lógica matemática
Razonamiento lógico
Lógica matemática
Es la manera de obtener
Método que se encarga de resultados de los problemas y
analizar lo que lo hace un las conclusiones mediante un
argumento valido o no análisis mental, mediante la
utilizando un lenguaje observación o hipótesis.
simbólico y construir una Tiene dos tipos de derivados
inferencia correcta. razonamiento deductivo o
inductivo
Leyes de la inferencia
lógica
Es la manera de deducir las
conclusiones a la cual llega el
lector mediante el análisis,
utilizando distintas leyes que
ayudan a mejorar la forma del
argumento las cuales son:
Modus Ponens, Modus Tollens
y Silogismo Hipotéticos
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
C. Si el pastel está hecho con azúcar, entonces el pastel está dulce. El pastel no está
dulce.
Desarrollo
Lenguaje simbólico: p → q
¬q .
¬p
alimentación. Pedro, Miguel y Tomás han ingresado a un equipo profesional de fútbol que
competirá por el título de la liga de su país, por lo tanto, ellos cuidarán su alimentación.
Desarrollo
Argumentación: Razonamiento deductivo, ya que se puede deducir que tiene que ser
Premisas
P1: (𝑞→𝑟)
P2: (𝑟→𝑝)
P3: (¬𝑝∧𝑠)
Conclusión: (¬𝑞∧𝑠)
Definición de variables
p: hago ejercicio
q: soy atlético
r: Salir a correr
Si soy atlético entonces salgo a correr. Si salgo a correr entonces hago ejercicio. No hago