Está en la página 1de 6

UNIDAD 1

TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

PRESENTADO POR
MAYRA ALEJANDRA PACHECO RUEDA
CC 111543676
GRUPO: 200611C_614

TUTOR (A)
NINI JOHANNA VARGAS

UNIVERISDAD NACIONAL ABIERTA Y DISTANCIA


FACULTAD DE ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRMA DE PSICOLOGIA
PENSAMIENTO LOGICO MATEMATICO. (ECSAH)
FLORENCIA – CAQUETA
2019
CUANTIFICADORES LÓGICOS

Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o


Matemáticas en general, 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 propiedad.

Los cuantificadores 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 dos

Esto podría particularizarse así: “Existe un número real que es menor que dos” o
generalizarlo diciendo: “Todos los números reales son menores que dos”.

En cualquiera de los dos casos, se especifica un conjunto donde está tomando


valores la variable, para nuestro ejemplo, el conjunto de los números reales.

Para notar la particularización y la generalización, se utiliza la siguiente simbología,


respectivamente:

que se lee: “existe un equis que pertenece a erre (a los reales), tal que equis es
menor que dos”

Mientras que:

se lee: “para todo equis que pertenece a erre (a los reales), se cumple que equis es
menor que dos”

El símbolo (para todo…) se denomina cuantificador universal, y el símbolo


(existe al menos un…) se denomina cuantificador existencial.

Así, un cuantificador transforma una función proposicional, en una proposición a la


cual se le asigna un valor de verdad.
CUANTIFICADOR EXISTENCIAL O PARTICULAR

A diferencia del cuantificador universal, el cuantificador existencial transforma una


función proposicional a una variable proposicional de tal manera que por lo menos
existe un elemento de la variable-sujeto (por lo menos un elemento del conjunto)
que cumple una propiedad determinada.

Este tipo de proposiciones tiene la misma forma como el cuantificador universal en


cuanta escritura y se puede escribir igualmente así:

Cuantificador Existencial + función proposicional = variable proposicional

El símbolo del cuantificador existencial es una letra E mayúscula volteada así ∃, la


proposición categórica quedaría así:

∃x: p(x)

Se lee “Existe por lo menos un x tal que verifica p(x) “, desde este momento este
tipo de proposiciones se llaman proposiciones existenciales. Explicando
brevemente el uso de este cuantificador, de ninguna manera indica qué elemento
de la variable-sujeto debe cumplirse, es suficiente saber que por lo menos algún
elemento (no importa cuál) verifica p(x).

EJEMPLOS 1:

A. Sea el conjunto A={1,6,8,17} donde:


∃x ∈ A: x es múltiplo de 3.
Esta proposición nos dice que por lo menos existe un x ∈ A que es múltiplo de 3, esta
proposición es verdadera porque existe un elemento del conjunto A que es múltiplo de 3 y
es 6 ∈ A.

“B. Existe al menos un niño que juegue balón y es escritor”,


se puede formalizar de la siguiente manera:

Ǝ x (Niño (x) juegue balón (x) ^ cantante(x))


BIBLIOGRAFIAS

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


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

http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html