Unidad 2: Tarea 4- sustentación

Nombre:
Código:
Grupo: 200611_473

Curso Pensamiento lógico matemático

Programa de Licenciatura en Pedagogía Infantil

Profesora tutora: Nini Johanna Vargas

Profesora directora de curso: Carolina Castaño Gutiérrez
Acacias Meta/Abril/2020
Ejercicio 2: Métodos para probar la validez de un argumento

b. Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s

Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r

Conclusión: s

Proposiciones Simples

p: Trabajo en Facebook en bogotá

q: realizo el taller de plm
r: participo en la web conferencias
s: termino el tercer semestre
∼r: no participo en la web conferencias
Lenguaje Natural

Trabajo en ingelabs en acacias o realizo el taller PLM. si Trabajo en Facebook en

Bogotá entonces participo en la web conferencias. si realizo el taller de PLM
entonces termino el tercer semestre. no participo en la web conferencia. Por lo tanto,
termino el tercer semestre

Generar La Tabla De Verdad Manualmente

p q r s ¬ r p ∨q p →r ( p ∨q ) ∧ ( p → r ) ( q → s )( p ∨q [) (∧p(∨q
p →) ∧r )( ∧
p→(q → s )( q → s ) ⋀[ ((¬
r )∧ p ∨q
r) ] ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] →

V V V V F V V V V V F V
V V V F F V V V F F F V
V V F V V V F F V F F V
V V F F V V F F F F F V
V F V V F V V V V V F V
V F V F F V V V V V F V
V F F V V V F F V F F V
V F F F V V F F V F F V
F V V V F V V V V V F V
F V V F F V V V F F F V
F V F V V V V V V V V V
F V F F V V V V F F F V
F F V V F F V F V F F V
F F V F F F V F V F F V
F F F V V F V F V F F V
F F F F V F V F V F F V

Resultado de la tabla de verdad: TAUTOLOGÍA

simulador Lógica UNAD
Leyes De Inferencia

Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s

Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
_________________
s
P5 ∼p TT. en 2 Y 4
P6 q SD. En 1 y 5
P7 s PP. En 3 y 6

Referencias

• Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse -

Grupo Editorial Patria.