Tarea 1 Proposiciones y Tablas de Verdad

Elaborado por:
Mayra Alejandra Quintero Valencia

Presentado a tutor
Elkin Ricardo Laverde

Pensamiento lógico y matemático

Grupo
200611-489

Universidad Nacional Abierta y a Distancia

Bucaramanga,05 de Mayo 2019

 Introducción

En el siguiente trabajo se presentan una serie de conceptos y temáticas desarrolladas como

lo son los cuantificadores universales, proposiciones y tablas de verdad de la misma
también aplicamos la transición del lenguaje natural al lenguaje simbólico, la identificación
de las proposiciones simples, la elaboración de tablas dinámicas, el uso de software
simulador como tabla de verdad.
 OBJETIVOS

 Fortalecer los conomientos adquiridos de los temas tratados

 Desarrollar los ejercicios propuestos en esta unidad de manera correcta

 Utilizar herramientas digitales con recursos didácticos para la presentación del tema
Cuantificador Universal

 Identificar en la tabla de verdad si el resultado es una tautología, contingencia o

contradicción.
 Implementar el simulador Lógica UNAD para poder desarrollar la tabla de verdad
 DESARROLLO DE LOS EJERCICIOS

Ejercicio 1: Conceptualización de Cuantificadores

Tema seleccionado Punto B. Cuantificador Universal Negativo

Presentación se realizó en Prezi en el siguiente link

https://prezi.com/view/8H6rnEZgtDJzyZufkswQ/

CUANTIFICADOR UNIVERSAL NEGATIVO

El cuantificador universal negativo se utiliza para afirmar que ninguno de los elementos de
un conjunto cumple con una determinada propiedad.
Este cuantificador hace referencia a que no hay ninguna parte positiva en una afirmación de
la que hace parte un todo
Las frases que comúnmente se usan para denotar cuantificador universal negativo son:
 Para ningún x
 Ninguno
 No
 Nadie
 Nada
EJEMPLOS
1. Ninguno de los visitantes conocía el zoológico
Explicación: Para toda visitante x ,x no conocía el zoológico

2. Nadie de la familia es profesional

Explicación: para todo x de la familia, x no es profesional

3. Ningún estudiante conoce el laboratorio

Explicación: Para todo x de familia. x no es abogado
Ejercicio 2: Proposiciones y Tablas de Verdad
Argumento:
B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una buena
comprensión lectora y buena ortografía
 Proposiciones Simples: Se considera que una proposición en su forma mas sencilla se llama
atómica o simple. Las proposiciones simples son aquellas donde no es posible encontrar otras
proposiciones
Se define cada proposición simple del argumento, siempre en afirmativo y con letras en minúscula
p: Aprender Matemáticas desarrolla Razonamiento Lógico
q: Posee una buena comprensión lectora
r: Poseee una buena ortografía

Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

p↔(q∧r)
TABLA DE VERDAD MANUAL

p Q R p↔ (q∧r) p↔(q∧r)

v V V v v V

v v F f f F

v F V f f F

v F F f f F

f V V f v F

f V F v f V

f F V v f V

f f F v f V

Resultado de la tabla de verdad: contingencia

 Simulador Lógica UNAD

p↔(q∧r)
Ejercicio No 3 Problemas de aplicación

 Expresión formal o simbólica

C. ( p ↔¬ q ) ∨ ( q ∧ r )

Argumento
La UNAD ofrece programas académicos a distancia si solo si los estudiantes viven en el área
metropolitana o los estudiantes viven en el área metropolitana y se pueden trasladar a la sede
principal.

Proposición Simple:
p: La UNAD ofrece programas académicos a distancia
q: los estudiantes viven el área metropolitana
r: Los estudiantes se pueden trasladar a la sede principal

TABLA DE VERDAD MANUAL

p q R ¬q (p↔¬q) (q∧r) (p↔¬q)∨(q∧r )

v v v F f v V

v v f F f f F

v f v V v f V

v f f V v f V

f v V F v v V

f v F F v f V

f f V V f f F

f f F V f f F

Resultado de la tabla de verdad: contingencia

 Simulador Lógica UNAD
(p↔¬q)∨(q∧r )
 Conclusiones

 Cuando se habla de cuantificadores en términos de lógica, se hace referencia a aquellos

símbolos que se utilizan para indicar cantidad en una proposición

 Se denomina Proposición a toda expresión versal, enunciado o discurso del cual

podemos afirmar, inequívocamente que es verdadero o falso, pero no ambas cosas a la
vez

 La tabla de verdad muestra el valor de verdad de una proposición compuesta, para cada
combinación de valores de verdad que se pueda asignar a sus componentes.
 Referencias Bibliográficas

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid

 Tomada página web

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

 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