You are on page 1of 25

Sistemas Formales

Mtro. Cristian Gutirrez


Lgica 1 (2013-1)

Sistemas formales
Sistemas formales
Un
Un
sistema formal
sistema formal
est compuesto de un
est compuesto de un
lenguaje formal
lenguaje formal
y su
y su
teora de la prueba
teora de la prueba
.
.

Lenguae formal
Lenguae formal
Un lenguaje formal est dado por (1) un
Un lenguaje formal est dado por (1) un
conjunto de smbolos, llamado
conjunto de smbolos, llamado
vocabulario
vocabulario
; y
; y
(2) un conjunto de
(2) un conjunto de
reglas de formacin
reglas de formacin
!ue
!ue
nos dicen !u" sucesiones de smbolos del
nos dicen !u" sucesiones de smbolos del
vocabulario son
vocabulario son
frmulas
frmulas
del lenguaje formal.
del lenguaje formal.
#as reglas de formacin
#as reglas de formacin
no
no
deben apelar a
deben apelar a
ning$n tipo de significado de los smbolos. %e
ning$n tipo de significado de los smbolos. %e
otra forma, el lenguaje ya no es puramente
otra forma, el lenguaje ya no es puramente
formal.
formal.

Lenguae !ormal
Lenguae !ormal
&ocabulario
&ocabulario
' conjunto de smbolos.
' conjunto de smbolos.
(egla de formacin
(egla de formacin
' reglas !ue nos indican
' reglas !ue nos indican
cmo construir frmulas con los smbolos del
cmo construir frmulas con los smbolos del
vocabulario.
vocabulario.

"em#lo $e lenguae formal
"em#lo $e lenguae formal
#enguaje formal )*+,-
#enguaje formal )*+,-
&ocabulario' *, +, ,.
&ocabulario' *, +, ,.
(eglas de formacin'
(eglas de formacin'
1) .oda cadena finita de smbolos del vocabulario
1) .oda cadena finita de smbolos del vocabulario
!ue comience con una * es una frmula.
!ue comience con una * es una frmula.
2) .oda cadena finita de smbolos del vocabulario
2) .oda cadena finita de smbolos del vocabulario
!ue termine en , es una frmula.
!ue termine en , es una frmula.
/) .oda cadena de smbolos del vocabulario !ue
/) .oda cadena de smbolos del vocabulario !ue
tenga a lo ms 0 smbolos es una frmula.
tenga a lo ms 0 smbolos es una frmula.
1) 2ada ms es una frmula (
1) 2ada ms es una frmula (
cla$sula de cierre
cla$sula de cierre
).
).

%n eem#lo $e un
%n eem#lo $e un
lenguae
lenguae
no
no
formal
formal
#enguaje )*+,2-
#enguaje )*+,2-
&ocabulario' todas las letras del abecedario
&ocabulario' todas las letras del abecedario
castellano.
castellano.
(eglas de formacin'
(eglas de formacin'
1) 3s frmula toda cadena finita de smbolos !ue
1) 3s frmula toda cadena finita de smbolos !ue
tengan el significado
tengan el significado
de una palabra en espa4ol.
de una palabra en espa4ol.
2) 2ada ms es frmula del sistema.
2) 2ada ms es frmula del sistema.

&tro eem#lo $e
&tro eem#lo $e
lenguae
lenguae
no
no
formal
formal
#enguaje *+,/
#enguaje *+,/
&ocabulario' todas las letras del abecedario
&ocabulario' todas las letras del abecedario
castellano.
castellano.
(eglas de formacin'
(eglas de formacin'
1) 3s una frmula del sistema toda sucesin finita
1) 3s una frmula del sistema toda sucesin finita
de smbolos del vocabulario !ue
de smbolos del vocabulario !ue
no tengan el
no tengan el
significado de
significado de
una palabra del espa4ol.
una palabra del espa4ol.
2) 2ada ms es una frmula.
2) 2ada ms es una frmula.

&tro eem#lo $e lenguae
&tro eem#lo $e lenguae
formal (con reglas $e
formal (con reglas $e
formacin recursi'as)
formacin recursi'as)
#enguaje ,U,U.
#enguaje ,U,U.
&ocabulario' *, 3, 5, 6, U, ,.
&ocabulario' *, 3, 5, 6, U, ,.
(eglas de formacin'
(eglas de formacin'
1) ,*, ,3, ,5, ,6, ,U son frmulas.
1) ,*, ,3, ,5, ,6, ,U son frmulas.
2) 7i
2) 7i

y
y

son frmulas, entonces


son frmulas, entonces

es una frmula.
es una frmula.
/) 7i
/) 7i

es una frmula, entonces


es una frmula, entonces

, es una frmula.
, es una frmula.
1) 2ada ms es una frmula.
1) 2ada ms es una frmula.

(eor)a $e la #rue*a
(eor)a $e la #rue*a
Una ve8 !ue tenemos un lenguaje formal, y con ello
Una ve8 !ue tenemos un lenguaje formal, y con ello
una conjunto de frmulas, podemos dar una teora
una conjunto de frmulas, podemos dar una teora
de la prueba !ue nos indi!ue !u" frmulas se
de la prueba !ue nos indi!ue !u" frmulas se
siguen de !u" otras frmulas. 3n otras palabras,
siguen de !u" otras frmulas. 3n otras palabras,
una teora !ue nos diga cmo
una teora !ue nos diga cmo
transformar
transformar
unas
unas
frmulas en otras.
frmulas en otras.

(eor)a $e la #rue*a (2)
(eor)a $e la #rue*a (2)
#a teora de la prueba est dada por una nocin
#a teora de la prueba est dada por una nocin
de prueba (o
de prueba (o
derivacin
derivacin
),
),
a9iomas
a9iomas
y
y
reglas de
reglas de
transformacin
transformacin
. 2o todas las teoras de la prueba
. 2o todas las teoras de la prueba
tienen !ue contar con a9iomas, e9isten teoras de
tienen !ue contar con a9iomas, e9isten teoras de
la prueba !ue slo tienen reglas de transformacin
la prueba !ue slo tienen reglas de transformacin
(de :ec:o, la teora de la prueba de la lgica
(de :ec:o, la teora de la prueba de la lgica
proposicional y la teora de la prueba de la lgica
proposicional y la teora de la prueba de la lgica
de cuantificadores !ue anali8aremos en clase slo
de cuantificadores !ue anali8aremos en clase slo
cuentan con reglas de transformacin).
cuentan con reglas de transformacin).

+ocin $e #rue*a
+ocin $e #rue*a
Una prueba en un sistema formal
Una prueba en un sistema formal
X
X
es una sucesin finita
es una sucesin finita
de frmulas del lenguaje de
de frmulas del lenguaje de
X
X
tal !ue' cada frmula es o
tal !ue' cada frmula es o
un a9ioma del sistema o se obtiene de frmulas
un a9ioma del sistema o se obtiene de frmulas
anteriores mediante reglas de transformacin.
anteriores mediante reglas de transformacin.
#a $ltima lnea de la prueba (la $ltima frmula de la
#a $ltima lnea de la prueba (la $ltima frmula de la
sucecin, llamemosla
sucecin, llamemosla

) se denomina
) se denomina
teorema
teorema
del
del
sistema y se denota como'
sistema y se denota como'

9 9
.
.
3n este caso la
3n este caso la
x
x
indica en !u" sistema formal la frmula
indica en !u" sistema formal la frmula
es un teorema.
es un teorema.

+ocin $e $eri'acin
+ocin $e $eri'acin
2o siempre estamos trabajando con sistemas
2o siempre estamos trabajando con sistemas
formales !ue incluyan a9iomas, en dic:os
formales !ue incluyan a9iomas, en dic:os
sistemas la nocin de prueba no nos es $til.
sistemas la nocin de prueba no nos es $til.
.ampoco nos es $til si !ueremos usar
.ampoco nos es $til si !ueremos usar
premisas
premisas
en nuestros argumentos. 3s por ello
en nuestros argumentos. 3s por ello
!ue recurrimos a la nocin de derivacin. 3n
!ue recurrimos a la nocin de derivacin. 3n
una derivacin contamos no slo con reglas
una derivacin contamos no slo con reglas
de transformacin (o a9iomas), sino !ue
de transformacin (o a9iomas), sino !ue
podemos recurrir a premisas.
podemos recurrir a premisas.

+ocin $e $eri'acin (2)
+ocin $e $eri'acin (2)
Una derivacin de una frmula
Una derivacin de una frmula

a partir de
a partir de
un conjunto
un conjunto

de premisas en un sistema
de premisas en un sistema
formal
formal
X
X
es una sucesin finita de frmulas
es una sucesin finita de frmulas
de
de
X
X
en dnde cada frmula es un a9ioma (si
en dnde cada frmula es un a9ioma (si
el sistema cuenta con ellos), es una premisa
el sistema cuenta con ellos), es una premisa
del conjunto
del conjunto

o se obtiene mediante reglas


o se obtiene mediante reglas
de transformacin de frmulas anteriores.
de transformacin de frmulas anteriores.
7e denota'
7e denota'

9 9


,-u es un a.ioma/
,-u es un a.ioma/
; #os antiguos gemetras y filsofos
; #os antiguos gemetras y filsofos
consideraban !ue los a9iomas (o principios
consideraban !ue los a9iomas (o principios
fundamentales) eran principios autoevidentes.
fundamentales) eran principios autoevidentes.
; ,on la aparicin de las geometras no<
; ,on la aparicin de las geometras no<
euclidenas en el siglo =5=, la concepcin de
euclidenas en el siglo =5=, la concepcin de
a9ioma cambi. *:ora algunos filsofos y
a9ioma cambi. *:ora algunos filsofos y
matemticos consideran !ue los a9iomas son
matemticos consideran !ue los a9iomas son
principios !ue se consideran buenos como
principios !ue se consideran buenos como
supuestos, pero no estamos comprometidos con
supuestos, pero no estamos comprometidos con
su verdad.
su verdad.

"em#los $e a.iomas
"em#los $e a.iomas
3n
3n
geometra
geometra
'
'
>or dos puntos distintos pasa $nicamente una
>or dos puntos distintos pasa $nicamente una
lnea recta.
lnea recta.
%ados un punto y una lnea se puede tra8ar
%ados un punto y una lnea se puede tra8ar
una circunferrencia !ue tenga como centro el
una circunferrencia !ue tenga como centro el
punto y cuyo radio sea la lnea.
punto y cuyo radio sea la lnea.
3n
3n
lgica
lgica
'
'
>
>

>
>

9(9?9)
9(9?9)

,-u son las reglas
,-u son las reglas
$e transformacin/
$e transformacin/
#as reglas de transformacin son reglas !ue
#as reglas de transformacin son reglas !ue
me permiten obtener una o ms frmulas a
me permiten obtener una o ms frmulas a
partir de una o ms frmulas. #as reglas de
partir de una o ms frmulas. #as reglas de
transformacin dependen del sistema formal
transformacin dependen del sistema formal
!ue estemos usando.
!ue estemos usando.

"em#los $e reglas
"em#los $e reglas
$e transformacin
$e transformacin
@odus >onens'
@odus >onens'
>
>

A
A
>
>
B
B

A
A
7ustitucin de id"nticos'
7ustitucin de id"nticos'

a
a
a?b
a?b
B
B

b
b

"em#lo $e (eor)a $e la
"em#lo $e (eor)a $e la
0rue*a
0rue*a
0ara $ar un eem#lo $e la teor)a $e la #rue*a $e un 0ara $ar un eem#lo $e la teor)a $e la #rue*a $e un
sistema formal1 es necesario #rimero $ar el lenguae sistema formal1 es necesario #rimero $ar el lenguae
formal $el sistema. formal $el sistema.
Lenguae 2s Lenguae 2s
3oca*ulario4 3oca*ulario4
,
, , ,
, , . .
5eglas $e formacin4 5eglas $e formacin4
1) Cual6uier sucesin finita $e s)m*olos $el lenguae 1) Cual6uier sucesin finita $e s)m*olos $el lenguae
6ue comience con 6ue comience con

es una frmula. es una frmula.
2) Cual6uier sucesin finita $e s)m*olos $el lenguae 2) Cual6uier sucesin finita $e s)m*olos $el lenguae
6ue termine con 6ue termine con

es una frmula. es una frmula.


3) +a$a m7s es una frmula. 3) +a$a m7s es una frmula.

(eor)a $e la #rue*a
(eor)a $e la #rue*a
$el lenguae 2s.
$el lenguae 2s.
2.ioma4 2.ioma4

. .
5eglas $e transformacin4 5eglas $e transformacin4
5(14 5(14
...
... 8 8
... ...
... ...
(en cual6uier #unto interme$io se #ue$e agregar (en cual6uier #unto interme$io se #ue$e agregar

) )
5(24 5(24
.......
....... 8 8
... ...
... ...
(9os (9os

se #ue$en con'ertir en uno) se #ue$en con'ertir en uno)


5(34 5(34
.......
....... 8 8
... ...
... ...
(9os (9os

se #ue$en con'ertir en uno) se #ue$en con'ertir en uno)



"em#lo $e #rue*a
"em#lo $e #rue*a
en el sistema 2s.
en el sistema 2s.
>rueba de !ue
>rueba de !ue

2s 2s

1.
1.
2.ioma.
2.ioma.
2.
2.

. 5(1 (1)
. 5(1 (1)
3.
3.

. 5(2 (2)
. 5(2 (2)
:.
:.

. 5(3 (3)
. 5(3 (3)

Sistema M%
Sistema M%
#enguaje @U
#enguaje @U
&ocabulario' @, U, 5
&ocabulario' @, U, 5
(eglas de formacin.
(eglas de formacin.
1) .oda sucecin finita de smbolos del
1) .oda sucecin finita de smbolos del
vocabulario !ue comiencen con @ son
vocabulario !ue comiencen con @ son
frmulas del sistema.
frmulas del sistema.
2) 2ada ms es frmula.
2) 2ada ms es frmula.

Sistema M%
Sistema M%
.eora de la >rueba.
.eora de la >rueba.
*9ioma' @5
*9ioma' @5
(eglas de transformacin'
(eglas de transformacin'
(.1) @
(.1) @

B @
B @

.
.
(.2) @
(.2) @

B@
B@

U.
U.
(./) @
(./) @

555
555

B@
B@

U
U

.
.
(.1) @
(.1) @

UU
UU
/
/
@
@

.
.

"em#lo $e #rue*a
"em#lo $e #rue*a
en M%
en M%
>rueba de !ue
>rueba de !ue

M% M%
M;%;%
M;%;%
1.
1.
M; 2.ioma.
M; 2.ioma.
2.M;% 5(2 (1)
2.M;% 5(2 (1)
3.M;%;% 5(1 (2)
3.M;%;% 5(1 (2)

&tro eem#lo $e
&tro eem#lo $e
#rue*a en M%
#rue*a en M%
>rueba de !ue
>rueba de !ue

M% M%
M%;%
M%;%
1.
1.
M; 2.ioma.
M; 2.ioma.
2.M;; 5(1 (1)
2.M;; 5(1 (1)
3.M;;;; 5(1 (2)
3.M;;;; 5(1 (2)
:. M%; 5(3 (3)
:. M%; 5(3 (3)
<. M%;% 5(2 (:)
<. M%;% 5(2 (:)

GRACIAS
GRACIAS

You might also like