UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

Tarea 3 - Estudiar las temáticas de la Unidad 3

Proposiciones simples y compuestas, proposiciones categóricas, proposiciones contrarias de
contingencia y subcontrarias.

Ejercicio 3: Problemas de aplicación

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.
02-Noviemmbre-2019

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

DESARROLLO DEL CONTENIDO DEL TRABAJO:

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

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

Premisas:

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

Conclusión: ¬ p

Desarrollo

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto, el que se solicita es un contexto académico.

p. estudio ingeniería en Telecomunicaciones

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 telecomunicaciones, ENTONCES NO seré un buen estudiante Y seré

Un buen estudiante O NO un gran profesional Y un gran profesional, ENTONCES NO estudio
ingeniería en Telecomunicaciones.

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

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

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).
[ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p

∧
p q r ¬p ¬q ¬r ( p →¬ q ) (qv¬r)
r
[ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ][ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p

v v v f f f f v f f v
v v f f f v f v f f v
v f v f v f v f f f v
v f f f v v v v v v v
f v v v f f v v v v v
f v f v f v v v v v v
f f v v v f v f f f v
f f f v v v v v v v 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:q ∨ ¬r
 P3:∧r
 Conclusión: ¬ p

P4: q PP 2,3

P5: p PP 1,4

P6: ¬q PP 1,5

P7: ¬p TP 1,6

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.