Lgica

Resumen prctico

Diego Gonzlez
2007
diesgomo@gmail.com

1. Induccin y recursin
1.1 Conjuntos inductivos

Definicin de definicin de conjuntos inductivos primitivamente:

Para definir un conjunto inductivamente se procede de la siguiente manera:
i.
Se indica qu elemento pertenece.
ii.
A partir de los elementos que pertenecen se indica qu otros elementos pertenecen.
iii.
El conjunto definido ser dado por el menor conjunto que cumpla con i. y ii.
Reglas generales a tener en cuenta:
i.
Definimos un conjunto y una manera de construir elementos en l
ii.
Decimos que esta es la nica forma de construir elementos del conjunto
iii.
Decimos que las dadas son formas distintas de construir objetos en el conjunto
Pertenencia a un conjunto definido inductivamente:
Para demostrar que un elemento pertenece a un conjunto definido inductivamente, basta
mostrar cmo se forma aplicando las reglas que definen al conjunto.
Principio de induccin para un conjunto inductivo:
Para probar que una propiedad se cumple para todos los objetos de A conjunto definido
inductivamente basta con:
i.
Probar que la propiedad se cumple para los objetos de A obtenidos de aplicar las
clusulas base
ii.
Probar que la propiedad se cumple para los objetos de A obtenidos de aplicar
clusulas inductivas, suponiendo que la misma se cumple para el (los) objeto(s)
anterior(s)

1.2 Esquemas no primitivos

Esquema de recursin primitiva para un conjunto inductivo:

Para definir una funcin f: A B, alcanza con definir f mediante ecuaciones que
determinen:
i.
El valor de f para los objetos de A obtenidos de aplicar clusulas base
ii.
E valor de f para los objetos de A obtenidos de aplicar clusulas inductivas,
utilizando el valor de f en el (los) objeto(s) anterior(es) y tambin el (los) objeto(s)
anterior(es)
Esquemas no primitivos:
A definido inductivamente. Para definir f: A B debo:
i.
Definir f para los objetos base de A
ii.
Definir f en los objetos obtenidos de aplicar clusulas inductivas usando el valor de f
objetos anteriores.
Definiciones inductivas libres1:
Una definicin de un conjunto inductivo es libre cuando cada elemento del conjunto se
construye de una nica manera.

1 Las definiciones inductivas no libres son problemticas para definir funciones usando el
esquema de recursin primitiva. Para verificar que se est definiendo una funcin habra
que probar que la funcin devuelve un nico resultado para un valor asignado.

1.3 Esquema de resumen de definiciones

Correcta
utilizacin de las
funciones y
propiedades

Definicin
libre
Definicin libre

Se
aplica recursin
Se aplica
recursin
primitiva
primitiva

Naturaleza de A

Tipo de
definicin

A
A definido
definido
inductivamente
inductivamente

Definicin
Definicin no
no libre
libre

Se
prueba unicidad
Se prueba
unicidad

Otros
Otros esquemas
esquemas

Se
Se preuba
preuba
exhaustividad,
exhaustividad,
superposicin
superposicin y
y
terminacin
terminacin

2. Lgica proposicional
2.1 Sintaxis2

Definicin de alfabeto de la lgica proposicional:

El alfabetode la lgica proposicional esel conjunto PROP que consisteen :

i)

Smbolosproposicionales: p0 , p1 ,...

ii)

Conectivos: , , ,

iii)

Smbolosauxiliares :(, )

Significado y nombresde los componente

s de PROP :

Smbolo
pi

Tipo
Smbolo proposicional

Nombre
Letra proposicional

Conectivo

y (and)

Significado
Representa un hecho
verdadero o falso
Conjuncin

Conectivo

o (or)

Disjuncin

Conectivo

Implicancia

Conectivo

Si ... entonces (if ...

then)
Sii, si y solo si (iff)

Conectivo

no (not)

Equivalencia, doble
implicancia
Negacin

Conectivo

Absurdo (falsity)

Falsedad, absurdo

Definicin de subconjuntos de PROP:

C , , ,

AT , p1 , p2 ,... a estasseles llamarfrmulas atmicasde PROP

P p1 , p2 ,...

Definicin de subconjuntos de PROP3:

PROP es el menor conjunto que cumple que:
pi , PROP , i N
i.
, PROP PROP
ii.
PROP PROP
iii.
Principio de induccin primitiva para PROP:
Si A es una propiedad que cumple que:
A pi , A , i N
i.

2 Sintaxis: orden de las palabras, lgica de formacin de las palabras.

3

A , A A
ii.

A A

iii.
Entonces,A paratodo PROP

Definicin de secuencia de formacin:

n

esatmica
i

Para todoi n i j k paraciertosi , j i

i j paracierto j i

1 ,..., n esuna secuenciade formacinde sii

Esquema de recursin primitiva para PROP:

SeanH AT , H , H talesque :

H AT : AT B

H : PROP B PROP B B existeuna nica funcin F : PROP AT tal que

H : PROP B B

F H AT para AT

F H F , F
F H F

Ejemplo de funcin para PROP: TREE:

Notacin:
Para eliminar (, ) de las frmulas definimos las siguientes precedencias de mayor a menor:
i.
ii.

,
,

iii.
Definicin de subfrmula:
El conjunto de las subfrmulas Sub de est dado por
Sub

si AT

Sub Sub Sub

Sub Sub

3. Semntica
proposicional

propiedades

de

la

lgica

3.1 Semntica4

Definicin de la funcin v de verdad (valuacin)5:

v : PROP 0,1 es una valuacin si satisface:
i)
ii)

v 0

v min v , v v v

iii) v max v , v v v v v

iv) v max 1 v , v 1 v v v
v)

v 1 v v eq v 1 v v

vi) v 1 v

0
1

Tablas de verdad6:
Definimos el significado de cada conectivo segn las siguientes tablas conocidas como
Tablas de verdad:

0
1

0
0
0

0
1
0

1
0
1

1
0
1 0
1

0 1
1 0

0
0
1

1
1
1

Unicidad de la valuacin:
Si v es una valuacin existe una nica g v tal que v v para AT

Unicidad de la valuacin segn los tomos de una frmula:

Si v pi v pi para todo pi en v v

Definicin de tautologa7:
PROP es una tautologa sii para toda v se cumple que v

0
1

0
1
0

1
1
1

|
0
1

0
1
1

1
1
0

4 Semntica: sentido de un texto.

5
6
7 Otra forma de definir esto es:
Formas de verificar tautologas:
1. Una es hacer una tabla de verdad con todos los valores posibles de las valuaciones y
verificar que para todas su resultado es 1.
2. Otra es el mtodo Quine: Consiste en tomar un rbol con la frmula a verificar y tomar una
valor para un tomo y reducir, luego dar los valores para el otro tomo y repetir el
resultado. Si todas las hojas dan 1, se trata de una tautologa.

Definicin de consecuencia lgica8:

Dadas PROP y PROP , es una consecuencia lgica de y notamos |
Para todo :: v 1 v 1

Definicin de sustitucin de una frmula por una variable9:

Esto se hace mediante la siguiente funcin _ _ _ : PROP PROP P PROP tal que:
i)
ii)
iii)

si AT , pi
si pi

pi

pi pi

12

pi 1 pi 2 pi

Teorema de sustitucin:
Si | 1 2 | 1 p 2 p , p AT

Propiedad:

1 2 v
1 p 2 p
v

| 1 2 1 p 2 p

3.2 Propiedades

Propiedades de los conectores:

Asociatividad:


Conmutatividad:

Distributividad:

Leyes de De Morgan:
Idempotencia:

Ley de la doble negacin:

Algunas propiedades tiles:

o Si | | y |
o

| |

o |
Equivalencia:
eq |

8 Otra forma de definir esto es:

Definicin de conjunto completo de conectivos:

K es una conjunto completo de conectivos para cada conectivo n-ario $ y
p1 ,..., pn AT existe v PROP que contiene solo a p1 ,..., pn , K tal que v eq $ p1 ,..., pn

Conjuntos completos de conectivos:

, , , , , , ,
Definicin de formas normales10:
Si ij AT es una negacin de ij AT se define

W M como una forma normal disyuntiva

M W ij como una forma normal conjuntiva y a

in jm

in

jm

ij

Teorema:
Para cada hay una forma normal conjuntiva y una forma normal disjuntiva
disyuntiva tal que | y |

Definicin de *:
*: PROP PROP :
i)

ii)

* * *
* * *
* *

iii)
iv)

Propiedades de *11:
Definicin de d:
d
: PROP PROP :

ii)

d d
d d d
d d

iv)

si AT
d

Teorema dual:
| d d

10 Se define para ello:

11

* v v

i)
iii)

si AT

para toda v

4. Sintctica y deduccin natural

4.1 Deduccin natural
DER es el conjunto de derivaciones sintcticas definido como

se considerar D ,D ,D , , DER :
i)

ii)

PROP DER
I

D D
D
D

DER y
DER
I DER

E1

D
D

DER
E1 DER

E2

D
D

DER
E2 DER

iii)

iv)

12

DER y

D
DER

I1

D
D

DER
I1 DER

I2

D
D

DER
I 2 DER

E
El conjunto DER12:

D DER
I DER

D

E DER

D
DER, D DER y D DER

D
D

E DER


v)

D D

D DER y D DER
I DER

E1

D
D
D

DER y
DER

E2

D
D
D

DER y
DER

D

E1 DER

E2 DER

vi)

vii) E

RAA

D DER
I DER

D
D
DER y
DER

E DER

D
D

DER
E DER

D DER
RAA DER

Definicin de inclusin e hiptesis de una derivacin:

C D es la conclusin de D
Sea D DER
H D es el conjunto de hiptesis no canceladas de D

Definicin de consecuencia sintctica:

PROP , PROP , es consecuencia sintctica de y notamos existe
C D

H D

D DER tal que

Definicin de CONS:
CONS es el conjunto de consecuencias sintcticas de PROP definido como
CONS PROP /

4.2 Completitud y consistencia

Teorema de completitud:
Para el siguiente resultado se considera PROP y PROP :

Definicin de consistencia:
PROP es consistente sii
Teorema de las equivalencias de inconsistencia13:
Las siguientes afirmaciones son equivalentes entre s:
i)

es inconsistente

ii)

existe PROP tal que y

iii) para toda PROP ,

Teorema:
Si existe una valuacin v tal que v 1 para toda PROP es consistente
Teorema14: Si es inconsistente para PROP , PROP

4.3 Teoras y consistencia maximal

Definicin de consistencia maximal15:
es consistente
y PROP consistente

PROP es consistente maximal sii

Definicin de teora16: PROP es consistente maximal es una teora

Teorema:
Si PROP es consistente maximal entonces:
i)

PROP cumple que

ii) Para todas , PROP , si

13
14
15
16

Consistencia y consistencia maximal:

Si PROP es consistente existe * PROP consistente maximal tal que *

5. Sintaxis de la lgica de predicados

5.1 Alfabeto de primer orden
Definicin de estructura17:
Una estructura M es la secuencia ordenada M A , R1 ,..., Rn , F1 ,..., Fm ,

ci / i I

donde
o

A es un conjunto no vaco

R1 ,..., Rn son relaciones sobre A , n

F1 ,..., Fm son funciones sobre A , m

ci

i I son elementos distinguidos de A

Definicin de tipo de similaridad18:

El tipo de similaridad de A , R1 ,..., Rn , F1 ,..., Fm ,

ci / i I

es la secuencia

r1 ,..., rn , a1 ,..., am , k donde:

1 i n,

Ri A ri

Fj : A ai A

K # ci / i I

ri 0

1 j m,

aj 0

Definicin de alfabeto de primer orden19:

Un alfabeto para un lenguaje de primer orden del tipo r1 ,..., rn ; a1 ,..., am ; k
consiste en los siguientes smbolos:

17
18
19

Smbolos de relacin:

P1 ,..., Pn , B

Smbolos e funcin:

f1 ,..., fm

Smbolos de constantes: ci , i I , #I k

Variables:

x1 , x2 ,...

Conectivos:

, , , , ,

Cuantificadores:

Auxiliares:

(,),,

Definicin de TERMA el conjunto de trminos:

TERM A es el menor conjunto de trminos de A definido por:
i)

xi TERM A

ii) ci TERM A

iii) Si t1 ,...,tai TERM A fi t1 ,...,tai TERM A

Definicin de FORMA el conjunto de frmulas:

FORM A es el menor conjunto de frmulas de A definido por:
i)

FORM A

ii)

t1 ,..., trj FORM A

iii)

Si t1 ,t2 FORM A t1 B t2 FORM A

iv)

Si , FORM A FORM A con ConstA

v)

Si FORM A FORM A

vi)

Si FORM A xi , xi FORM A

5.2 Induccin y recursin para TERMA y FORMA

Principio de induccin primitiva para TERMA:

Sea P una propiedad para TERM A , si se cumple que:
i)

P x para todo x Var

ii) P c para todo c ConstA

iii) Si P t1 ,...,P tri P

f t ,...,t para todo 1 i m

i

ri

entonces, P (t) se cumple para todo f TERM A

Principio de induccin primitiva para FORMA:

Sea P una propiedad para FORM A , si se cumple que:
i)

P para todo ATA

ii) P ,P P para todo Conect

iii) Si P P
iv) Si P P

x ,P x

para todo x Var

entonces, P ( ) se cumple para todo FORM A

Esquema e recursin primitiva para TERMA:

H b :Var ConstA B

Para las funciones

i
H i : TERM A B B con i 1,..., m

F(t) H b(t) si t Var ConstA

F : TERM A B tal que

F fi t1 ,..., tai

H t ,F t ,...,t
i

ai

existe una nica funcin

,F tai

Esquema de recursin primitiva para FORMA:

H AT : ATA B

Conect \
H : FORM A B B
H : FORM A B B
H , H :Var FORM B B
A
A

2

Para las funciones

F H AT si ATA

F H , F , F

funcin F : FORM A B tal que F H , F

F x H x, , F
F x H x, , F

existe una nica

Conect \

5.3 Variables

Definicin de alcance de un cuantificador:

El alcance del cuantificador en la frmula x es
El alcance del cuantificador en la frmula x es

Definicin de ocurrencias libres y ligadas:

Una ocurrencia de una variable x en es ligada si se encuentra bajo el alcance de un
cuantificador o si es su variable. En caso contrario, x es una variable libre.
Definicin de variables libres y ligadas20:
Una variable x en es ligada si tiene alguna ocurrencia ligada en .
En caso contraro, x es una variable libre.

Definicin de conjunto de variables libres de un trmino:

FV : TERM A P Var es el conjunto de variables libres de un trmino definido
recursivamente como:
i)

FV x x

ii) FV c

si x Var
si c ConstA

iii) FV fi t1 ,...,tai

ai

UFV tk FV t1 ... FV tai

k 1

Definicin de conjunto de variables libres de una frmula:

FV : FORM A P Var es el conjunto de variables libres de una frmula definido
recursivamente como:
i)

FV

ii) FV Pj t1 ,...,trj

UFV t FV t ... FV t
rj

k 1

iii) FV t1 B t2 FV t1 FV t2
iv) FV FV FV
v) FV FV

Conect \

vi) FV x FV x FV \ x

20

rj

Definicin de trminos y frmulas abiertas y cerradas 21:

Un trmino t es cerrado sii FV t .
Una frmula es cerrada sii FV .
Una frmula es abierta si no contiene cuantificadores.
Definicin de sustitucin de trminos en trminos 22:
Si s,t TERM A y xj Var , se define s t x j como:
t si i j
i) xi t x j
xi si i j
ii) ck t x j ck

iii) fi t1 ,...,tai t x j f t 1 t xj ,..., tai t xj

Definicin de sustitucin de trminos en frmulas 23:

Si t TERM A , xj Var y FORM A , se define t x como:

i)

t x j

ii)

Pj t1 ,...,trj t x j Pj t 1 t xj ,..., trj t xj

iii)

t1 B t2

v)
vi)

x t x

vii)

t2 t xj
t x j t 1 t xj B

t xj t xj t xj
t xj t xj

iv)

xi

Conect \

xi t x j

si i j
si i j

xi t x j

t xj

si i j
si i j

Definicin de trmino libre para una variable:

Si t TERM A y FORM A , t est libre para x en sii se cumple alguna de las
siguientes condiciones:

21
22
23

i)

AT

ii)

1 2 y t est libre para x en 1 y en 2

iii)

1 y t est libre para x en 1

iv)

xi 1

v)

xi 1

x FV x
x FV x
i

x FV t y t est libre para x en 1

x FV t y t est libre para x en 1

Definicin de sustitucin simultnea24:

t t1 ,..., tn x1 ,..., xn es elresultado de sustituir las ocurrencias de
cada xi por ti simultneamente

Definicin de frmula libre para $:

Para , FORM A se define a libre para $ en si se cumple alguna de las
siguientes condiciones:
i)

AT

ii)

1 2 y est libre para $ en 1 y en 2

iii)
iv)
v)

1 y est libre para $ en 1

xi 1 y $ no ocurre en 1 o xi FV y est libre para $ en 1

xi 1 y $ no ocurre en 1 o xi FV y est libre para $ en 1

Definicin de sustitucin de frmulas en frmulas:

Para , FORM A tal que est libre para $ en se define $ como:
i)
ii)
iii)
iv)
v)

24

Si AT $

si $
si $

$ $ $

$ $

x $ x $
x $ x $
i

6. Semntica de la lgica de predicados

6.1 Interpretacin de frmulas25Definicin de lenguaje extendido para una

estructura:
L(M) es el lenguaje extendido para la estructura M y el lenguaje L. L(M) se obtiene

agregando smbolos de constantes para todo elemento de M

Definicin de interpretacin de frmulas de SENT:

vM , vM es como en PROP

x max v m x / m

vM xi min vM m xi / m

vM

Definicin de interpretacin de trminos cerrados de L(M) en M:

M

: TERM M tal que:

ci M ci para todo i I

aM a para todo a M

fi t1 ,...,tai

fi t1M ,...,tai M para i 1,...m

Definicin de interpretacin de sentencias de L(M) en M26:

vM : SENT 0,1 tal que:

25
26

vM 0

vM t1 B t2

vM Pj t1 ,...,trj

vM , vM

1 si t1M t2M
M
M
0 si t1 t2

1 si t1M ,..., tr M R j
j

0 si t1M ,..., trj M R j

son anlogos a los dados en PROP

x max v a x / a M

vM xi min vM a xi / a M

vM

6.2 Tautologas

Definicin de clausura universal de una frmula:

Si FORM y FV z1 ,..., zk la clausura Cl de se define como

Cl z1 ... zk

SENT , M vM 1
i.
ii.
iii.

Definicin de tautologa27:
FORM no cerrada, M vM Cl 1

FORM , para toda estructura M del tipo adecuado, M

SENT , SENT , para toda estructura M del tipo

adecuado, si M para todo , entonces, M

iv.
Propiedades de las tautologas:
Estas conservan el sentido lacso de su significado lgico. Ejemplo:
M M y M
Casos particulares:
o
o

M x para todo a M , M a x
M x existe a M , M a x

6.3 Propiedades de los cuantificadores

Definicin de equivalencia:
equivalente con eq

Generalizacin de las leyes de De Morgan:

o
x eq x
o

x eq x

x eq x
x eq x

Distributividad generalizada:
o
x eq x x
o
o
o

27

x eq x x
si x FV x eq x
si x FV x eq x

Orden de los cuantificadores:

o
o
o
o

x y eq y x
x y eq y x
si x FV x eq
si x FV x eq

Cambio de variables:
x, z FV , entonces:
o
o

x x y eq z z y
x x y eq z z y

Teorema de sustitucin:
s,t,t1 ,t2 TERM ,
, , FORM ,

t, s FV ,

y estn libres para $ en . Entonces:

o
o
o

t1 B t2 s t1 x B s t2 x
t B s t x s x

$ $

6.4 Formas normales prenexas y cuantificadores

Definicin de forma normal prenexa28:

Para FORM decimos que est en forma normal prenexa sii es una frmula
abierta precedida de cero ms cuantificadores

Existencia de la forma normal prenexa:

Para toda FORM existe una forma normal prenexa FORM tal que eq

Definicin de cuantificadores relativizados:

Si P es una relacin unaria, se define

28

x P
x P x
como
x P
x P x

7. Deduccin natural, identidad y completitud de

la lgica de predicados
7.1 Deduccin natural

El conjunto DER:
El conjuntoDER sedefineampliandola definicin de DER dadaen 4.1a :

viii)

ix)

D
DER

x FV H D

DER
x I

D
D
x
DER t est libre para x en
E DER
x
t x

D
DER
t x

D
, D DER
x

D
t x

I DER

x FV H D FV
D
x

Definicin de consecuencia sintctica:

FORM esconsecuenc
ia sintcticade FORM
D DER / C D y H D

Propiedades de los cuantificadotes:

:
o
, x FV x

, t libre parax en t x

:
o
t libre parax en t x x

x FV FV , , x
%y a
%
Definicin de a
:

E DER

deriva a

 FORM , FORM
M una estructura

i1

, xi2 ,...

FV

%es una secuencia de a1 , a2 ,... de elementos de M

a

%
a
, a% se obtienen de
y sustituyendo simultnea mente en y en todas las
frmulas de y en los xi j
por los aj

j 1

%
Definicin de M a
, :

%
M a
para todo a% M
o

%en M , si M a
% M a
%
para toda estructura M y secuencia a

o
Teorema de correccin de DER:

7.2 Identidad
Definicin de B mediante axiomas:

I1) x x B x

I2) xy x B y y B x

I3) xyz x B y y B z x B z
I4) x1...xny1...yn M xi B yi t x1 ,..., xn B t y1 ,..., yn
i 1

x1...xny1...yn M xi B yi x1 ,..., xn y1 ,..., yn

i 1

Reglas de derivacin de los axiomas:

RI1)
RI2)
RI3)
RI4)

RI1
x Bx
xBy
RI2
y Bx
xBy
yBz
RI3
xBz
x1 B y1
...
xn B yn

x1 ,..., xn z1 ,..., zn
RI4
y1 ,..., yn z1 ,..., zn

si xi , yi son libres para zi en FORM para todo i 1,..., n

Sobre las funciones y relaciones:

o Funciones:
x1 B y1
...
xaj B yaj
RI4
f j x1 ,..., xaj B f j y1 ,..., yaj

Relaciones:
x1 B y1
...

xri B yri

Pi y1 ,..., yri

para j 1,..., m

Pi x1 ,..., xri

RI4

para i 1,..., n

7.3 Completitud29Definicin de teora de Henkin30:

Una teora T de es de Henkin Para toda x SENT , existe c constante tal

que x c x T

29
30

Definicin de y T :

Para T teora:
es una extensin de que se obtiene agregando cj para cada
o

sentencia xj L

T CONS x x cj

o
Teorema de derivabilidad:
es conservativo (preserva derivabilidad) respecto a T T L
Definicin de TW:
TW se define recursivamente como:
i.
T0 = T

Tn 1 Tn
ii.

x x SENT con testigo cj

TW UTn

iii.
Teorema:
Si T teora de Henkin y T una extensin de T T es de Henkin

Teorema de Lindenbaum:
Si T consistente existe Tm consistente maximal tal que T Tm

Teorema:
Si consistente existe M tal que M

Definicin de modelo:
Mod M M para todo M K

Definicin de Th:
Th K M para todo M K

Teorema de completitud: