TAREA 1: PROPOSICIONES Y TABLA DE VERDAD

Presentado por:
Lilia Judith Vasquez Munzon
Código: 1005474132
Grupo: 200611_913

Tutor:
María Andrea Botero

UNIVERDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO
CEAD-COROZAL
29/02/20
 INTRODUCCION

el propósito de este trabajo es que el estudiante desarrolle habilidades, analice,

interprete la lógica de cada punto, conocer y manejar cuantificadores para
poder serlos explícito en una presentación didáctica, entender proposiciones y
manejar una tabla de verdad, se resuelve y se identifica la proposición
compuesta que ser tautología, contradicción o contingencia.
 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 TABLA DE VERDAD

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área mide
60 cm2.
 Definir las proposiciones simples del argumento.

p: la base de un triángulo mide 6 cm.

q: la altura de un triángulo mide 10 cm.
r: El área de un triángulo mide 60 cm2.

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

( pq ) → r

 Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
  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 ( pq ) ( pq ) → r

v v v v v

v v f v f

v f v f v

v f f f v

f v v f v

f v f f v

f f v f v

f f f f v

 El resultado de la tabla obtenida es una CONTINGENCIA.

EJERCICIO 3: PROBLEMAS DE APLICACIÓN.

A. [~𝑝→ (𝑞 ⋀ 𝑟)]

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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

p: La UNAD es una universidad privada.

q: La UNAD es una universidad pública.

r: La UNAD es de modalidad virtual.

¬p: la UNAD no es una universidad privada.

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

A. [~𝑝→ (𝑞 ⋀ 𝑟)]

Si la UNAD no es una universidad privada, entonces la UNAD es una universidad

pública y de modalidad virtual.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica
UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

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

A. [~𝑝→ (𝑞 ⋀ 𝑟)]
2 ⁿ=2 ᶾ =2∗2∗2=8
p q r ¬p (q ^ r) [~𝑝→ (𝑞 ⋀ 𝑟)]
v v v f v f
v v f f f f
v f v f f f
v f f f f f
f v v v v f
f v f v f v
f f v v f v
f f f v f v
El resultado obtenido de
la tabla de verdad es una: CONTINGENCIA
 CONCLUSIONES

 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

 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

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid.

 Marín J. (2019). [Simulador Lógica UNAD]. Recuperado de:

http://logicaunad.com/jtruth/

 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=3199701&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