PENSAMIENTO LÓGICO MATEMÁTICO

Estudiante
Nicolás Bautista Romero
Grupo No. 337

Tutor
Alba Janneth Pinzon

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Bogotá. Septiembre de 2019
Introducción
El presente trabajo se refiere al desarrollo de las actividades propuestas
por la Universidad Nacional Abierta y a Distancia UNAD para tratar las
temáticas de la unidad 1 del curso pensamiento lógico matemático.

Las actividades se abordaron teniendo en cuenta las explicaciones dadas

en la guía de actividades y rúbrica de evaluación “Tarea 1: Proposiciones y
tablas de verdad”, los videos de apoyo y las fuentes bibliográficas
sugeridas y externas.
También se hizo la debida retroalimentación del tema desde el contenido
en lecturas y OVI entregado en el entorno de conocimiento.

El objetivo de la actividad fue aplicar temáticas tratadas sobre la lógica

proposicional: proposiciones, conectores lógicos tablas de la verdad y
cuantificadores. Poniéndolo en práctica a través de ejercicios con un
contexto dado a partir de lenguaje simbólico o de argumentos y
proposiciones simples con el fin de generar tablas de la verdad
manualmente y constatarlo con el simulador lógico de la UNAD.

Objetivo

Entender conceptualmente y poner en práctica la lógica proposicional a

través de tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias, proposiciones
categóricas, cuantificadores.
 Ejercicio 1
Literal C: Cuantificador existencia. Link presentación realizada en
Prezi.com:
https://prezi.com/view/DpojWyv3ID2k8PGtrt8b/
Ejercicio 2
Literal C:
 Argumento:
Empresas estadounidenses no pueden negociar con empresas chinas o
Google es una empresa estadounidense y Si Huawei es una empresa
china entonces no tiene Android de Google.

 Proposiciones Simples:
p = Empresas estadounidenses pueden negociar con empresas chinas
q = Google es una empresa estadounidense
r = Huawei es una empresa china
s = Huawei tiene Android de Google
 Lenguaje Simbólico:
 Tabla de la verdad(manual):

 Resultado de la tabla: Conjuntiva

 Simulador lógica UNAD

 Ejercicio 3
 Expresión simbólica:

 Definición de las proposiciones simples:

p: estudio todos los días
q: envío las actividades a tiempo
r: completo todos los puntos de la fase
 Lenguaje natural de la expresión simbólica:
Si estudio todos los días o envío las actividades a tiempo si y solo si
completo todos los puntos de la fase
 Tabla de la verdad (manual)

 Resultado de la tabla: Conjuntiva

 Simulador lógica UNAD
Conclusiones
 La lógica proposicional si bien es un lenguaje matemático sirve para
aplicarlo en el mundo real y resolver problemáticas con un método
lógico.
 Las tablas de la verdad explican gráficamente el funcionamiento de
los argumentos y las posibles combinaciones lógicas de las
proposiciones.
Referencias
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp.9-24, 106-112). Ediciones Elizcom,
Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action
?ppg=109&docID=3199701&tm=1529510366591
 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
 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