Professional Documents
Culture Documents
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.
Introduccin
A veces es difcil o imposible enumerar un conjunto mencionando todos y cada uno de sus elementos. Una manera til de trabajar consiste en especificar dicho conjunto mediante una propiedad que todos los elementos del conjunto tengan en comn. La notacin se usa para denotar la afirmacin de que x tiene la propiedad P (el nombre predicado se justifica porque muchos predicados gramaticales del lenguaje ordinario son representables tienen propiedades lgicas similares a lo predicados de la lgica matemtica). As un cierto conjunto puede ser presentado por la notacin:
El conjunto de los nmeros naturales que son menores o igual que cuatro, coincide con el conjunto que consta de los elementos 1, 2 y 3. De lo anterior se sigue que cualquier elemento del conjunto proposicin es cierta. puede interpretarse como una funcin proposicional tal que para cada argumento de la Igualmente el predicado es un objeto matemtico para el cual la
misma en el dominio de definicin resulta el valor verdadero o falso segn lo sea la proposicin (lgica) en su referencia al mundo.
Bibliografa adicional
Hamilton, A. G. (1981). Lgica para matemticos. Paraninfo.
Enlaces externos
Introduction to predicates [1] (en ingls) Predicate [2] (en ingls) - En Wolfram MathWorld.
Referencias
[1] http:/ / cs. odu. edu/ ~toida/ nerzic/ content/ logic/ pred_logic/ predicate/ pred_intro. html [2] http:/ / mathworld. wolfram. com/ Predicate. html
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/