Unidad 1 Tarea 1 Proposiciones y tablas de verdad.

Presentado por:
Brayam Damián Cuervo
Código: 1012405164

Presentado a:
Ciro Efraín Martínez

Universidad Nacional Abierta y a Distancia – Unad

Programa de Ingeniería en Telecomunicaciones
Curso de Pensamiento Lógico y Matemático
2018
 Introducción

Este trabajo se realiza con la finalidad de obtener más conocimiento en los

siguientes temas: la lógica de proposiciones permite describir razonamientos basados en
enunciados declarativos, tablas de verdad da a conocer los valores de una proposición
compuesta, los cuales dependen de los conectivos utilizados, teoría de conjuntos de una
manera sencilla y explicita, como también sus funciones y representaciones,
proporcionables una visión clara de los conjuntos, aplicación de teoría de conjuntos estudia
las propiedades y las operaciones al que puedan ser sometidas.
Objetivos.

 Proporcionar herramientas que permitan elaborar determinar la validez de una

proposición.
 Analizar cualquier fórmula hallando sus valores de verdad para saber si es un
razonamiento valido o no.
 Representar los conjuntos en diafragma de ven realizando operaciones entre
conjuntos unión e intercesión.
 Trabajar estratégicamente para resolver problemas mediante analices
Ejercicio 1: Conceptualización de Cuantificadores
Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de los
siguientes temas y presentarlo de manera gráfica a través de una presentación, utilizando un
recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir del tema deberá
dar su definición y dos ejemplos.

Los temas propuestos son:

A. Cuantificadores en la Lógica Matemática. (Si es posible dar precisión de la ubicación

del tema dentro del contenido).

http://prezi.com/eyejvztbjeui/?utm_campaign=share&utm_medium=copy

Ejercicio 2: Proposiciones y Tablas de verdad

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

A. Si la Selección Colombia va al mundial y James juega los partidos, entonces la
Selección Colombia será finalista del Mundial de Rusia.
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 manualmente a partir del lenguaje simbólico.

p = la selección Colombia va al mundial

q = James juega los partidos

r = La selección Colombia será finalista del mundial de Rusia.

-b) (𝑝 ∧ 𝑞) → 𝑟

- c)
 p q r 𝒑∧𝒒 (𝒑 ∧ 𝒒) → 𝒓

V V V V V

V V F V F

V F V F V

V F F F V

F V V F V

F V F F V

F F V F V

F F F F V

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

  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, ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

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

Las proposiciones simples deben ser de autoría de cada estudiante
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia

[(𝑝 → 𝑞) ∧ (∼ 𝑝 → 𝑟)] → (∼ 𝑟 → 𝑝)

-a) p:Juan estudia Administración.

q: Juan Consigue trabajo

r: Juan Juega Futbol

-b) Si juan estudia administración entonces juan consigue trabajo, y si juan no estudia
administración entonces juan juega futbol, es decir que, si juan no juega futbol entonces juan
estudia administración.

-c) 5 = 𝑝 → 𝑞

𝑡 =∼ 𝑝 → 𝑟

𝑢 =5∧𝑡

𝑣 =∼ 𝑟 → 𝑝

𝑤=𝑢→𝑣
 𝑠=𝑝→𝑞
𝑡 =∼ 𝑝 → 𝑟
𝑢 =𝑠∧𝑡
𝑣 =∼ 𝑟 → 𝑝
𝑤=𝑢→𝑣

p q r s t u v w ~p ~r

V V V V V V V V F F

V V F V V V V V F V

V F V F V F V V F F

V F F F V F V V F V

F V V V V V V V V F

F V F V F F F V V V

F F V V V V V V V F

F F f v F F f v V V

-d) Tautología por que la proposición compuesta es toda verdadera.

 Conclusiones

Se lograron desarrollar las temáticas de proposiciones y tablas de verdad que nos permiten
disipar las dudas generadas durante el desarrollo de la actividad, así como también reforzar
los conocimientos previos, además de lograr la solución de ejercicios basadas en
problemas, que nos permiten una interacción con los compañeros y tutor.
 Referencias Bibliográficas.

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

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&docI
D=3199701&tm=1529510366591

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