Cuantificadores:Enlgica,teoradeconjuntosymatemticasengeneral,loscuantificadoressonsmbolos

utilizadosparaindicarcuntoselementosdeunconjuntodadocumplenconciertapropiedad.
Cuantificadores Existenciales:La cuantificacin existencial de P(x) Es la proposicin en que
existe un elemento x en el universo de discurso tal que P(x) es verdad.
Sedenotaconelsmboloxyseleedelassiguientesmaneras:hayunxtalque),hayalmenosunxtal
que..."o"paraalgnx...".
Ejemplo:
SeaA={1,2,3,4,5}Determineelvalordeverdaddecadaunodelosenunciadossiguientes:
a)(xA)(x+3=10)
sol:esfalsoporqueningnnmerodeAesunasolucindex+3=10.
b)(xA)(x+3<10)
sol:esVerdadero.cualquiernmerodeAcumplequex+3<10
CuantificadoresUniversales:Indicanquealgoesciertoparatodoslosindividuos.
SeaAunaexpresinyseaxunavariable.SideseamosindicarqueAesverdaderoparatodoslosposibles
valoresdex,escribiremos(x)A.

Ejemplos:
Todosloshumanosrespiran
(x)(H(x)R(x))dondeelpredicadoHsignificahumanos,Rrespiranyxesunelementodeundominio
generalquepodrasereldelaspersonasocualquiersubconjuntodeseado.

Todoslosalumnossonestudiosos
(x)(A(x)E(x))dondeelpredicadoAsignificaalumno,Eestudiosoyxesunelementodeundominio
general que podra ser el de las personas o cualquier subconjunto deseado.

Representacindecadacuantificador

CuantificadorUniversal()

CuantificadorExistencial()