METODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

PRESENTADO POR

MARLON FERNANDO CRUZ MELO

PRESENTADO A:

PAULA ANDREA MOSQUERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

10/ABRIL/2020
Ejercicio 1: Conceptualización de las reglas de inferencia

Conceptos básicos lógicos matemáticos unidad 2

Lógica matemática Leyes de la inferencia lógica Razonamiento lógico

Es la facultad que
Es aquella que utiliza permite resolver
Regla de inferencia o
lenguaje simbólico, es problemas extraer
regla de transformación,
la disciplina que trata conclusiones y
su argumento puede ser
de métodos de aprender de manera
demostrado por medio
razonamiento, para consciente de los
de tabla de verdad. Las
poder demostrar con hechos, es un proceso
reglas significativas de
exactitud sin un mental que implica la
inferencias en la lógica
argumento es aplicación de la lógica,
proporcional incluyen
realmente lógicos podemos partir de una
modus ponendo
validos también o de varias premisas
ponens(pp), modus
llamada lógica para sacar una
tollendo ponens(tp),
simbólica, lógica conclusión que puede
modus tollendo
teorética, lógica formal determinarse
tollens(tt), etc.
o logística verdadera falsa o
posible
Ejercicio 2: Aplicación de las reglas de la inferencia lógica
Si el sistema de seguridad antivirus de la computadora detecta una amenaza, entonces, se
activará la alarma. La alarma no se activó.
Desarrollo:
Conclusión: Si la alarma no sonó es porque no detecto la seguridad de virus
Ley de inferencia aplicada: Modus Tollendo Tellens
Lenguaje simbólico: p →q
¬q
¬∴ q

Ejercicio 3: Razonamiento deductivo e inductivo

Desde hace 15 días ha venido lloviendo diariamente en la ciudad de Ibagué. Gabriela debe
asistir hoy a una clase tipo B-Learning en la sede de las UNAD Ibagué, razón por la cual
Gabriela ha decidido llevar paraguas y chaqueta
Desarrollo:
P→ Q: Desde hace 15 días ha llovido en Ibagué. Gabriela debe asistir hoy a una clase tipo
B-Learning en la sede de la UNAD Ibagué.
Q→ R: Gabriela debe asistir hoy a una clase tipo B-Learning en la sede de la UNAD Ibagué,
razón por la cual debe llevar paraguas y chaqueta.
P→ R: Desde hace 15 días ha venido lloviendo en Ibagué. Gabriela debe llevar paragua y
chaqueta
INDUCTIVO
Ejercicio 4: Problemas de aplicación
Expresión simbólica: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r
Premisas:
P1: r →¬ q
P2: p ∨ s
P3:q ∧ p
Conclusión ¬ r

DESARROLLO:

r: Hoy es lunes
¬ q: Hoy no es domingo
p: Hoy es lunes
s : hay que estudiar