Universidad Nacional Abierta y a Distancia

UNAD

Tarea 1 – Proposiciones y tablas de verdad

Leidys María Sepúlveda Flórez

Tutora: Amalfi Galindo Ospino

Grupo: 200611_720

Astrea – Cesar
Marzo 20019
 INTRODUCCIÓN

En el siguiente trabajo, abordaremos las temáticas sobre los conceptos fundamentales de la

lógica proposicional, tablas de verdad así como también problemas de aplicación mediante la

realización de ejercicios de las tres tareas prácticas que nos ayudaran y darán las bases para

formalizar nuestros conocimientos y comprender dichos temas de la mejor manera.

 OBJETIVOS

 Analizar los enunciados para la elaboración de las tablas de verdad.

 Conocer los diferentes tipos de conectivos lógicos.

 Utilizar estrategias basadas en problemas.

 Conocer, aprender y colocar en práctica las proposiciones simples.

 DESARROLLO DE EJERCICIOS
Ejercicio 1, letra C
Ejercicio 2, letra C
 C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un
sustantivo ꓥ

1. Definir las proposiciones simples del argumento

p: Pereira es el nombre de una ciudad

q: Pereira es un apellido
s: Pereira es un sustantivo

2. Definir la expresión del argumento en lenguaje simbólico o formal:

(p ꓦ q) s

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso) :
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción:
p q s (p ꓦ q) (p ꓦ q) s

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

Es una contingencia porque hay por lo menos una falsedad y una verdad.

Ejercicio 3, letra C
(𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )

1. Definir las proposiciones simples

p: te presto la tarea
q: apuntas lo mismo
r: agregas más cosas

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Te presto la tarea si y solo si, no apuntas lo mismo, o apuntas lo mismo y agregas
más cosas.

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
 4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico
p q r ̃q (𝑝 ↔ ¬𝑞) (𝑞 ∧ 𝑟 ) (𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟
)

V v v f f v v
V v f f f f f
V f v v v v v
V f f v v f v
F v v f v v v
F v f f v f v
F f v v f f f
F f f v f f f

Es una contingencia
 CONCLUSIONES

 La realización de este trabajo nos permitió profundizar los conocimientos del uso de

la lógica para la resolución de problemas o la representación de la realidad a nivel de

proposiciones.

 La lógica matemática nos ayuda a desarrollar los procesos de pensamiento,

encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en

nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia. Las

inferencia lógicas también cotidianas y las hacemos sin darnos cuenta.

 La proposición es el elemento esencial de la lógica para la matemática.

 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

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

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

_ 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

_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