Escolar Documentos
Profissional Documentos
Cultura Documentos
de conectivos
primitivos, smbolos auxiliares y letras proposicionales respectivamente. Se conoce el concepto de frmula bien formada (fbf ) y los conceptos de axioma, demostracin, teorema, deduccin, regla de inferencia, etc. Para el sistema L, si (A1) (A2) (A3)
, ,
( ) ( ) ( ) ( ) ( ) ( )
Es decir, (A1), (A2) y (A3) representan esquemas de axiomas. Cada instancia de (A1) es un axioma, o sea, hay una innidad de axiomas de la forma (A1), lo mismo para los esquemas (A2) y (A3). La nica regla de inferencia de L es Si
, son fbf: ( ) es una abreviatura para ( ) ( ) es una abreviatura para ( ) es una abreviatura para ( ) ( ) Es claro pues que , , , son trminos denidos a partir de los indenidos primitivos , . Una deduccin formal de la frmula es una sucesin nita 1 , 2 , . . . , n
de fbf de L donde cada una de ellas es o un axioma o consecuencia de frmulas anteriores en la sucesin por la aplicacin de MP y donde la ltima frmula de la lista es L, escribimos
L ;
deduccin de
) ,
donde
es una deduccin en L de
Axioma (A2) Axioma (A1) MP 1,2 Axioma (A1) Teorema formal Axioma (A3) MP 5,6
la razn por la cual la fbf correspondiente se ha includo en la sucesin de fbf de L; en particular en el anlisis de esta deduccin, tenemos que, por Axioma (Ai) entenderemos una fbf
este caso, la sucesin satisface la denicin de deduccin en L y por lo tanto la Esta frmula
L ( ) .
consequentia
En ocasiones se suele efectuar deducciones de frmulas a partir de un conjunto de hiptesis o supuestos adicionales que funcionan como si fuesen axiomas. Por ejemplo, podemos decir que en la teora L, si tenemos dos frmulas de la forma la frmula
y son teoremas de L, entonces podemos como teorema de L; esto lo expresamos simblicamente como sigue: , L (la frmula es deducible en L a partir de las hiptesis y ). Por ejemplo, si asumimos como hiptesis las frmulas ( ), ( ) y ; a partir de ellas podemos deducir la frmula :
suponemos que las frmulas deducir la frmula
1. 2. 3. 4. 5.
As,
( ), ( ), L .
se dice que es consecuencia en L de un conjunto
1 , 2 , . . . , n
tales que
n =
y para cada
i, 1 i n , i
es o axioma, o
es consecuencia
deduccin formal de
a partir de
Ahora presentaremos un
males y deducciones formales), que expresa simblicamente una forma de razonamiento que frecuentemente empleamos cuando discurrimos informalmente en matemticas. El caso es el siguiente. Supongamos que deseamos probar un teorema de la forma Si ca. Por ejemplo, Si la implicacin
entonces
a|b y b|c entonces a|c en divisibilidad. Para establecer , suponemos que se cumple (hiptesis) y procedemos a deducir a partir de . Este mtodo tambin es aplicable cuando hay ms de una hiptesis (en nuestro ejemplo hay dos hiptesis a|b y b|c); al proceder as, de hecho lo que se hace es demostrar que a partir de es deducible , ms no se ha demostrado la proposicin . Sin embargo, cuando hemos deducido a partir de como hiptesis damos por resuelto
el problema. El teorema que ahora demostramos justica la validez de esta forma de proceder. Lo anterior lo podemos simbolizar provisionalmente as: queremos demostrar que
y procedemos a
probar
en la Teora de Nmeros).
Si
a partir del
puede construir)
Denicin.
a partir de
1 , 2 , . . . , n (con n = ) es la deduccin que tenemos {}. Demostraremos por induccin matemtica sobre
a partir de
.
3
o un elemento de
o un axioma. Si es
, sabemos que L , por lo tanto L (aadiendo las hiptesis a la deduccin de . Si 1 o 1 es axioma, entonces procedemos
como sigue:
1.1 2.1 ( 1 ) 3. 1
L 1
para toda
j < n
supondremos que hay una sucesin de fbf de L para cada constituyen una deduccin de
j a partir de : L 1 , L 2 , . . . , L n1 . Ahora construiremos una deduccin de n apoyados en este supuesto. n puede ser de cuatro formas diferentes: puede ser o elemento de , o axioma de L o consecuencia
directa de fbf anteriores por modus ponens. En los tres primeros casos se procede exactamente como en el caso para
n = 1,
para encontrar
n ,
de tal modo que slo nos resta examinar ser consecuencia de dos frmulas,
el caso en que
(k n )
y de
n .
(k n ) 1. 1
. . .
k < n,
y si llamamos
de k r = k n , r < n,
L k
s. k s + 1. 1
. . .
s + t. s + t + 1. s + t + 2. s + t + 3.
L (k n ) (k n ) [ (k n )] [( k ) ( n )] ( k ) ( n ) n
4
+ t, s + t + 1
MP s, s+t+2
En el rengln
Veamos un ejemplo de deduccin, si tomamos que hemos hecho es dar la deduccin deduccin, construiremos una deduccin de deduccin encontrando que deduccin). En este caso es
= { , }
lo
es
1 , deduccin de
Es importante hacer cuatro observaciones: (a) En el lugar del rengln 12 deberamos haber iniciado la deduccin de
que es
(b) La deduccin de
( 3 )
y podamos haberla omitido por qu no se us?. (c) En la demostracin del teorema de la deduccin (en la construccin) slo se hizo uso de los axiomas de la forma (A1) y (A2). (d) Ntese que el nmero de pasos fue 14, pero segn (a) nos ahorramos 3 pasos, si hubisemos hecho la construccin completa (innecesaria en este caso, pero no en general) hubisemos tenido un total de 17 pasos, o sea
3 5 + 2.
3n+2
pasos?