INTRODUCCION

En este trabajo reforzaremos los conceptos de Lógica proposicional,

tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias,
proposiciones categóricas, cuantificadores; mediante el desarrollo de
ejercicios, el uso del simulador Truth table para generar tablas de
verdad. Además, se hace uso de la herramienta Prezzi para representar
de manera gráfica la definición y ejemplos de cuantificadores.
 OBJETIVOS

General

Conocer y aplicar los conceptos de cuantificador universal afirmativo,

teoría de conjuntos y proposiciones en el desarrollo de los ejercicios
planteados utilizando herramientas como prezzi y Truth table

Específicos

 Analizar cada una de las temáticas a desarrollar.

 Identificar el concepto de cuantificador universal negativo y
ejemplos.
 Desarrollar ejercicios aplicando la teoría de conjuntos.
 Dar uso al simulador Truth table para generar tablas de verdad.
 Aplicar los conocimientos adquiridos en esta temática para
desarrollar los ejercicios planteados
 Ejercicio 1: Conceptualización de Cuantificadores

Ejercicio 1: Conceptualización de Cuantificadores

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.
Los temas propuestos son:

A. Cuantificador Universal negativo

Link Prezzi

Enlace de la presentación en PREZI:

 https://prezi.com/view/yCLnsQk5SMMybcjEe0Ih/

Ejercicio 2: Proposiciones y Tablas de Verdad

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

 Proposiciones Simples:

P: El arcoíris se forma de muchos colores.

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

R: Si el sol está detrás de las nubes.

 Lenguaje Simbólico:

[(p ↔ q) ˅ (r → ~p)]
  Tabla de la verdad (manual):

p q R ~p (r → ~p) (p ↔ q) [(p ↔ q) ˅ (r → ~p)]

V V V F F V V
V V F F V F V
V F V F F F F
V F F F V F V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

 Resultado de la tabla de verdad: Contingencia e indeterminada.

 Simulador Lógica UNAD:

 Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del ejercicio):

(𝑝→𝑞) ∧ (𝑟 ⋀ 𝑠)

 Definición de las proposiciones simples:

P: Andres estudia electrónica en la UNAD,

Q: la UNAD es una universidad abierta y a distancia

R: Andres registro 5 materias en el semestre

S: él tiene como propósito sacar buenas calificaciones.

  Lenguaje natural de la expresión formal:

Si Andres estudia electrónica en la UNAD, entonces, la UNAD es una

universidad abierta y a distancia y Andres registro 5 materias en el semestre y él tiene

como propósito sacar buenas calificaciones.

 Resultado de la tabla de verdad:

Contingencia e indeterminada
Generar la tabla de verdad manualmente:

p q R s (r ˄ s) (p → q) (p → q) ˄ (r ˄ s)
V V V V V V V
V V V F F V F
V V F V F V F
V V F F F V F
V F V V V F 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 F V F
F V F V F V F
F V F F F V F
F F V V V V V
F F V F F V F
F F F V F V F
F F F F F V F
Generar la tabla de verdad con el simulador Lógica UNAD
 CONCLUSION

Con este trabajo se logra comprender el concepto de cuantificadores,

proposiciones y el manejo de una nueva herramienta como lo es la tabla
de verdad, la cual muestra el valor de verdad de una proposición
compuesta, para cada combinación de verdad que se pueda asignar.,
como también el desarrollo de problemas de la Lógica Proposicional y la
forma de aplicarlos para resolver problemas cotidianos por medio de
tablas de verdad de forma manual como también utilizando el simulador
Truth table.

El desarrollo de este taller fue fundamental en el proceso de aprendizaje

ya que no solo se logra aclara muchas inquietudes, sino que también se
aprendió a utilizar herramientas nuevas como el simulador Truth table y
la herramienta prezzi para presentaciones gráficas.
 BIBLIOGRAFIA

 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/re
ader.action?ppg=20&docID=3226457&tm=152924625992
4
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.
 https://prezi.com/
 Cuantificador universal. (2017, 8 de mayo). Wikipedia, La
enciclopedia libre. Fecha de consulta: 20:15, junio 26, 2019 desde
https://es.wikipedia.org/w/index.php?title=Cuantificador_universa
l&oldid=98965049
 https://www.google.com/search?biw=1360&bih=608&tbm=isch&sa=1&ei=adoUXeTnBqG
c_QaFz5Jg&q=cuantificadores+ejemplos&oq=+cuantificadores&gs_l=img.1.4.0i67j0j0i67j0
j0i67l2j0l4.50736.50736..53721...0.0..0.151.151.0j1......0....1..gws-wiz-
img.dJ9uxntkCK0#imgdii=w0eRCoKIeuyrKM:&imgrc=g3QgSd8Rs3jOVM:
 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.