Lgica de 2do.

Orden

Introduccin
El lenguaje de la lgica de segundo orden extiende el
lenguaje de la lgica de primer orden, al permitir la
cuantificacin de los smbolos de predicados y smbolos
de funcin.

Lgica de 2Do. Orden

Introduccin
La necesidad de la lgica de segundo orden se refleja en el
axioma de induccin de la aritmtica de Giuseppe
Piano:

Para cualquier conjunto X de nmeros

enteros, si 0 X y adems n X
X , entonces se tiene que X = N

Lgica de 2Do. Orden

n+1

Introduccin
Podemos expresar de manera cuantificable que
propiedades existen, por ejemplo:
Todo individuo tiene una propiedad o no la tiene esto
seria:
P x (Px v Px)

Lgica de 2Do. Orden

Propiedades del LSO

Ventajas:
La lgica de segundo orden se parece a LP1, se pueden cuantificar
preposiciones adems de las variables como en LP1
Este lenguaje es mas expresivo
Desventajas:
No tiene la propiedad de completitud( lo que propicio a que no fuera muy
usada)
La logica de segundo orden con semantica estandar es incompleta por lo cual
no se pueden demostrar todas las verdades expresables.
Lgica de 2Do. Orden

LPO versus LSO

La lgica de predicados es el trmino general para todas
las lgicas que utilizan predicados, esta la lgica se
opone a la lgica proposicional, que simplemente utiliza
smbolos y sin la capacidad de hacer la predicacin.
por ejemplo, p(x).

Quoran(Josh)Se puede decir que Josh es un Quoran

Lgica de 2Do. Orden

LPO versus LSO

La lgica de predicados es una extensin de la lgica
proposicional, la lgica de predicados tambin es
compatible con la capacidad de tener variables y
cuantificadores.

xy.p(x,y)
Para todo predicado p, ya sea p(x)o p(x)es verdadero,
independientemente lo q sea x
Lgica de 2Do. Orden

LPO versus LSO

Preposicin es cualquier oracin que solo toma dos valores , verdadero o falso pero
no ambos
pvqAna

estudia Ing. en Ciencias Comp. o Ingles

Predicado es una oracin afirmativa que contiene una o mas variables que al
particularizarse se convierte en preposicin

A={x/P(x)}
P(x) anuncia las condiciones q se deben cumplir en A
P(x) x

es divisor de 6

Lgica de 2Do. Orden

Semntica
La semntica establece un significado en el lenguaje.
La lgica de primer orden tiene una sola semntica, en la
del segundo orden existen dos, la semntica estndar
y la semntica Henkin

Lgica de 2Do. Orden

Semntica Estndar
Asigna una interpretacin a las oraciones del lenguaje, sus
propiedades se deben interpretar como subconjunto del
dominio
Sea A = {1,2} Pot(A)={,{1},{2},{1,2}}

Las variables ranguean en el conjunto de los subconjuntos de

D.
Una caracterstica clave de los "semntica estndar" es que, para que una sola
variable de lugar predicado X, el cuantificador
el conjunto de poder del universo del discurso.
Lgica de 2Do. Orden

Xse extiende sobre todo

10

Semntica General
El concepto de semnticageneral para la lgica de
segundo orden evita cualquier pretensin de que la
operacin de configuracin de energa es un recurso
bien entendido fijo. En su lugar, el rango de la
cuantificador X se debe especificar directamente.

MP[s]siyslosiparacadak-ary relacin
Qenelkuniversorelacin-lugar,tenemosM[s']

Lgica de 2Do. Orden

11

Semntica General
El n -lugar relacin universo para cada entero positivo n,
debe ser una coleccin de n-relaciones ary en el universo
del discurso, en particular el universo relacin 1-lugar
debe haber alguna coleccin de subconjuntos del
universo. Por lo tanto, es parte del conjunto de energa
del universo
El n -lugar funcin universal para cada entero positivo n,
debe ser una coleccin de n-funciones en el universo del
discurso.
Lgica de 2Do. Orden

12

Semntica General
Laprincipalcaractersticadelossemnticagenerales
consecuenciadelalgicadeprimer,juntoconlosaxiomasde
comprensin,asunasentenciaesvlidaenlasemntica
generalsiyslosiseimplicalgicamente(enlgicade
primerorden)porelconjuntodeaxiomasdecomprensin.

Lgica de 2Do. Orden

13

Semntica General
Estareduccindelosrendimientosdelalgicadeprimerordenalavezlos
siguientesresultados:
I.

(Enumerability) En un lenguaje de segundo orden con un nmero finito de

smbolos no lgicos, el conjunto de frases que son vlidos en los semntica
general es computablemente enumerable. Esto es debido a que el conjunto de
axiomas de comprensin es un conjunto computable (conjunto recursivo)

II. (Compacto) Un conjunto de oraciones tiene un modelo general si cada

subconjunto finito tiene un modelo general.
III. (Lwenheim-Skolem) Si un conjunto de oraciones tiene un modelo general,
entonces tiene un modelo general contable.
Lgica de 2Do. Orden

14

Semantica de 2Do. orden

Trminos: Se definen como variables de primer orden que contienen
smbolos de una funcin f de un ndice o nmero de argumentos r, s,

t ::= x | f(t1, . . . , tn)

Frmulas:Adoptamosalgunasveceslanotacindepuntoenun
cuantificadorparadeclararquesualcanceseconsideralomslejosposible
sintcticamente
C ::= P(~t) | A B | A B | A B | xA | XA
lasvariablexyXseconsideranligadasenlasfrmulas xAy XA
respectivamente
Lgica de 2Do. Orden

15

Semantica de 2Do. orden

Predicados: los predicados pueden ser variables de segundo
orden X, smbolos de predicado P de una signatura fija o
bien predicados por comprensin

F. P ::= X | P | F
El numero de argumentos define la longitud del vector, la cual
representa tuplas

Lgica de 2Do. Orden

16

Semntica de 2Do. orden

Sustitucin: La sustitucin de variables de primer orden
por trminos
en un trmino r,
denotada
se define como la sustitucin textual
de cada presencia de xiportienr.

Lgica de 2Do. Orden

17

Semntica de 2Do. orden

La condicin de las cuantificaciones de primer orden puede
cumplirse al renombrar la variante ligada x
Esta convencin se conoce como -equivalencia.
por ejemplo:
8xP(x) y 8yP(y) son formulas -equivalentes.

Lgica de 2Do. Orden

18

Semntica de 2Do. orden

La sustitucin de una variable de segundo orden Xpor el
predicado Pen el predicado Q, denotada Q[X := P] se
define como sigue:
X[X := P ] = P
Y[X := P ] = Y
P[X := P ] = P
f~x j Ag[X := P ] = f~x j A[X := P]g

Lgica de 2Do. Orden

19

Sintaxis: Variables
Las variable n-arias se ocupan de relaciones sobre estos
elementos, por ejemplo:

x1,x2,x3xkaunque son trminos de primer orden, con la

relacin R se transforma en una formula atmica
R(x1,x2,x3xk)

Lgica de 2Do. Orden

20

Lgica mondica
La lgica es el fragmento de la lgica de segundo orden
completa permitiendo la cuantificacin slo sobre
elementos y predicados mondicos .
es decir, que slo se extienden sobre subgrupos, o
subgrupos normales , etc.

Lgica de 2Do. Orden

21

Lgica mondica
Supongamosque:
paracadax,yS,noesZS,
con(x,y,z)P,yparacadazSnoesalosumounpar(x,y)
con(x,y,z)P;
talesPpuedeserllamadaunapredicadoemparejamiento.
Entonceslaverdadera(completo)lateoradesegundoordendeSesinterpretableenla
teoramondicade(S,P).
Enprimerlugar,codificamosternarios,cuaternarios,etc.,predicadosporunos
binarios.Unavezhechoesto,podemosentoncescodificamosunpredicadobinarioB
porunmondicopredicado{z:hayunpar(x,y)enBcon(x,y,z) P}
Lgica de 2Do. Orden

22

Lgica mondica
Se aaden slo variables para subconjuntos de un cierto
dominio, se puede expresar:
Todos los perros son mamferos
y los mamferos no son aves
entonces los perros no son aves

(x D(x) M (x))
(y M(y) B(y))
(Ez D(z) B(z))

Entre tanto el lenguaje es mas expresivo que el de la lgica

de trminos
Lgica de 2Do. Orden

23

Analizis de Frege
El anlisis ordinario de Frege estuvo basado en elaborar
un lenguaje simblico capaz de expresar de una forma
mejor las lgicas.

Lgica de 2Do. Orden

24

Sintaxis: Barras de Juicio y Contenido

Medianteestossmbolossepuedeexpresarlasconexiones
lgicas:

Negacin
Condicional
Igualdaddecontenido
Expresindegeneralidad
Lgica de 2Do. Orden

25

Sintaxis: Barras de Juicio y Contenido

Suprincipalcaractersticassonrepresentardeformaexactalas
formasyconexioneslgicas.

Enlapreposicin:ElHombrees racional,decimosque
si para todo a, si a es hombre, entonces a es
racional

El lenguaje de las ciencias debe tener las mismas ventajas del lenguaje matemtico
Friedrich Ludwig Gottlob Frege

Lgica de 2Do. Orden

26

Sintaxis: Barras de Juicio y Contenido

Frege representa hace uso de varios esquemas para
representar juicio y deducciones con este tipo de
esquemas

Lgica de 2Do. Orden

27

Nocin de generalidad
Frege encontr una forma de expresar la generalidad
en la barra
ocuparemos una funcin
X(a)
Supongamos que es Igual o mayor a que
representa X y a la variable podemos decir que :

Lgica de 2Do. Orden

28

Nocin de generalidad

Por lo cual la expresin seria: , que representa la

formula general, podemos decir que Z es un
numero, la expresin general seria:
siaesmayoriguala0

aesunnumero

Lgica de 2Do. Orden

29

Semntica de Henkin
Una de las principales caractersticas de la semntica de
Henkin es q las variables renquean sobre una coleccin
fija de subconjunto de D (dominio)
Una de las diferencias con la semntica estndar es que
no considera todo los subconjuntos del dominio.

Lgica de 2Do. Orden

30

Mtodo de Henkin
Basa su semntica en el estudio de las estructuras
puedan interpretar los lenguajes formales
Henkin representa esta semntica con dos tipos de
estructuras:
Estructuras estndar
Estructuras Generales

Lgica de 2Do. Orden

31

Estructuras Estndar
Interpretan un conjunto de sistemas de calculo de segundo
orden y constan de

Dominio
Conjuntos

Lgica de 2Do. Orden

32

Estructuras Estndar
Las estructuras tienen un Dominio D con cardinalidad
infinita, mientras
muestran que su cardinalidad no es numerable
Henkin encuentra que un dominio
y la familia de
dominios
mientras tengan ciertas
condiciones de clausura tendran cardinalidad
numerable, este tipo de estructuras son las Generales

Lgica de 2Do. Orden

33

Estructuras Generales
Muestran que segn el teorema de godel se puede
encontrar una formula valida, respecto la estructuras
estndar, que no es demostrable, es decir incompleto.
Henkin observo que existe una clase mas amplia de
modelos que proporcionan una interpretacin para el
simbolismo.

Lgica de 2Do. Orden

34