Está en la página 1de 8

Métodos para probar validez de argumentos

Kevin Jeffrey Florez Henao

Abril 2020

Universidad nacional abierta y a distancia

Ingeniería en sistemas

Lógica matemática
Introducción

En el presente trabajo se realizarán distintas actividades referentes a conectores lógicos. La utilización de

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

 Realizar ejemplos para ayudar a realizar actividades similares

 Aplicar premisas para la realización de problemas

 Dar ejemplos sobre el razonamiento desuctivo


Conceptos básicos

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

 Conclusión: El pastel no está hecho de azúcar

 Ley de inferencia aplicada: Tolendo Tollens

 Lenguaje simbólico: p → q

¬q .

¬p

Ejercicio 3: Razonamiento Deductivo e Inductivo

C. Todos los atletas de alto rendimiento son especialmente cuidadosos con su

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

cuidadosos con su alimentación ya que el futbol es un deporte de alto rendimiento y si ven a

ingresar al equipo de futbol deben tener la alimentación adecuada


Ejercicio 4: Problemas de aplicación

c. Expresión simbólica: [(𝑞→𝑟)∧(𝑟→𝑝)∧(¬𝑝∧𝑠)]→(¬𝑞∧𝑠)

Premisas

P1: (𝑞→𝑟)

P2: (𝑟→𝑝)

P3: (¬𝑝∧𝑠)

Conclusión: (¬𝑞∧𝑠)

Definición de variables

 p: hago ejercicio

 q: soy atlético

 r: Salir a correr

 s: estoy ganando peso

Razonamiento en lenguaje natural

Si soy atlético entonces salgo a correr. Si salgo a correr entonces hago ejercicio. No hago

ejercicio y estoy ganando peso. No soy atlético y estoy ganando peso.


Tabla de verdad Manual

p q r s ¬ ¬q (𝑞→𝑟) (𝑟→𝑝) (¬𝑝∧𝑠) [(𝑞→𝑟)∧(𝑟→𝑝)∧(¬𝑝∧𝑠)] (¬𝑞∧𝑠) [(𝑞→𝑟)∧(𝑟→𝑝)∧(¬𝑝∧𝑠)]→(¬𝑞∧𝑠)


p
v v v v f f v v f f f v
v v v f f f v v f f f v
v v f v f f f v f f f v
v v f f f f f v f f f v
v f v v f v v v f f v v
v f v f f v v v f f f v
v f f v f v v v f f v v
v f f f f v v v f f f v
f v v v v f v f v f f v
f v v f v f v f f f f v
f v f v v f f v v f f v
f v f f v f f v f f f v
f f v v v v v f v f v v
f f v f v v v f f f f v
f f f v v v v v v v v v
f f f f v v v v f f f v
Resultado de la tabla de verdad: TAUTOLOGÍA
Tabla de verdad Simulador

También podría gustarte