Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Cristian Yordany Gamboa Carvajal

Código: 1094663910
Grupo: 200611_191

Tutor:

JUAN CARLOS GUERRERO

Universidad Nacional Abierta Y A Distancia-Unad

Escuela De Ciencias De La Salud
Lógica matemática
Mayo 2019
 INTRODUCCIÓN

Los seres humanos a través de su cotidianidad se comunican con sus semejantes,

empleado lenguaje oral, escrito entre otros, formando frases u oraciones las cuales depende

del momento o situación que se empleen van dando imaginación a formas de actos

verdaderos o falsos, de acurdo a esto podemos establecer una preposición, y a partir de un

conjunto de estas podemos llegar a una conclusión siendo la lógica encargada al estudio de

esta.

La lógica proporcional es una rama de la lógica que permite representar hechos y

expresiones del mundo real en lenguaje del mundo representativo del conocimiento para ser

estudiadas a través de proposiciones, esta rama es muy importante en el desarrollo de la

inteligencia artificial entre otros.

OBJETIVOS

 Analizar proposiciones en nuestro idioma para determinar su validez.

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

en cuenta los términos de enlace.

Ejercicio 1: Conceptualización de Cuantificadores

https://prezi.com/view/NA3Jh6hlMZrbWxaqaZ5I/
Ejercicio 2: Proposiciones y Tablas de verdad

C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un

sustantivo

 Proposición Simple De Argumento

p: Pereira es el nombre de una ciudad

q: Pereira es un apellido
r: Pereira es un sustantivo

 Al definir la expresión en el lenguaje simbólico quedaría

p ∨q → r

 Tabla Manual

p q r p ∨q p ∨q → r
V V V V V
V V F V F
V F V F V
V F F V F
F V V V V
F V F V F
F F V F V
F F F V V
 Simulador
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)
para el desarrollo del ejercicio 3:

C ( p ↔¬ q ) ∨ ( q ∧ r )

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico

La paz es un derecho si y solo si la paz no es un deber o la paz es un deber y la paz trae

bienestar

P: la paz es un derecho
Q: la paz es un deber
R: la paz trae bienestar

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

p q r q (p↔ q) (q ∧ r) ( p ↔¬ q ) ∨ ( q ∧ r )
V V V F V V V
V V F F V F V
V F V V F F F
V F F V F F F
F V V F F F F
F V F F F F F
F F V V V F V
F F F V V F V
 Simulador
Conclusiones

 Las proposiciones son aquellas expresiones que pueden ser

calificadas bien como verdaderas o falsas sin ambigüedades

 A la veracidad o falsedad de un enunciado (proposición)

valor caritativo o valor de verdad

 Dos proposiciones p y q se llaman equivalentes

Bibliografía
Proposiciones y tablas de verdad

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

Proposiciones y Conectores lógicos

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

Cuantificadores

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

Tablas de verdad

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

OVI Unidad 1 - Proposiciones y tablas de verdad

Este Objeto Virtual de Información, titulado aplicación de las tablas de verdad en el álgebra
de proposiciones, tiene como objetivo, orientar al estudiante acerca dela determinación del
valor de verdad, en un lenguaje formal. El OVI, igualmente, servirá como documento de
consulta para realizar una de las actividades propuestas en la Guía Integrada de Actividades
del curso.

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871