Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen prctico
Diego Gonzlez
2007
diesgomo@gmail.com
1. Induccin y recursin
1.1 Conjuntos inductivos
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.
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
i)
Smbolosproposicionales: p0 , p1 ,...
ii)
Conectivos: , , ,
iii)
Smbolosauxiliares :(, )
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
Conectivo
no (not)
Equivalencia, doble
implicancia
Negacin
Conectivo
Absurdo (falsity)
Falsedad, absurdo
A , A A
ii.
A A
iii.
Entonces,A paratodo PROP
esatmica
i
i j paracierto j i
H AT : AT B
H : PROP B B
F H AT para AT
F H F , F
F H F
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
3. Semntica
proposicional
propiedades
de
la
lgica
3.1 Semntica4
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
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
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
Distributividad:
Leyes de De Morgan:
Idempotencia:
| |
o |
Equivalencia:
eq |
W M como una forma normal disyuntiva
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
* v v
i)
iii)
si AT
para toda v
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
H D
Definicin de CONS:
CONS es el conjunto de consecuencias sintcticas de PROP definido como
CONS PROP /
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)
Teorema:
Si existe una valuacin v tal que v 1 para toda PROP es consistente
Teorema14: Si es inconsistente para PROP , PROP
13
14
15
16
ci / i I
donde
o
A es un conjunto no vaco
ci
ci / i I
es la secuencia
1 i n,
Ri A ri
Fj : A ai A
K # ci / i I
ri 0
1 j m,
aj 0
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:
(,),,
xi TERM A
ii) ci TERM A
FORM A
ii)
iii)
iv)
v)
Si FORM A FORM A
vi)
Si FORM A xi , xi FORM A
ri
x ,P x
i
H i : TERM A B B con i 1,..., m
F fi t1 ,..., tai
H t ,F t ,...,t
i
ai
,F tai
Conect \
H : FORM A B B
H : FORM A B B
H , H :Var FORM B B
A
A
2
F H AT si ATA
F H , F , F
F x H x, , F
F x H x, , F
Conect \
5.3 Variables
FV x x
ii) FV c
si x Var
si c ConstA
iii) FV fi t1 ,...,tai
ai
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
t x j
ii)
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
21
22
23
i)
AT
ii)
iii)
iv)
xi 1
v)
xi 1
x FV x
x FV x
i
AT
ii)
iii)
iv)
v)
24
Si AT $
si $
si $
$ $ $
$ $
x $ x $
x $ x $
i
vM , vM es como en PROP
x max v m x / m
vM xi min vM m xi / m
vM
ci M ci para todo i I
aM a para todo a M
fi t1 ,...,tai
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
x max v a x / a M
vM xi min vM a xi / a M
vM
6.2 Tautologas
Cl z1 ... zk
SENT , M vM 1
i.
ii.
iii.
Definicin de tautologa27:
FORM no cerrada, M vM Cl 1
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
Definicin de equivalencia:
equivalente con eq
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
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 ,
t1 B t2 s t1 x B s t2 x
t B s t x s x
$ $
Para FORM decimos que est en forma normal prenexa sii es una frmula
abierta precedida de cero ms cuantificadores
28
x P
x P x
como
x P
x P x
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
, 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
%
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
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
Relaciones:
x1 B y1
...
xri B yri
Pi y1 ,..., yri
para j 1,..., m
Pi x1 ,..., xri
RI4
para i 1,..., n
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.
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: