Encabezado: PENSAMIENTO LÓGICO MATEMÁTICO

Unidad 1 Proposiciones y Tablas de Verdad

Erika Paola Lotta Pinzòn

Universidad Nacional Abierta y a Distancia

Grupo 200611-32

Tutor Adrian Esneider Herrera

Septiembre 2018
Encabezado: PENSAMIENTO LÓGICO MATEMÁTICO

Ejercicio 1: Conceptualización de cuantificadores

CUANTIFICADORES EN LA LÓGICA MATEMÁTICA

Son símbolos que se emplean para señalar los tipos de elementos que forman un conjunto y

cumple con determinada propiedad, se puede encontrar variedad de cuantificadores entre ellos

los más utilizados son: cuantificador universal y cuantificador existencial.

CUANTIFICADOR UNIVERSAL

Se simboliza así,∀ se utiliza para establecer que los elementos de un conjunto cumplan con una

propiedad.

CUANTIFICADOR EXISTENCIAL

Se utiliza para señalar que existe uno o más elementos en el conjunto, el cual indica que algunos

valores son verdaderos.

EJEMPLOS

 Todas mis primas bailan

(∀x) P(X) B(X) P donde se determina prima, B de bailan, X es un elemento donde se

emplea para indicar subconjunto.

 Todos los chocontanos son felices

(∀x) C(X) F(X) C se determina como Chocontanos, F de Felices, X es un elemento donde

se emplea para indicar subconjunto.

Encabezado: PENSAMIENTO LÓGICO MATEMÁTICO

Ejercicio 2: Proposiciones y Tablas de verdad

A. Si la Selección Colombia va al mundial y James juega los partidos, entonces la Selección

Colombia será finalista del Mundial de Rusia.

p: La selección Colombia va al mundial

q: James juega los partidos

r: La selección será finalista

Expresión en lenguaje simbólico:

p ^ q→r

Tabla de verdad
Encabezado: PENSAMIENTO LÓGICO MATEMÁTICO

p Q r p^q p ^ q→ r
v V v v v
v V f v f
v F v f v
v F f f v
f V v f v
f V f f v
f F v f v
f F f f v

EJERCICIO 3

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)

p Q r ∼p ∼r p→q
v V v f f f
v V f f v f
v F v f f f
v F f f v f
f V v v f v
f V f v v v
f F v v f f
f F f v v f

BIBLIOGRAFIAS

 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?

ppg=20&docID=3226457&tm=1529246259924

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=12&docID=3199701&tm=1529335849013

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=109&docID=3199701&tm=1529510366591

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores
Encabezado: PENSAMIENTO LÓGICO MATEMÁTICO

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