TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

PRESENTADO POR: ERMINSO CHIRIMÍA CARDENAS

C.C. 1078691937
CEL: 3208558273

TUTOR
YERSSON DAVID MOSQUERA OBREGÓN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMÁTICO
LITORAL DEL SAN JUAN – CHOCO – COLOMBIA
SEPTIEMBRE – 2019
 INTRODUCCIÓN AL TRABAJO

En este cuerpo del trabajo de proposiciones y tablas de verdad, el lector

encontrara los tres ejercicios realizados para cumplir con las guías de
actividades. Para realizar este trabajo en primer lugar concentre en las guías,
poco a poco iba realizando las actividades para presentar en el foro de
discusión. Esta actividad tiene como finalidad, para lograr un conocimiento
amplio y activo en mi formación profesional, en este curso de pensamiento
lógico y matemático.
 OBJETIVOS

 El objetivo de este trabajo es analizar y realizar los ejercicios

propuestos por los tutores, según de las fuentes bibliográficas de
las lecturas, conocer la parte de proposiciones.

 Conocer los fundamentos más importantes de pensamiento lógico

y matemático, para tener el dominio tablas de verdad y las
proposiciones simples y compuestas.

Ejercicio 1: Conceptualización de Cuantificadores

 Ejercicio 2: proposiciones y tablas de verdad

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia

literatura inglesa entonces escribirá poemas.

 Definir las proposiciones simples del argumento.

p: Sofía estudia medicina.

q: Sofía estudia literatura inglesa.

r: Sofía escribirá poemas.

 Definir la expresión del argumento en lenguaje simbólico o formal.

Lenguaje simbólico: (p ∨ q) ∧ (q → r)

 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 y determinar si el resultado es una tautología, contingencia
o contradicción.

P Q R P∨Q Q→R (P ∨ Q) ∧ (Q → R)

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

Resultado de la tabla de verdad es: contingencia

 Ejercicio 3: Problemas de aplicación

D. (p v q) ^ (q ⟶ (r ^ s))

1 Definir las proposiciones simples

P: pedro va bien en la universidad.

Q: pasa el semestre de este año.

R: el próximo año estudiara otro semestre.

S: terminara su carrera profesional en psicología.

2 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural

Si Pedro va bien en la universidad o pasa el semestre de este año entonces el

próximo año estudiara otro semestre y terminara su carrera profesional en
psicología.
 3 Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico

4 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico

P Q R S (P V Q) (R ^S) (Q ⟶ (R ^ (p v q) ^ (q ⟶ (r ^ s))
S)
v v v v v v v v
v v v f v f f f
v v f v v f f f
v v f f v f f f
v f v v v v v v
v f v f v f v v
v f f v v f v v
v f f f v f v v
f v v v v v v v
f v v f v f f f
f v f v v f f f
f v f f v f f f
f f v v f v v f
f f v f f f v f
f f f v f f v f
f f f f f f v f

5 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia.

La tabla de verdad es: Contingencia

Conclusiones del trabajo

 Aprendí a realizar tabla de verdad y las proposiciones con simbólicas y

naturales para reconocer, si la tabla de verdad es verdadero o falso.

 Conocer la importancia de proposiciones es enriquecer mi

conocimiento, porque he participado en los foros con mis tutores y
compañeros, además me gustaría dedicar más a este curso.
Referencias Bibliográficas

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226
457&tm=1529246259924

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=319
9701&tm=1529335849013

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=31
99701&tm=1529510366591

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871