Unidad 1- LOGICA PROPOSICIONAL

Tutor: CARLOS EDUARDO OTERO MURILLO

Estudiante: Luz Adriana Garcia Garcia

Código: 1049372900

Grupo: 200611_1438

Universidad Nacional Abierta y a Distancia UNAD

ECBTI

Ingeniería Electrónica

Curso: Pensamiento Logico y Matematico 200611

Boavita, 23 de febrero 2019

 INTRODUCCION

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa,

que cada conclusión que obtenemos se deduce de algo. Este algo o punto de
partida se llama premisa, es por esto que esta unidad es significativamente
importante en la formación de cualquier profesional, desde la óptica de la necesidad
de la apropiación de una fundamentación conceptual básica para fortalecer la
destreza en la identificación de las proposiciones como elemento fundamental de la
lógica y la comprensión de la relación entre el lenguaje simbólico y el lenguaje
natural.
 OBJETIVOS

OBJETIVO GENERAL

 Adquirir los conocimientos básicos y conceptos de la lógica proposicional

necesarios para el estudio del curso de pensamiento lógico y proposicional.

OBJETIVOS ESPECIFICOS

 Aprender a identificar las clases de proposiciones que se puede encontrar en

un enunciado.

 Entender la aplicación y el efecto que tienen los términos de enlace en las

proposiciones.

 Analizar proposiciones en nuestro idioma para determinar su validez.

 Analizar e interpretar proposiciones para simbolizarlas.

 Analizar los enunciados para la elaboración de las tablas de verdad, teniendo

en cuenta los términos de enlace.

 Introducir los conceptos y operaciones básicas y comprobar que permite

estructurar razonamientos, de forma concisa y precisa, y discernir si
determinadas afirmaciones son verdaderas o falsas.
Ejercicio 1: Conceptualización de Cuantificadores

A. Cuantificador Existencial.
https://prezi.com/view/tyJEpJyTM0RXWEOBH0On/

Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento:
Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es
un sustantivo.

 Proposiciones Simples:

p = Pereira es el nombre de una ciudad

q = Pereira es un apellido
r = Pereira es un sustantivo
Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

(𝑝 ∨ 𝑞) → 𝑟

 Tabla de la verdad (manual):

p q r 𝑝 ∨ 𝑞 (𝑝 ∨ 𝑞) → 𝑟
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V

 Resultado de la tabla de verdad: CONTINGENCIA

 Simulador Lógica UNAD:

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica

(𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )

 Definición de las proposiciones simples:

p: Entrego mis actividades a tiempo

q: Pierdo el tiempo
r: me dedico a descansar

 Lenguaje natural de la expresión formal:

Entrego mis actividades a tiempo si y solo si no pierdo el tiempo o pierdo el

tiempo y me dedico a descansar
 Generar la tabla de verdad manualmente:

p q r ¬𝑞 (𝑝 ↔ ¬𝑞) (𝑞 ∧ 𝑟 ) (𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )

V V V F V V V
V V F F V F F
V F V V F F V
V F F V F F F
F V V F F V V
F V F F F F F
F F V V V F V
F F F V V F V

 Resultado de la tabla de verdad: CONTINGENCIA

 Generar la tabla de verdad con el simulador Lógica UNAD

 CONCLUSIONES

Mediante el desarrollo de la actividad se refuerzan tremas de lógica matemática

identificando determinado conceptos base para el desarrollo de los mismo,
estudiando los sistemas lógicos y proposicionales y entender la lógica proposicional
como una de las piezas fundamentales de la inteligencia artificial, se logra
evidenciar que es un modo sencillo y practico de resolver problemas, considerando
que se puede resolver desintegrando el problema en proposiciones simples.
 BIBLIOGRAFÍA

 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

 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=1
2&docID=3199701&tm=1529335849013

 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

 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