AO DEL BUEN SERVICIO AL CIUDADANO

ESCUELA ACADMICA PROFESIONAL:

INGENIERIA CIVIL
SERIE: 100 IMPAR

ASIGNATURA:
MATEMATICA BASICA (MA-143)

TEMA:
CUANTIFICADORES

PROFESOR:
LIC. JOS CARLOS JUREZ PULACHE
INTEGRANTES:
AQUINO YUPANQUI, CRHISTIAN ROLANDO
ALLCCAHUAMAN ANDA, SCRATES
CRDENAS BERROCAL, KELVIN
JUAN DE DIOS ROJAS, IVAN

AO-2017
 Dedicado este trabajo a nuestra escuela de

ingeniera civil que ser nuestra morada

durante los prximos 5 aos que nos formara

como personas competitivas para afrontar al

globalizado y as aportar al desarrollo del pas.

NDICE:

1.INTRODUCCION:

2.HISTORIA:

3.DEFINICION DE LOS CUANTIDICADORES.

3.1.Definicion de una funcin proposicional

4.CLASIFICACION DE LOS CUANTIFICADORES:

4.1.Cuantificador Universal.

4.2.Cuantificador existencial.

4.3.cuantificador existencial nico.

5.NEGACION DE LOS CUANTIFICADORES:

6.CONCLUSIONES:

7.BIBLIOGRAFIA:
1.INTRUDUCCION:

Las matemticas conforman un universo de conocimientos abstractos

pueden ser simples o muy complicadas de entender, desde el pasado para
los grandes eruditos de esta rea se les fue muy embarazoso entender las
matemticas a base del lenguaje comn de los libros, por ende, para
mejorar la fcil retencin de estas poco a poco se fueron desarrollando los
smbolos, conectores, etc. Estos nos permitan transforman un inmenso
texto en letras comunes a un lenguaje matemtico que se volvi universal,
de esta forma se volvieron indispensables en el estudio de las
matemticas y ahora presentaremos a los cuantificadores como tambin
veremos qu tan sencillo se nos hace en el entendimiento de esta rea.
2.HISTORIA:
GOTTLOB FREGE:

Matemtico y filsofo alemn

Fundador de la moderna lgica matemtica y la filosofa analtica

Invent muchas notaciones simblicas,

como cuantificadores y variables

3.DEFINICION de los cuantificadores:

Segn RAE: expresar numricamente una magnitud o algo.

Los cuantificadores en trminos de lgica, teora de conjuntos o matemtica en general se hace

referencia a aquellos smbolos que se utilizan para indicar cantidad en una proposicin es decir
permiten establecer cuantos o los tipos de elementos que integran a un conjunto,
determinado que cumplen con cierta propiedad.

3.1. DEFINICION DE UNA FUNCION PROPOSICIONAL:

Funcin proposicional: Es un enunciado abierto del cual no se define su veracidad ni

falsedad sin embargo al aplicar en este un cuantificador lgico lo transforma en una
proposicin lgica.

4.CLASIFICACION DE LOS CUANTIFICADORES:

4.1.CUANTIFICADOR UNIVERSAL:

que se lee para todo

Se usa para afirmar que todos los elementos de una funcin proposicional cumplan con la
condicin propuesta.

x/ P(x) : Para todo x tal que P(x).

FORMAS DE REPRESENTACIN:

Matemtica. Literal.
PARA TODO X

PARA CUALQUIER X

PARA CADA X

SEAN TODOS LOS X

 Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero
para todos los posibles valores de x, escribiremos (x) A.

4.2 CUANTIFICADOR EXISTENCIAL:

que se lee existe algn o al menos uno

Se usa para indicar que existe uno o ms elementos que cumplen con la condicin
establecida

x/P(x) : Existe al menos un x tal que P(x)

Matemtica. Literal.
para algn x

existe algn x

para al menos un x

existe por los menos un x

4.3 CUANTIFICADOR EXISTENCIAL NICO:

! que se lee existe un nico
Se usa para indicar que hay un nico elemento que cumple una determinada
condicin.

! xA:P(x) Existe una nica x elementos que pertenece A tal que P(x).

NOTA: la negacin es representado por

x xA:P(x) No existe una nica x elementos que pertenece A tal
que P(x).

5. NEGACION DE CUANTIFICADORES :

Sucede cuando esta antecedido por un conector lgico de negacin.

6. CONCLUSIN:

Mediante el trabajo realizado con la perseverancia de seguir aprendiendo

ms con el cual aficionarnos al estudio y as fortaleciendo nuestra carrera
intelectual llegamos a concluir que los cuantificadores son muy
importantes en el mbito matemtico como las materias del conocimiento
que la componen: algebra, aritmtica, fsica, anlisis matemtico, y en
muchas ms. Tambin que estos cuantificadores ya expuestos sirven para
un mejor entendimiento del lenguaje matemtico que a veces nos hace
tedioso ya que los permiten la construccin de proposiciones a partir de
funciones proposicionales buen sea particularizando o generalizando.

7.BIBLIOGRAFIA:
Matemtica bsica Eduardo Espinoza Ramos

Matemtica bsica R. FIGUEROA G.

Matemtica bsica MOISES LAZARO C.

\\primeraunidad.blogspot.pe\

\\logicamatematicaucm.wikispaces.com\CUANTIFICADORES}

//youtubeCUANTIFICADORESLOGICOS//