Está en la página 1de 2

CONCEPTO DE PREDICADO Un predicado es una expresin lingstica que puede conectarse con una o varias otras expresiones para

formar una oracin.[3] Por ejemplo, en la oracin Marte es un planeta, la expresin es un planeta es un predicado que se conecta con la expresin Marte para formar una oracin. Y en la oracin Jpiter es ms grande que Marte, la expresin es ms grande que es un predicado que se conecta con dos expresiones, Jpiter y Marte, para formar una oracin. Cuando un predicado se conecta con una expresin, se dice que expresa una propiedad (como la propiedad de ser un planeta), y cuando se conecta con dos o ms expresiones, se dice que expresa una relacin (como la relacin de ser ms grande que). La lgica de primer orden no hace ningn supuesto, sin embargo, sobre si existen o no las propiedades o las relaciones. Slo se ocupa de estudiar el modo en que hablamos y razonamos con expresiones lingisticas. En lgica matemtica, un predicado es una funcin del conjunto de la constante al conjunto de las proposiciones lgicamente interpretables (en el sentido de la lgica proposicional); igualmente un predicado puede concebirse como una funcin del conjunto de los cuantificadores al conjunto de predicados de la lgica proposicional:

La lgica de primer orden generaliza a la lgica proposicional precisamente en que su formalismo puede tratar cuantificadores de variables como predicados. La lgica de segundo orden permitira adems cuantificadores sobre predicados, adems de cuantificadores sobre variables.
LOGICA DE PRIMER ORDEN

La lgica de primer orden, tambin llamada lgica de predicados o clculo de predicados, es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan slo a variables de individuo, y con predicados y funciones cuyos argumentos son slo constantes o variables de individuo.[2] La lgica de primer orden tiene el poder expresivo suficiente para definir a prcticamente todas las matemticas.
CUANTIFICADOR: Son smbolos utilizados para indicar cuantos elementos de un conjunto dado cumplen con cierta propiedad. Determina un valor como verdadero y falso, valido e invalido.

Conjunto de conectores que permiten realizar la operacin llamada cuantificacin, por medio del cual se determina la extensin o mbito en que puede predicarse un concepto. CUANTIFICADOR UNIVERSAL:

Se denota con el smbolo , denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposicin dada a continuacin. En texto se puede representar con el carcter . Normalmente, en lgica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes. Ejemplo: Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

Todo elemento x de A pertenece a B:

Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos y de B pertenecen a A, siendo esto una garantia suficiente para que dos conjuntos cualesquiera puedan ser diferentes:

Es decir, que no para todo elemento y de B tenemos que o implica que y tambin pertenezca a A.

Cuantificacin existencial nico


El cuantificador existencial con marca de unicidad se usa para indicar que hay un nico elemento de un conjunto que cumple una determinada propiedad. Se escribe: . Se lee "Existe una nica pareja de elementos de cumpliendo una p y otra q"