UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

Tarea 4 - Estudiar las temáticas de la Unidad 2

Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,
cuantificadores.

Ejercicio 2: Métodos para probar la validez de un argumento

Presentado por:
Albeiro Pedrozo Villarruel

Grupo: 200611D 614

PRESENTADO A:
José Alfonso Olaya

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios.
-Noviemmbre-2019

1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

DESARROLLO DEL CONTENIDO DEL TRABAJO:

Ejercicio 2: Métodos para probar la validez de un argumento

Descripción del ejercicio:

A. Expresión simbólica:
[ ( p ∨ q ) ∧ ( p →r ) ∧ ( q → r ) ∧ ( ¬ p →¬ r ) ]⟶ p
Premisas:
P1: p ∨q
P2: p →r
P3: q → r
P4: ¬ p → ¬r

Conclusión: p

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto.

p. estudio ingeniería en Sistema

q. Seré un buen estudiante
r. un gran profesional

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si estudio ingeniería en sistema O seré un buen estudiante Y estudio ingeniería en sistema

ENTONCES un gran profesional Y seré un buen estudiante ENTONCES un gran profesional
Y NO estudio ingeniería en Sistema ENTONCES NO un gran profesional ENTONCES
estudio ingeniería en Sistema.

2
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

p q r ¬p ¬r (pvq)

v v v f f v v v v v v
v v f f v v v f v f v
v f v f f v f v v f v
v f f f v v f v v f v
f v v v f v v v f f v
f v f v v v v f v f v
f f v v f f v v f f v
f f f v v f v v v f v

Resultado de la tabla de verdad: TAUTOLOGÍA.

3
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

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

Conclusion: p

P5: r MP 2
P6: r MP 3
P7: p LA 1
P8: q LA 1
P9: p TT 4
P10: r MP 2,9
P11: p TT 4,9

4
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

Referencias

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78

- 99). Ediciones Elizcom, Madrid.