PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1 –
PROPOSICIONES Y TABLAS DE VERDAD

PRESENTADO POR
LAURA DANIELA CHAVEZ CALDERON

PRESENTADO A TUTOR:
JUAN PABLO OBANDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
CEAD ACACIAS
FEBRERO
2020
 INTRODUCCION

El presente trabajo se realiza con el fin de poder demostrar los

conocimientos que se adquieren en dicho documento, por lo cual
también se evidenciara un vínculo o link que se ha diseñado con el
fin de poder definir que es un cuantificador, que es un cuantificador
universal negativo y algunos ejemplos de este. De igual manera se
van a encontrar el desarrollo de dos ejercicios propuestos cada uno
con su tabla de verdad.

Las proposiciones simples se logran convertir en un lenguaje natural

o argumento, la cuales están compuestas por conectores tales como
y, o, entonces, si y solo sí. Por medio de este método podremos
definir el método el cual nos llevara a deducir si las premisas dadas
son verdaderas o falsas.
 OBJETIVOS

Objetivo general:

 Lograr comprender lo conceptos básicos de la lógica

proposicionales y aplicarlos para la solución de problemas

Objetivos específicos:

 Definir que es un cuantificador, explicar que es un

cuantificador universal negativos y dar ejemplos

 Expresar las proposiciones dadas en lenguaje formal o

natural

 Generar tablas de manera manual y comprobar el resultado

con el simulador de lógica de la UNAD.
Ejercicio 1: Conceptualización de Cuantificadores

Link: https://prezi.com/view/W2mjlN4bRY75fwwQ8XHX/

Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento:
Si pertenezco a la Escuela de Ciencias Básicas de la UNAD, entonces
podré graduarme con un proyecto aplicado o un proyecto de
investigación.

Proposiciones simples:
p: Pertenezco a la Escuela de Ciencias Básicas de La UNAD
q: Podré graduarme con un proyecto aplicado
r: Un proyecto de investigación

Lenguaje simbólico:
[(p q) v r ]
P Q R (p q) vr [(p q) v r ]

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

El resultado de la tabla es CONTINGENCIA

TABLA DEL SIMULADOR:

 Ejercicio 3: Problemas de aplicación

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

ejercicio):

{(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)

 Definición de las proposiciones simples:

P: Voy en motocicleta
q: Aumento la velocidad
r: Llego temprano a la Universidad

 Lenguaje natural de la expresión formal:

Si voy en motocicleta entonces aumento la velocidad, y si llego

temprano a la universidad entonces voy en motocicleta. Entonces voy
en motocicleta por lo tanto aumento la velocidad
  Generar la tabla de verdad manualmente

p q r (p (r ⟶ p) ( p ⟶ q) {(p ⟶ q) ∧ (r ⟶ p)} ⟶
q) ( p ⟶ q)

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

El resultado de la tabla es una TAUTOLOGIA

 Generar la tabla de verdad con el simulador Lógica UNAD

 CONCLUSIONES

El presente podemos concluir que el uso de las tablas de verdad nos

sirve para corroborar el verdadero valor de una proposición (tautología,
contingencia y contradicción); también el cómo podemos cambiar una
proposición de un lenguaje formal a un lenguaje natural o viceversa y
así poder formar un argumento.

También podemos concluir que el uso del cuantificador nos sirve para
señalar cuantos o que tipos de elementos integran a un conjunto dado y
que puedan cumplir con una determinada propiedad; así, el
cuantificador universal negativo se utiliza para afirmar que ninguno de
los elementos de un conjunto cumple con una determinada propiedad o
característica.
 BIBLIOGRAFIA

Mojica Yersi (2019) CUANTIFICADOR UNIVERSAL NEGATIVO. Prezi.

https://prezi.com/p/59b_f2h63gib/cuantificador-universal-negativo/

Florencia Ucha (2013) CUANTIFICADORES. Definición ABC.

https://www.definicionabc.com/general/cuantificadores.php