Ejercicio 1: Conceptualización de las reglas de inferencia.
Unidad 2 métodos para
probar la validez de
Lógica
Matemática
Es la disciplina que trata de
métodos de razonamiento. En
un nivel elemental,
la lógica proporciona reglas y
técnicas para determinar si es
o no valido un argumento
dado, Ciertamente se usa en
forma constante el
razonamiento lógico para
realizar cualquier actividad
argumentos
Razonamientos
Leyes de la
Lógicos
inferencia
lógica
Un razonamiento lógico, en
Son un esquema para definitiva, es un proceso mental
construir inferencias que implica la aplicación de la
válidas. Estos esquemas lógica. A partir de esta clase de
establecen relaciones razonamiento, se puede partir de
sintácticas entre un una o de varias premisas para
conjunto de fórmulas arribar a una conclusión que
llamados premisas y una puede determinarse como
llamada conclusión. verdadera, falsa o posible.
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.

P: Si el pastel está hecho con azúcar

R: El pastel está dulce

Conclusiones: el pastel no está dulce

Ley de inferencia aplicada: modus tollendo tollens

Lenguaje simbólico: P→ R

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.

R/: el razonamiento dela siguiente frase es inductivo ya que todos los

atletas de alto rendimientos son cuidadosos con sus alimentos y así puedan
lograr el título dela liga con la alimentación delos atletas.
Ejercicio 4: Problemas de aplicación

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

Premisas
P1: (𝑞→𝑟)
P2: (𝑟→𝑝)
P3: (¬𝑝∧𝑠)
Conclusión: (¬𝑞∧𝑠)

P: participo en los preicfes

Q: participo en los preuniversitarios

R: puedo obtener buenos resultados

S: en las pruebas regionales y nacionales

C: no participo en los preuniversitarios y en las pruebas regionales y

nacionales

Si participo en los preicfes entonces puedo obtener buenos resultados Y

entonces puedo obtener buenos resultados si participo en los preicfes y
entonces, no participo en los preicfes y en las pruebas regionales y
nacionales.
• Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico (El estudiante encontrará la Guía para
el uso de recursos educativos Simulador Lógica UNAD, en el
Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso).
•

• Generar una tabla de verdad manualmente a partir del

lenguaje simbólico (En Word, Excel o foto del desarrollo manual).
• Demostración de la validez del argumento mediante las leyes
de la inferencia lógica

Premisas
P1: (𝑞→𝑟)
P2: (𝑟→𝑝)
P3: (¬𝑝∧𝑠)
Conclusión: (¬𝑞∧𝑠)

P5: