Pensamiento Lógico Matemático

Unidad 1 Presentado por:

Gabriel Fernando Rosas Tiria

1007475735

Grupo: 200611C_614

TUTOR:

Yady Milena Camacho

UNIVERSIDAD NACIONAL ABIERTA Y A

DISTANCIA UNAD

CEAD – Duitama – Boyacá

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E

INGENIERIAS ECBTI

PROGRAMA DE INGENIERIA INDUSTRIAL

 Introducción
La introducción a este trabajo se especifica en cómo aplicar conectores lógicos,
como utilizar proposiciones y como utilizar tablas de verdad para poder
complementar el tema, para esto es fundamental tener muy en cuenta los temas
visto en los B-learning que se realizan en la universidad para poder desarrollar los
3 ejercicios propuestos por la universidad para nuestro conocimiento y nuestras
capacidades.

Objetivo General
Conocer y generalizar la importancia del tema para el desarrollo de la actividad y
generalizar lo que es conectores lógicos, como utilizar proposiciones y como
realizar las tablas de verdad y saberlas utilizar en la vida real

Objetivos específicos
 Identificar los conectores lógico proposiciones y tablas de verdad
 Construir un trabajo claro y exacto para saber la importancia de estos 3
temas y generalizarlos para el uso de la vida cotidiana y saber cómo
usarlos, en cualquier caso
 Determinar cuándo las tablas de verdad sea una contingencia, una
tautología o una contradicción, saber definir las tablas de verdad teniendo
en cuenta las negaciones la conjunción la condicionalidad la disyunción la
bicondicionalidad y la condicionalidad y saber cómo expresar una
proposición en leguaje simbólico.
 Desarrollo ejercicio 1
Link de prezi en presentación
https://prezi.com/view/qoiV1frSATX9mPysInMG/
 Desarrollo ejercicio 2

A. Lenguaje natural: 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 no pueden negociar con empresas chinas
q: Google es una empresa estadounidense
r: Huawei es una empresa china
¬s: no tiene Android de Google

Lenguaje Simbólico

(¬p ∨ q) ∧ (r→¬s)
Tabla Realizada con el simulador lógica unad
 Tabla Generada Manualmente en Excel

La tabla es una contingencia ya tiene valores verdaderos y

falsos
 Desarrollo ejercicio 3

c. [(p ⋁q) ⟷ r]

Lenguaje Natural
Si enero tiene 31 días o febrero tiene 28 días si y solo si marzo tiene 31
días

Lenguaje simbólico
c. [(p ⋁q) ⟷ r]

Tabla generada con simulador lógica unad

Tabla de verdad generada manualmente
Es una contingencia, ya que el operador tiene valores verdaderos y
falso
 Conclusiones
Con este trabajo aprendí y comprendí como se tiene que utilizar el lenguaje de
símbolos, aprendí a identificar los diferentes cuantificadores, aprendí con el curso
a saber sobre conectores lógico y tablas de negación me enseño que es una
negación, una conjunción, una condicionalidad una bicondicionalidad una
disyunción y una negación, para poder desarrollar las tablas de verdad y poder
aplicar los problemas de las tablas de verdad en la vida cotidiana, también me
enseño como separar conectores lógico utilizando el lenguaje natural y con este
también poder realizar tablas de verdad en Excel
 Bibliografía
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 de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013
https://www.youtube.com/watch?v=a5cEaETtTNo&t=519s