Cuantificador
Los cuantificadores son símbolos utilizados para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, pero quizás los más estudiados y utilizados sean:
* Cuantificador universal

Para todo x, y...
* Cuantificador existencial

Existe al menos un x, y...
* Cuantificador existencial único

Existe exactamente un x, y...
* Negación del cuantificador existencial

No existe ningún x, y...

Cuantificación universal: El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una determinada propiedad. Por ejemplo:
.Cuantificación existencial: El cuantificador existencial se usa para indicar que hay uno o más elementos en el conjunto (no necesariamente único/s) que cumplen una determinada propiedad. Se escribe:
.

Cuantificación existencial única: 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"

LOGICA DE PREDICADOS

La lógica de predicados o de primer orden (LPO, L1) es una generalización de la lógica de proposiciones (LP, L0). Introduciendo nuevos elementos
dellenguaje, permite estudiar la estructura interna de los enunciados (sus propiedades, las relaciones entre objetos, etc.).
Esta nueva lógica tendría que permitir una descripción más fina de la realidad, pudiendo distinguir los objetos o términos (por ejemplo, los hombres) de sus propiedades o predicados (por ejemplo, la propiedad de ser mortales).

La lógica proposicional, cuyos elementos básicos son las proposiciones atómicas, no permite realizar esta distinción.
La lógica de predicados (Gottob Frege, 1879) nos permite dar una descripción de la realidad más detallada.

Los elementos básicos del alfabeto del la lógica de predicados son:
² Los símbolos [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2010, 12). Lógica matemática. BuenasTareas.com. Recuperado 12, 2010, de http://www.buenastareas.com/ensayos/L%C3%B3gica-Matem%C3%A1tica/1278749.html

MLA

"Lógica matemática" BuenasTareas.com. 12 2010. 2010. 12 2010 <http://www.buenastareas.com/ensayos/L%C3%B3gica-Matem%C3%A1tica/1278749.html>.

MLA 7

"Lógica matemática." BuenasTareas.com. BuenasTareas.com, 12 2010. Web. 12 2010. <http://www.buenastareas.com/ensayos/L%C3%B3gica-Matem%C3%A1tica/1278749.html>.

CHICAGO

"Lógica matemática." BuenasTareas.com. 12, 2010. consultado el 12, 2010. http://www.buenastareas.com/ensayos/L%C3%B3gica-Matem%C3%A1tica/1278749.html.