Paso 2 - Métodos para probar la validez de argumentos

Nombre del estudiante: Steven Patiño Urquijo

CC. 1001971477

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Programa de Ingeniería de Sistemas

Cartagena, 2020

Introducción

Una de las características que definen la calidad de un argumento científico es su validez.

Las persona se encargan de utilizar argumentos válidos para defender sus ideas, convencer
a una audiencia, o demostrar algunas premisas. En este caso se descubrirá cómo utilizar la
lógica matemática para dar validez a algún argumento

Objetivos

● Implementar la leyes de la inferencia para demostrar la validez de un argumento.

● Desarrollar los problemas resuelto por medios de métodos de deducción o

inducción.

● Realizar tablas de verdad para el tipo de argumento de una premisa.

Ejercicio 1
Estudia la inferencia:
qué significa que una
conclusión se sigue de
unas premisas, qué
argumentos son válidos
y cuáles no y qué
métodos tenemos para
distinguirlos. La lógica
matemática es
matemática en un doble
sentido.
Leyes de la inferencia
lógica
So
n Se dividen
Son un esquema para
construir inferencias válidas.
Estos esquemas establecen
relaciones sintácticas entre
un conjunto de fórmulas
llamados premisas y una
aserción llamada conclusión.
Modus Ponen
(MPP)
la ciencia formal y
exacta que, basada en
Se compone de Se compone de
la palabra la palabra los principios de la
LÓGICA MATEMÁTICA lógica, estudia las
Lógica matemática propiedades y las
relaciones que se
establecen entre los
entes abstractos.
E
S
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 válido un argumento
dado. El razonamiento lógico se emplea en
matemáticas para demostrar teoremas; en
ciencias de la computación para verificar si
Razonamientos
son o no correctos los programas; en las
Lógicos
ciencias física y naturales, para sacar
conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para
resolver una multitud de problemas. en
Ciertamente se usa en forma constante el
razonamiento lógico para realizar cualquier
actividad.
Se
componen
de Deductiv
Inductivo
o
Modus Tollendo Tolens Modus Tollendo Ponen
(MTT) (MTP)
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ó.

Conclusión:
El sistema de seguridad antivirus no detecto una amenaza, por lo tanto, no se activó.

Ley de inferencia aplicada:

Modus Tollens.

Lenguaje simbólico:
p →q
¬p
¬q

Ejercicio 3.
● 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 la UNAD
Ibagué, razón por la cual Gabriela ha decidido llevar Paraguas y chaqueta.
R/ Según las premisas planteadas anteriormente se determina que el razonamiento
es inductivo debido a que si se tiene en cuenta la primera premisa que es “Desde
 hace 15 días ha venido lloviendo diariamente en la ciudad de Ibagué”, habla de un
acontecimiento que ha venido sucediendo frecuentemente, por lo tanto siguiendo
que el método inductivo surge a partir de conocimientos particulares que llegan a
una conclusión generalizada, quiere decir que si tantos días ha estado lloviendo se
deduce que este dia tambien llovera.

Ejercicio 4.
Expresión simbólica:
[ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r
Premisas:
P1: r→¬q

P2: p∨ s
 P3: q∧ p
Declarar variables:
r : Ir a cine
q: comprar crispetas
p: Llegar temprano a la función
s: bañarse
Una vez declaradas las variables, completamos las premisas.
P1: r→¬q : Ir a cine entonces no comprar crispetas

P2: p∨s : Llegar temprano a la función o no bañarse

P3: q∧p: comprar crispetas y Llegar temprano a la función
Tabla de la verdad generada por JTabla
Tabla elaborada manualmente

((r→~q)∧(p∨s)∧(q
p q r s r→¬q p∨s q∧p ∧p))→~r
v v v v f v v v
v v v f f v v v
v v f v v v v v
v v f f v v v v
v f v v v v f v
v f v f v v f v
v f f v v v f v
v f f f v v f v
f v v v f v f v
f v v f f f f v
f v f v v v f v
f v f f v f f v
f f v v v v f v
f f v f v f f v
f f f v v v f v
f f f f v f f v
El argumento es Tautología.

la ley de la inferencia lógica es Modus Tollendo Tollens, si una implicación es

verdadera y su consecuente es falso, entonces su antecedente será necesariamente falso;
simbólicamente se expresa así:[ ( p → q ) ^ ~ q ] → ~ p
Conclusiones

Se logró determinar la validez de los argumentos utilizando la lógica matemática, con ella
las diferente herramientas que ofrecen, aplicando leyes de inferencia, tablas de verdad,
entre otros.

Bibliografía

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-

166). Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=178&docID=11046000&tm=1492520104862

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6559

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6543

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6548