Tarea 1 – Proposiciones y Tablas de Verdad

Paula Andrea Ramírez Muñoz

1006123243

Pensamiento Lógico Y Matemático

Tutor: Fabio Ossa Ortega

Universidad Nacional Abierta Y A Distancia (Unad)

UDR – Mariquita

Ingeniería Industrial

Septiembre/2019
 INTRODUCCION

En el siguiente trabajo se encuentra 3 ejercicios donde se pone a prueba los conocimientos y

capacidades para el desarrollo de proposiciones y tablas de verdad; en cada uno de los ejercicios

se definirá las proposiciones simples a partir de la compuesta, también en leguaje simbólico y

natural llevando esto a la practica en las tablas de verdad, por último, determinar el resultado de

la tabla.
 OBJETIVOS

- Apropiación del tema: Proposiciones y tablas de verdad.

- Usar los conectivos lógicos destinados al tema.

- Interpretar el leguaje simbólico y natural.

- Definir proposiciones simples del argumento dado.

- Ejemplos de proposiciones compuestas de su autoría.

- Desarrollar tablas de verdad.

- Distinguir los diferentes resultados: tautología, contradicción, y contingencia.

 ACTIVIDADES A DESARROLLAR

Ejercicio 1: Conceptualización de Cuantificadores

B. Cuantificador Universal negativo

DESARROLLO
Ejercicio 2: Proposiciones y Tablas de verdad

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los

rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con

muchos colores.
 DESARROLLO

1. las proposiciones simples del argumento.

p: El arco iris se forma de muchos colores

q: El agua de lluvia interactúa con los rayos de luz solar

r: El sol está detrás de las nubes

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

(𝒑 ↔ 𝒒) 𝑉 (𝒓 → ~𝒑)

3. Generar una tabla de verdad con el simulador Lógica UNAD

4. Generar una tabla de verdad manualmente. determinar si el resultado es una tautología,

contingencia o contradicción.

p q r (p q) V (r → ~p)
v v v v v v V v f f
v v f v v v V f v f
v f v v f f f v f f
v f f v f f V f v f
f v v f f v v v v v
f v f f f v V f v v
f f v f v f V v v v

5. determinar si el resultado es una tautología, contingencia o contradicción.

 - Es una Contingencia, porque los resultados están combinados.

Ejercicio 3: Problemas de aplicación

B. (𝑝 → 𝑞) ∧ (𝑟 ⋀ 𝑠)

DESARROLLO

1. Definir las proposiciones simples:

p: Janer está matriculado en la UNAD

q: Janer se presentó a la inducción

r: Conoció a sus tutores

s: El campus virtual

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

 - Janer está matriculado en la UNAD, entonces Janer se presentó a la inducción y

conoció a sus tutores y el campus virtual.

3. Generar una tabla de verdad con el simulador Lógica UNAD:

4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico:

p q r s (p → q) ꓥ (r ꓥ s)
v v v v v v v v v v v
v v v f v v v f v f f
v v f v v v v f f f v
v v f f v v v f f f f
v f v v v f f f v v v
v f v f v f f f v f f
v f f v v f f f f f v
v f f f v f f f f f f
f v v v f v v v v v v
f v v f f v v f v f f
f v f v f v v f f f v
f v f f f v v f f f f
f f v v f v f v v v v
f f v f f v f f v f f
f f f v f v f f f f v
f f f f f v f f f f f

5. Es una Contingencia, porque sus resultados son combinados.

 CONCLUSIONES

- Principalmente aprender a identificar las preposiciones simples, compuestas y como

convertirlas a lenguaje simbólico y natural.

- Aprender a realizar las tablas de verdad manualmente ya que de ahí sale el resultado

de verdad de una preposición compuesta, por medio de las combinaciones que se

puede asignar.

- Poder identificar cuando una tabla de verdad sea tautología, contradicción o

contingencia.

- Tener claro cuáles son los conectivos lógicos de una composición compuesta.
 REFERENCIAS BIBLIOGRAFICAS

- UNAD.(2019).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

- UNAD.(2019).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

- Web.(2019).(Simulador de Tablas) http://logicaunad.com/