Tarea 1

Proposiciones y tablas de verdad.

Presentado por:

Miguel Leonardo Martínez Torres

Grupo:

200611_1094

Tutor
Cristian Andrés Jaimes

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento Lógico Matemático

Septiembre 2018
 Introducción

Una proposición es un enunciado declarativo, que tiene dos valores posibles,

verdadero o falso, pero no ambos a la vez.

En el presente trabajo aprenderemos a identificar proposiciones simples y

compuestas y a transformarlas en un lenguaje simbólico, para poder elaborar
tablas de verdad y así determinar la lógica de los argumentos de las mismas.
 Objetivos

 Objetivo general

Tener un concepto claro sobre las proposiciones y tablas de verdad

 Objetivos específicos

 Definir y reconocer las proposiciones simples y compuestas.

 Identificar los conectores lógicos y su lenguaje simbólico.
 Elaborar tablas de verdad.
  Ejercicio 1. Conceptualización de cuantificador universal.

Se anexa enlace de la presentación en Power Point.

https://drive.google.com/open?id=1tTqamtxChGbvrbRx7tWL7jMDjYMAgHUQ

 Ejercicio 2. Proposiciones y tablas de verdad.

Proposición compuesta

Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

Definición de las proposiciones simples del argumento:

p: Voy de vacaciones a San Bernardo del Viento
q: Voy a Capurgana
r: Viajo a Amazonas
Definición de la expresión del argumento en lenguaje simbólico.

{(p٧q)٧r}

Tabla de verdad generada con el simulador Truth Table.

 Tabla de verdad generada manualmente:

 Ejercicio 3. Proposiciones y tablas de verdad.

Proposición compuesta en el lenguaje simbólico

{(𝑝⟶𝑞)∧(r⟶p)}⟶(p⟶𝑞)

Definición de las proposiciones simples, pasadas al lenguaje natural:

p: Leonardo estudia en la Universidad Nacional

q: La Universidad Nacional es publica
r: La Universidad Nacional es privada
Variables expresadas simbólicamente llevadas al lenguaje natural:
Leonardo estudia en la Universidad Nacional si la Universidad Nacional es pública y la
Universidad Nacional es privada entonces Leonardo estudia en la Universidad
Nacional, si Leonardo estudia en la Universidad Nacional entonces la Universidad
Nacional es pública.

Tabla de verdad generada con el simulador Truth Table.

Tabla de verdad generada manualmente:

Se puede evidenciar que el argumento es una Tautología porque todos los
resultados son verdaderos.

Conclusión

Abordar el tema de proposiciones y tablas de verdad me ha permitido entender el

procedimiento para detectar, errores en los argumentos y poder darle significado a los
mismos mediante la lógica proposicional.
 Referencias Bibliográficas

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

Ing. Bruno López Takeyas (sin fecha). Cuantificadores universales.

http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia
%20Artificial/Apuntes/IA/Filminas-Cuantificadores.PDF

John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado

de:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

https://youtu Georffey Acevedo. [Georffrey Acevedo ]. (2010, Sept 10). [Ejemplo de

uso de un generador de tablas de verdad 2]. Recuperado
de:https://youtu.be/ZKg7wt9EGJI

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=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
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069