1

Proposiciones y Tablas de Verdad

Sergio Alejandro Jacanamijoy Claros

Curso 200611_762

Pensamiento Lógico y Matemático

Grupo 200611_430

Tutor

Wilder Pastor Murcia

Universidad Nacional Abierta y a Distancia – UNAD

CCAV Pitalito

Ingeniería en Sistemas

Pitalito (Huila)

2020
 2

Proposiciones y Tablas de Verdad

Pasos, fases o etapa de la estrategia de aprendizaje a desarrollar

La presente tarea consta de 3 ejercicios; cada estudiante debe seleccionar una letra: A, B, C, D o
E, así en cada ejercicio el estudiante seleccionará y desarrollará lo solicitado en la descripción
del ejercicio. Además, anunciara la letra seleccionada en el foro correspondiente, de tal forma
que no coincida con la selección de otro compañero. Ejemplo:

“Voy a desarrollar los ejercicios A”

Esto quiere decir que el estudiante realizara todos los ejercicios A de esta guía.

El estudiante deberá presentar en el foro de la actividad tarea 1: Proposiciones y tablas de

verdad, como mínimo tres aportes. Por ejemplo: Puedes presentar un aporte por el desarrollo de
cada ejercicio, para ellos debe presentar un archivo Word con el desarrollo.
 3

Actividades a Desarrollar:
La tarea de esta unidad se compone de una serie de ejercicios que se describen a continuación:

Ejercicio 2: Proposiciones y Tablas de Verdad

Para el desarrollo de este ejercicio, es necesario que revise el entorno de conocimiento

(Unidad 1), las siguientes referencias:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de algebra lineal. Volumen I: Conjuntos numéricos, complementos. (pp. 19-28).
Madrid, España: Editorial Tébar Flores

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid

Descripción del ejercicio:

A continuación, encontrara los argumentos para el desarrollo del ejercicio 2:

A. Cali es la capital de la salsa o Medellín es la ciudad de la eterna primavera si y solo si

Bucaramanga es la ciudad bonita y Barranquilla es la puerta de oro de Colombia.

B. . Si el América clasifica a la Copa Libertadores, entonces jugará más partidos o podrá

mostrar más sus jugadores.

C. Si el uso de computador es muy básico en la UNAD y Juan no tiene computador,

entonces tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la
universidad le ofrece.

D. El día sin carro en Medellín fue el 12 de febrero y buscan con esta medida reducir los
niveles de contaminación, si y solo si, dejan de transitar vehículos particulares o serán
sancionados con multa.
 4

E. Si Ibagué es la capital musical de Colombia y cada año se celebra el Festival Nacional de

Música Colombiana, entonces se hace homenaje a los intérpretes de los diversos aires
colombianos y se busca posicionar la ciudad como musical a nivel nacional.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

 Definir la expresión del argumento en lenguaje simbólico o formal.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico ( El estudiante encontrara la guía para el uso de recursos educativos simulador
Lógica UNAD , en el entorno de aprendizaje practico, así como el link de acceso al
recurso)
 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.

Ejercicio 2: Proposiciones y Tablas de Verdad

Solución del ejercicio 2 seleccionado de acuerdo con la letra escogida:

C. “Si el uso de computador es muy básico en la UNAD y Juan no tiene computador, entonces
tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la universidad
le ofrece”

 Proposiciones Simples

R/= p = El uso de computador muy básico en la UNAD

q = Juan tiene computador
r = Tendrá dificultad para estudiar
s = Ira al CEAD más cercano para usar los que la universidad le ofrece
 5

 Lenguaje Simbólico

R/= [(p ˄ ¬q ) → r] ˅ s

 Simulador Lógica UNAD

R/=
 6

 Tabla de Verdad

R/=

p q r s ¬q (p ˄ ¬q ) (p ˄ ¬q ) →r (p ˄ ¬q ) → r ˅ s

V V V V F F V V
V V V F F F V V
V V F V F F V V
V V F F F F V V
V F V V V V V V
V F V F V V V V
V F F V V V F V
V F F F V V F F
F V V V F F V V
F V V F F F V V
F V F V F F V V
F V F F F F V V
F F V V V F V V
F F V F V F V V
F F F V V F V V
F F F F V F V V
 7

Referencias Bibliográficas:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de algebra lineal. Volumen I: Conjuntos numéricos, complementos. (pp. 19-28).
Madrid, España: Editorial Tébar Flores

 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid

https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12