Pensamiento Lógico y Matemático

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Actividad individual

Presentado por

Katalina Hernández
Grupo_ 200611_644

Tutora
Jenny Marisol Cayachoa

Universidad Nacional Abierta y a Distancia (U.N.A.D)

Tecnología en Radiología e Imágenes Diagnosticas
06 / Marzo /2020
 Introducción

En el presente trabajo escritos se elabora de acuerdo con las lectura dispuesta en el curso,
de Pensamiento Lógico y Matemático, en las que se procedió con la selección del ejercicio
de la letra c. cualitativo existencial en las que se inicia con la elaboración de un prezzi
sobre el tema mencionado anterior mente. y después se procese a desarrollar los dos
ejercicios más así como la practica en el simulador de la plata forma dispuestos por el
presente curso,
Objetivos

 Adquirir la práctica del manejo del simulador en la plataforma

 Tener el conocimiento de la expresión del argumento en lenguaje simbólico o formal.
De equivalencia entre cualitativos
 Se logra Obtener el conocimiento de Proposiciones y Tablas de verdad cualitativo
existencial
 Adquirir la práctica del manejo del simulador en la plataforma
Ejercicio 1

LINK

https://onedrive.live.com/edit.aspx?
cid=ffa8b6466102bc91&page=view&resid=FFA8B6466102BC91!
151&parId=FFA8B6466102BC91!117&app=PowerPoint

Ejercicio 2: Proposiciones y Tablas de verdad

Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica
matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es docente de
matemáticas
1. Definir las proposiciones simples del argumento.

p=Si elisa es docente de matemáticas

→=entonces
q=Enseña el curso de estadisticas
˅=O
r =el de logica matemáticas
˄=Y
s=si ella dicta herramienta degitales
→=entonces
¬ p=Elisa no es docente de matematicas

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

[ ( p → q ) ⋁ ( r ⋀ s ) →¬ p ]
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 y

determinar si el resultado es una tautología, contingencia o contradicción.
ʹ ௡ ʹ ସ = 16
ൌ (p→q) (r ˄ s)
p q r s p → q ‫ש‬ r ^ s →
V V V V V V V V V V V F F
V V V F V V V V V F F F F
V V F V V V V V F F V F F
V V F F V V V V F F F F F
V F V V V F F V V V V F F
V F V F V F F F V F F V F
V F F V V F F F F F V V F
V F F F V F F F F F F V F
F V V V F V V V V V V V V
F V V F F V V V V F F V V
F V F V F V V V F F V V V
F V F F F V V V F F F V V
F F V V F V F V V V V V V
F F V F F V F V V F F V V
F F F V F V F V F F V V V
F F F F F V F V F F F V V
Ejercicio 3: Problemas de aplicación
1. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[ ( ∼ p⟶ q ) ∧( p ∧r ) ]
p=Carlos estudia en la UNAD

q=La UNAD es una Universidad Publica

p=Carlos no estudia en la UNAD

r =Esun estudiante

( ∼ p ⟶q )=Carlos no estudia en laUNAD entonces La UNAD es unauniversidad publica

⋀= y

( p ∧r )=Carlos estudia en la UNAD y es un estudiante

Carlos no estudia en laUNAD entonces LaUNAD es una universidad publica y

Carlos estudia en la UNAD y es un estudiante

2. Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
3. Generar una tabla de verdad manualmente a partir del lenguaje simbólico
∧ ∧
∧ ∧
௡ ସ
ʹ ൌ
ʹ =8 (~p→q) [(~p→q) (p r)] (p˄r)
p q r ~p → q p r
V V V F V V V V V V
V V F F V V F V F F
V F V F V F V V V V
V F F F V F F V F F
F V V V V V F F F V
F V F V V V F F F F
F F V V F F F F F V
F F F V F F F F F F
 Conclusiones

 Se adquiere el conocimiento de cómo se elaboran las diferentes Proposiciones y

Tablas de verdad manual

 Se pueden concluir que se adquirió el conocimiento en manejo del simulador

dispuesto para la práctica del presente curso académico

 El conocimiento del lenguaje simbólico o formal del ejercicio equivalencia entre

cualitativos cualitativo
 Referencias bibliográficas

Proposiciones y tablas de verdad

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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

Proposiciones y Conectores lógicos

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://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12
Cuantificadores
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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109
Tablas de verdad
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
OVI Unidad 1 - Proposiciones y tablas de verdad
Este Objeto Virtual de Información, titulado aplicación de las tablas de verdad en el álgebra
de proposiciones, tiene como objetivo, orientar al estudiante acerca dela determinación del
valor de verdad, en un lenguaje formal. El OVI, igualmente, servirá como documento de
consulta para realizar una de las actividades propuestas en la Guía Integrada de Actividades
del curso.
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871