PENSAMIENTO LOGICO MATEMATICO - (200611C-614)

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Nombre del estudiante: Emiliana Palacios Palacios

Código: 46648826

Número del grupo: 200611_1671

Tutor: JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – LA UNAD

ESTUDIANTE DE LICENCIATURA EN PEDAGOGÍA INFANTIL

PUERTO BOYACÁ, BOYACÁ/SEPTIEMBRE/2019

 INTRODUCCION

En este trabajo se realizan las actividades propuestas para la unidad 1 como son

la validez del razonamiento a partir de la creación de tablas de verdad extrayendo

premisas y la conclusión de un texto dado y el desarrollo de textos que identifiquen

los conceptos de razonamiento.

OBJETIVOS

 Desarrollar las temáticas de proposiciones y tablas de verdad.

 Utilizar estrategias basadas en problemas

 Interactuar con los diferentes compañeros

 Adquirir herramientas útiles para nuestra vida profesional

 Ejercicio 1 Unidad 1

Diapositiva 1

Diapositiva 2
Diapositiva 3

Diapositiva 4
Diapositiva 5

Diapositiva 6
 Ejercicio 2 Unidad 1

 Definir las proposiciones simples del argumento.

 Definir la expresión del argumento en lenguaje simbólico o formal.
 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.
ARGUMENTO:

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario o Si

ella no lo lleva al concesionario entonces, lo lleva taller de Fernando

Proposiciones Simples

P= el vehículo de Gabriela necesita mantenimiento.

q= Gabriela lleva el vehículo al concesionario

r= Gabriela lleva el vehículo al taller de Fernando

LENGUAJE SIMBÓLICO

(p → q) v (q → r)

TABLA MANUAL DE VERDAD

p q r P→q q→r (p→q) v (q→r)

v v v V v v
v v f V f v
v f v F v v
v f f F v v
f v v V v v
f v f V f v
f f v V v v

f f f v v v
JTabla - Resultados

p q r (p→q)∨(q→r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

Resultado de la tabla de verdad: TAUTOLOGÍA

 Ejercicio 3 Unidad 1

Argumento:

Si el colegio Santa Teresita es de carácter privado y Emiliana es

docente en él, entonces el colegio Santa Teresita laboran los

mejores docentes y obtienen el mejor resultado en pruebas

ICFES SABRE 11.

Proposiciones simples:

p= el colegio santa teresita es de carácter privado

q= Emiliana es docente en el colegio Santa Teresita

s= el colegio Santa Teresita tiene el mejor resultado ICFES

SABER 11

r= en el colegio Santa Teresita laboran los mejores docentes del

municipio
Lenguaje simbólico:

(P^q)→(r^s)

Tabla manual

p q r S (p^q) (r^s) (p^q)→(r^s)

v v v V v v v

v v v F v f f

v v f V v f f

v v f F v f f

v f v V f v v

v f v F f f v

v f f V f f v

v f f F f f v

f v v V f v v

f v v F f f v

f v f V f f v

f v f F f f v

f f v V f v v

f f v F f f v

f f f V f f v

f f f F f f v

Resultado de la tabla: CONTINGENCIA

JTabla - Resultados

p q r s (p∧q)→(r∧s)
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

CONCLUSIONES:

Con este trabajo he logrado comprender el manejo de una nueva

herramienta como lo es la tabla de verdad, la cual nos muestra el valor
de verdad de una proposición compuesta, para cada combinación de
verdad que se pueda asignar. Hemos realizado aportes propios de
nuestras actividades respecto al aprendizaje que hemos obtenido
durante este curso basado en problemas. Desarrollando problemas de
Proposiciones. Gracias a las actividades propuestas he logrado
identificar y comprender los elementos esenciales en la tabla de verdad
y preposiciones y la forma de aplicarlos para resolver problemas
cotidianos de mi diario vivir por medio de tablas de verdad. Con las
actividades planteadas, he logrado la comunicación e interacción entre
los participantes del grupo colaborativo con el fin de construir y debatir
la solución a un problema planteado, construyendo trabajo final basado
en aportes dado por cada uno de los compañeros.
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=2
0&docID=3226457&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=3199701&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=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
.