Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
TUTOR
HUGO LOPEZ
Objetivo general
Reconocer los conceptos proposiciones simples e identificar razonamientos
deductivo e inductivo.
Objetivos específicos
Identificar las proposiciones categóricas
Establecer si las proposiciones son contrarias , de contingencia o su
contrarias
Reconocer la expresión simbólica, las premisas y la conclusión de un
argumento.
Formulas tablas de verdad manualmente
Manejar el simulador de lógica UNAD
Demostrar la validez del argumento mediante las leyes de inferencia
Ejercicio 1: Proposiciones categóricas
Proposiciones categóricas:
e)
e. Los estudiantes de las universidades que son a Distancia, utilizan los medios
informáticos para estudiar, Claudia es estudiante de Pensamiento Lógico
Matemático de la UNAD. Claudia muy seguramente utiliza los medios
informáticos para estudiar.
DESARROLLO
Premisas:
P1: (𝑝 ⟶ 𝑞)
P2: (∼ 𝑟 ⟶ 𝑠)
P3: (𝑝 ∨∼ 𝑟)
Conclusión: (𝑞 ∨ 𝑠)
DESARROLLO
Proposiciones simples
[(p⟶q)∧(∼r⟶s)∧(p∨∼r)]⟶(q∨s)
p q r ∼r s (p⟶q) (∼r⟶s) (q∨s) (p∨∼r) (p⟶q)∧(∼r⟶s(∼r⟶s)∧(p∨∼r) [(p⟶q)∧(∼r⟶s)∧(p∨∼r)] [(p⟶q)∧(∼r⟶s)∧(p∨∼r)]⟶(q∨s)
V V V F F V V V V V V V V
V V V F V V V V V V V V V
V V F V F V F V V F F F V
V V F V V V V V V V V V V
V F V F F F V F V F V F V
V F V F V F V V V F V F V
V F F V F F F F V F F F V
V F F V V F V V V F V F V
F V V F F V V V F V F F V
F V V F V V V V F V F F V
F V F V F V F V V F F F V
F V F V V V V V V V V V V
F F V F F V V F F V F F V
F F V F V V V V F V F F V
F F F V F V F F V F F F V
F F F V V V V V V V V V V
P1:𝑝 ⟶ 𝑞
P2:∼ 𝑟 ⟶ 𝑠
P3:𝑝 ∨∼ 𝑟
Conclusión
𝑞∨𝑠
DEMOSTRACION
P4: q aplicando MPP en p1
P5: p aplicando MPP en p1 p4
P6 q v s aplicando DC p1 p2
CONCLUSION