TAREA 1

PROPOSICIONES Y TABLAS DE VERDAD

TUTOR:

YADER BLANDÓN

PRESENTADO POR:

MIGUEL ROJAS PAEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO

VALLEDUPAR SEPTIEMBRE DEL 2019

 INTRODUCCIÓN

Presento la actividad de pensamiento lógico matemático como actividad individual donde

defino ejemplos sobre cuantificador universal negativo, realizo tablas de verdad en
simuladores y manuales y defino proposiciones simples permitiéndome comprender
conceptos fundamentales de la lógica proposicional y aplicarlos en la resolución de
problemas.
 OBJETIVOS

 Crear ejemplos sobre cuantificadores.

 Definir proposiciones imples.
 Definir expresiones en lenguaje simbólico.
 Generar tablas de verdad con simuladores y manualmente.
 Reemplazar variables simbólicas.

Descripción del ejercicio

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

 Definir las proposiciones simples del argumento.

p: El arcoíris se forma con muchos colores

q: El agua lluvia interactúa con los rayos de luz solar
r: El sol está detrás de las nubes
 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 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)
  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 p ( p ↔ q) (r → p) ¿

V V V F V F V

V V F F V V V

V F V F F F F

V F F F F V V

F V V V F V V

F V F V F V V

F F V V V V V

F F F V V V V

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

Es contingencia ya que se encuentran tanto valores verdaderos como falsos.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

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

para el desarrollo del ejercicio 3:

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

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.

p: Los estudiantes del grado undécimo estudian

q: Aprobarán los exámenes

r: Ganarán el año

s: se graduarán

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

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por
lo que de encontrar proposiciones iguales entre estudiantes se considerará como
copia y se tomarán las medidas correctivas estipuladas por la UNAD.

Si los estudiantes del grado undécimo estudian, entonces aprobaran los exámenes y
ganarán el año y se graduarán.
 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)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

( p →q ) ∧ ( r ⋀ s )
( p) (q ) (r ) ( s) ( p →q ) (r ⋀ s ) ( p →q ) ∧ ( r ⋀ s )
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V F
V F V F F F F
V F F V F F F
V F F F F F F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V V V V
F F V F V F F
F F F V V F F
F F F F V F F

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia
Es contingencia ya que se encuentran tanto valores verdaderos como falsos.
 CONCLUSIONES
Al principio sentí un poco dificil la actividad ya que no tenía bien claro las tematicas de la
unidad, luego de eso decidí volver a leer y ver los videos que pienso que fueron de gran
ayuda y me despegaron muchas dudas que tenía.
La parte más facil de la actividad fue el simular y crear manualmente tablas de verdad ya
que se me hizo muy facil hacerlo.
Esta tematica me parece de gran importancia ya que puedo aplicar los conocimientos
adquiridos en esta unidad en algún juego.
 REFERENCIAS BIBLIOGRAFICAS

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

Marin J.  (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/