Tarea 1

Proposiciones y Tablas de Verdad

Lady johana correa rincón

Código de grupo: 200611_583

Tutor: Norbey Romero

Universidad nacional abierta y a distancia (UNAD)

Escuela de ciencias sociales artes y humanidades
Pensamiento lógico y matemático
Septiembre 16 del 2019
 Introducción

En este trabajo encontraremos tres (3) ejercicios basados en proposiciones y tablas de verdad con
la finalidad de ampliar nuestro conocimiento en el desarrollo de proposiciones simples y
compuestas con sus respectivas tablas de verdad, también comprender a fondo la metodología
usada por la lógica matemática para resolver situaciones reales.
 Objetivos

 Aprender a realizar la tabla de verdad manual basándonos en el lenguaje simbólico

determinando su resultado como tautología, contingencia o contradicción.

 Definir la expresión del argumento en lenguaje simbólico o formal

 Estudiar las técnicas lógicas para tablas de verdad

 Comprender el uso de la lógica en la vida cotidiana.

Ejercicio 1 Conceptualización de Cuantificadores

B. Cuantificador Universal negativo.

https://prezi.com/p/uxz_ikg9xckk/

EJERCICIO 2: proporciones 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.

Argumento: 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.

Definir las proposiciones simples del argumento:

p: El arcoíris se forma con muchos colores

q: si el agua de lluvia interactúa con los rayos de luz solar
r: si el sol está detrás de las nubes

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

( p ↔q ) V (r → p)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico:
  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 r ¿ ⃡ q¿ V ¿ →
V V V V V V V V V F
V V F V V V V F V F
V F V V F F V V V V
V F F V F F V F V V
F V V F F V F V F F
F V F F F V V F V F
F F V F V F V V V V
F F F F V F V F V V

Resultado de la tabla es una contingencia

 Ejercicio 3: problemas de aplicación

b . ( p→ q ) ∧ ( r ⋀ s )

Desarrollo:
b . ( p→ q ) ∧ ( r ⋀ s )

 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

p: johana estudia en la UNAD

q: hace sus aportes o trabajos
r: participa en los foros
s: johana va a los B-learning
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural

Si Johana estudia en la UNAD entonces hace sus aportes o trabajos y participa en los foros, y
johana va a los B-learning

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

p q r s ¿ → q¿ ∧ ¿ ∧

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

El resultado de la tabla es una contingencia

 Conclusiones

 Al realizar este trabajo comprendimos de una manera más clara los conceptos
manejados en lógica matemática, proposiciones y
tablas de verdad para relacionar la vida real en forma matemática.

 Desarrollamos las temáticas de proposiciones, tablas de verdad, y sus operaciones

 Reforzamos los conocimientos básicos Proposiciones y Tablas de Verdad

 Referencias bibliográficas

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

https://www.youtube.com/watch?v=xmWWdW9jDkA

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores