UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD ESCUELA

DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

TAREA2

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

GRUPO: 90004_377

INTEGRANTE

HERNAN FELIPE LOZANO RODRIGUEZ

CODIGO: 1.144.171.978

CEAD: CALI
 INTRODUCCION

La lógica es la muestra simbólica del lenguaje natural que por medio de signos la
estructura de argumentos lógicos y determinar su validez. El presente trabajo se realizó
para el desarrollo de los ejercicios escogidos del punto a, que gracias a ellos se logró
comprender los temas de proposición, conectivos lógicos, teoría y lógica conjuntos
OBJETIVOS

a) Comprender los temas de proposición, conectivos lógicos, teoría y lógica

conjuntos

b) Desarrollar los ejercicios escogidos

c) Presentar los avances de cada uno de los ejercicios en el foro colaborativo

d) Encontrar el valor de verdad de las preposiciones por medio de la tabla de

verdad online.

e) Realizar expresiones en lenguaje simbólico.

f) Representar conjuntos por medio de un diagrama.

 Razonamiento lógico
EJERCICIO 1 MAPA CONCEPTUAL

Es una operación lógica mediante la cual,

partiendo de uno o más juicios, se deriva la
validez, la posibilidad o la falsedad de otro
juicio distinto.

Tipos de razonamiento
lógico

• Analogico • Inductivo •Deductivo

Modalidad de razonamiento no deductivo Se mueve de lo general a lo

Aqui son Es el proceso de observar datos, Aqui exite Tablas de la
que consiste en obtener una conclusión a particular, toma una premisa
Propociciones simples reconocer patrones y hacer verdad, Tautologia,
partir de premisas en la que se establece una general y deduce conclusiones
y compuestas generalizaciones basándose en Contradiccion y
comparación o analogía entre elementos o particulares. Es aquel que la
esos patrones. Contingencia
conjunto de elementos distintos conclusión se deriva
necesariamente de la premisa
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica

Si usted está en Madrid, entonces su reloj señala la misma hora que en Barcelona.
Usted está en Madrid

Conclusión: La hora en Madrid y Barcelona es la misma

Ley de inferencia aplicada:

Lenguaje simbólico: Modus ponens

P: Usted está en Madrid

Q: reloj señala la misma hora que en Barcelona

(p → q)

________

q
Ejercicio 3: Razonamiento Deductivo e Inductivo

a) Según las instrucciones del recetario los cupcakes se deben hornear durante
una hora. El pastelero Juan introduce al horno los cupcakes a las diez de la
mañana, por lo tanto, los cupcakes estarán listos a las once de la mañana.

Argumentación: El razonamiento deductivo, debido a que Juan hace uso de las

instrucciones del recetario de cupcakes, no importa a la hora que lo haya ingresado al
horno, si no el tiempo que ha tardado en estar listo en el párrafo dice que lo entro a las
10 am y estuvo listo a las 11 am ósea Juan hizo el paso a paso de las instrucciones del
recetario
Ejercicio 4: Problemas de aplicación

Razonamiento en lenguaje natural

a. Expresión simbólica: [(p ∧ q) ∧ (p → r)] ⟶ (r∧q)

Premisas:

P1: p∧q

P2: p→r

Conclusión: r ∧ q

Boca Juniors y Once Caldas, Si Boca Juniors quedo subcampeón entonces el Once
Caldas fue el campeón y gano la copa

Simulador truth table:

p q r p∧q p→r r∧q [(p ∧ q) ∧

(p → r)]
⟶ (r∧q)
V V V V V V V

V V F F F F V

V F V F F F V

V F F F F F V

F V V F F F V

F V F F F F V

F F V F F F V

F F F F F F V

Ley de inferencia

Premisa 1: p ∧ q
Premisa 2: p → r
-----------------------
r
q
CONCLUSIONES

a) La lógica matemática nos colabora en el desarrollo de los procesos de

pensamiento dando sentido a lo que desarrollamos.

b) La lógica nos brinda modos de enseñanza: como desarrollar

preposiciones, evaluando su valor de verdad y determinando si las
conclusiones sean consecuente, y correctos a partir de preposiciones
planteadas.

c) A partir de una o varias proposiciones elementales se pueden efectuar

diversas operaciones lógicas para construir nuevas proposiciones.
BIBLIOGRAFIA

Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad

proposiciones compuestas). [Archivo de video]. Recuperado de
http://hdl.handle.net/10596/11489

Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de

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

Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de

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

Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado de

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