PENSAMIENTO LOGICO MATEMATICO

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

NOMBRE: Tania Elisabeth Rangel Zambrano

Tutor: Vanessa Juliett Linares
Grupo: 200611_514

La Unión/Septiembre/30
 INTRODUCCIÓN
El estudio de la lógica de proposiciones descubre dos cosas
fundamentales: expresiones que se refieren a individuos y expresiones
que se refieren a propiedades de individuos o relaciones entre ellos. 
Los enunciados estudiados hasta los capítulos anteriores han sido
singulares, es decir, sus atributos no van adscritos a algún individuo9 en
particular o a determinada relación entre dos o más individuos. Sin
embargo, muchas veces se requiere conocer cuántos individuos cumplen
con cierta propiedad o entre cuántos individuos se da cierta relación.
Para tal fin, se utilizan enunciados cuantificados o expresiones lógicas
denominadas cuantificadores, los cuales se identifican como todos o
algunos cumplen cierta propiedad.
CUANTIFICADORES
Se hace referencia a aquellos símbolos que se utilizan para indicar
cantidad en una proposición, es decir, permiten establecer “cuántos”
elementos de un conjunto determinado, cumplen con cierta condición. 

Estos permiten la construcción de proposiciones a partir de funciones

proposicionales, bien sea particularizando o generalizando. Por ejemplo,
si consideramos la función proposicional:

P(x) = x es menor que tres

Esto podría particularizarse así:

“Existe un número real que es menor que tres” Ǝ x ∈ R / X = 3

Generalizarlo diciendo:

“Todos los números reales son menores que tres”. ∀ x ∈ R/ x < 3

Ejercicio 2:

Si la selección Colombia va al mundial y James juega los partidos,

entonces la selección Colombia será finalista del Mundial de Rusia

 Proposiciones simples:

P= la selección Colombia va al mundial

q= James juega los partidos

r= La selección Colombia será finalista del mundial de Rusia

 Expresión simbólica

(p ^ q) → r

Tabla de Verdad Lenguaje Simbolico

Simulador Truth

No es una tautología
Ejercicio 3

Problemas de aplicación

Si pablo estudia en la UNAD entonces Pablo trabaja si no estudia en la

UNAD, debe recibir bonificación, por lo tanto si no recibe bonificaciones
entonces estudia en la UNAD

p= Estudia en la UNAD
q= Pablo trabaja
r= Pablo recibe notificación

Proposiciones simples
[(p→q)^(~p→r)]→(~r→p)
Tabla de verdad

Simulador Truth
Es una tautología
REFERENCIAS

http://primeraunidad101.blogspot.com/2014/08/cuantificador
es.html

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

sistemas y computación. (pp. 106-112). Ediciones Elizcom,
Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.ac
tion?ppg=109&docID=3199701&tm=1529510366591

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.acti
on?ppg=20&docID=3226457&tm=1529246259924