Documente Academic
Documente Profesional
Documente Cultură
mqwertyuiopasdfghjklzxcv
bnmqwertyuiopasdfghjklzx
cvbnmqwertyuiopasdfghjkl
zxcvbnmqwertyuiopasdfghj
klzxcvbnmqwertyuiopasdfg
hjklzxcvbnmqwertyuiopasd
fghjklzxcvbnmqwertyuiopa
sdfghjklzxcvbnmqwertyuio
pasdfghjklzxcvbnmqwertyu
iopasdfghjklzxcvbnmqwert
yuiopasdfghjklzxcvbnmqwe
rtyuiopasdfghjklzxcvbnmq
wertyuiopasdfghjklzxcvbn
mqwertyuiopasdfghjklzxcv
bnmqwertyuiopasdfghjklzx
cvbnmqwertyuiopasdfghjkl
zxcvbnmqwertyuiopasdfghj
klzxcvbnmqwertyuiopasdfg
hjklzxcvbnmrtyuiopasdfghj
LOGICA FORMAL
Johan A Abello S
LGICA.DEDUCCIN NATURAL.
PRESENTACIN DE UN CLCULO ELEMENTAL DE DEDUCCIN NATURAL. 1
Uno de los objetivos principales de la lgica es establecer mtodos para probar que una
determinada conclusin se deriva de un conjunto especfico de premisas. Un mtodo consiste en
manipular las expresiones dadas como premisas y, a partir de ellas, derivar la expresin de la conclusin.
Para ello nos servimos de ciertas reglas.
Formalizando un poco ms, la idea sera la siguiente. Dado el conjunto de expresiones { 1... n}
y , podemos decir que se deduce del mencionado conjunto cuando: partiendo de las expresiones
{ 1... n} podemos producir la expresin utilizando slo las reglas de deduccin.
CATEGORAS DE FRMULAS
Una deduccin se compone de un conjunto de frmulas, que deben pertenecer a alguna de las
categoras que detallamos a continuacin:
1)
2)
3)
4)
Conclusin: es una sealada frmula dentro del conjunto que compone un razonamiento; no
puede faltar, y es la expresin a la que queremos llegar en cualquier deduccin.
Premisas: son las frmulas de partida, que estn dadas de antemano y sobre la base de las
cuales deseamos obtener una determinada conclusin. Hay deducciones para las cuales el
conjunto de premisas puede ser vaco.
Pasos intermedios: son frmulas que obtenemos a partir de otras previas mediante la utilizacin
de reglas de inferencia.
Supuestos: en algunas partes de la deduccin puede ser conveniente introducir frmulas que no
son premisas ni pasos intermedios. Se las acepta de modo provisional a los fines de poder
obtener otras frmulas que nos acerquen a la conclusin buscada. Estos supuestos deben
descargarse: en algn punto la deduccin debe proseguir sin depender de los supuestos
introducidos. Algunas reglas indican los procesos de introduccin y de descarga.
3.
:
SQD
Los nmeros que preceden al medio parntesis derecho marcan una lnea especfica. En el lugar
de las letras griegas pueden ir frmulas. A continuacin de las frmulas, por la derecha, se especifican las
reglas utilizadas y el nmero de las lneas anteriores a las que se ha aplicado. Este ltimo recurso permite
justificar cada paso dado y la totalidad de las justificaciones constituye la columna de justificacin.
REGLAS DE INFERENCIA
Los pasos intermedios, se obtienen a partir de premisas, u otros pasos intermedios, mediante la
aplicacin de reglas de inferencia. Dichas reglas nos dicen que, dada una expresin de determinado tipo,
podemos generar otra expresin. Su estructura es, aproximadamente: se puede escribir (expresin-)
si antes se dispone de (expresin-1 expresin-n).
Por ejemplo, la ya mencionada regla de Modus Ponens o Eliminacin del condicional dice: dada
una frmula que tiene como conectiva principal un condicional, y la afirmacin independiente de su
antecedente, entonces podemos escribir a continuacin la frmula que corresponde al consecuente. En
smbolos:
Modus Ponens:
Ejemplo:
pq
(pq)(r.s)
r.s
En el ejemplo podemos observar que la afirmacin del antecedente precede a la frmula que
tiene al condicional como conectiva principal. Cabe aclarar de entrada que el orden en que estn
dispuestas las premisas dentro de una demostracin no es relevante. Siempre que las frmulas que
estemos citando sean utilizables carece de importancia si aparecen en el orden que especifica el
enunciado de la regla.
Las reglas que nos permiten pasar de una expresin a otra pueden dividirse en dos grupos:
a) Reglas bsicas (o primitivas).
1) Reglas de introduccin.
2) Reglas de eliminacin.
b) Reglas derivadas.
Para cada conectiva veritativo-funcional tenemos dos reglas bsicas. Una de las reglas nos
permite eliminar la conectiva principal, y por eso se denomina regla de eliminacin. Otra de las reglas
nos permite introducir la conectiva en una frmula nueva. La regla Modus Ponens que hemos visto, por
ejemplo, nos sirve para eliminar el condicional en una expresin.
Por su parte, las reglas derivadas son prescindibles, y cualquier cosa que pueda ser probada con
ellas puede tambin ser probada mediante las reglas bsicas. Sin embargo son muy tiles como
abreviaturas, en tanto simplifican demostraciones que, de otra manera, se haran mucho ms largas.
REGLAS BSICAS
De eliminacin:
Doble
Negacin: DN.
Modus
Ponens: TD.
Elim : EB.
De introduccin:
Int . : IC.
Int : ID.
Int de : IB.
INTRODUCCIN DE SUPUESTOS
Una mencin aparte merece el asunto de la introduccin de supuestos, que, como hemos dicho,
son una clase de frmulas que pueden aparecer en nuestras deducciones. Tres de nuestras reglas bsicas
hacen uso de ellos, y por ello merecen un breve comentario. El supuesto es una frmula que afirmamos
en carcter hipottico. El sentido de su introduccin en la serie deductiva, es la obtencin, a partir de l,
las premisas y las reglas de deduccin, de una frmula que nos acerca a la conclusin que buscamos, y
que sea independiente del supuesto. Cuando conseguimos dicho objetivo podemos decir que lo hemos
cancelado. Adems, debe tenerse en cuenta que, por lo general, entre el supuesto y su cancelacin
median una serie de pasos deductivos. Las frmulas intermedias no pueden utilizarse una vez que se ha
cancelado el supuesto (En trminos grficos, como veremos, dichos pasos intermedios quedan marcados
a izquierda por una barra vertical, y por eso se dice que quedan barrados; el supuesto, por su parte, lo
marcaremos con un guin horizontal a izquierda, del mismo modo que la conclusin de la semideduccin
que inaugura el supuesto).
Terminamos ahora de enunciar nuestras reglas bsicas:
Reduccin al absurdo: RA.
Reduccin al
absurdo: RA.
:
.
COMENTARIOS:
Int. : TD.
COMENTARIOS:
1) Llamemos a un conjunto dado de premisas. El Teorema Deductivo dice que si del conjunto
y la premisa adicional podemos deducir la frmula , entonces a partir de el conjunto
solo podemos afirmar la frmula . La regla enunciada es una expresin formal de dicho
teorema.
2) Esta regla es de suma utilidad en muchas deducciones. Cuando queremos demostrar un
enunciado condicional podemos introducir el antecedente como supuesto y, a partir de l,
tratar de derivar el consecuente. Si podemos hacerlo queda justificada la afirmacin
independiente del enunciado condicional.
3) Como en el caso anterior, los pasos intermedios quedan barrados y, por lo tanto, no pueden
ser utilizados fuera de la subdemostracin.
Elim : ED.
DERIVACIN Y DEDUCCIN
Una derivacin es una secuencia de frmulas en la que se han respetado las reglas de inferencia,
y en la cual se indica de qu manera cada lnea que se escribe se sigue de las precedentes.
Se define DERIVACIN:
Es una secuencia de lneas, en cada una de ellas contiene slo una frmula. En una derivacin
podemos escribir una nueva frmula si y slo si:
(a) es una premisa, lo cual se especifica mediante barra horizontal a izquierda;
(b) es una lnea utilizable anterior, que ser marcada con la expresin Reit n en la columna
de justificacin, siendo n el nmero de lnea utilizable anterior donde est la frmula (esto
equivale a una regla de reiteracin que permite volver a escribir cualquier frmula previa,
siempre y cuando no est barrada);
(c) alguna regla de inferencia justifica su introduccin a partir de lneas utilizables anteriores, lo
que se especificar a derecha en la columna de justificacin
(as: n1,,nn REG; donde los nn corresponden a los nmeros de lneas utilizables
invocados, y en el lugar de REG se enuncia la abreviatura de la regla aplicada)
(d) es una suposicin, y ser marcada con una barra horizontal a izquierda.
Son lneas utilizables todas aquellas lneas que no se encuentren barradas, y slo ellas.
Se define DEDUCCIN:
Se deduce la frmula a partir del conjunto ={ 1... n} si hay una derivacin en la que:
a) 1, ..., n son las premisas;
b) es una lnea utilizable;
c) no queda ningn supuesto no cancelado.
Puede ocurrir que = (Deduccin sin premisas)3.
DEDUCCIONES
Lo que hemos dicho hasta aqu probablemente slo consiga marear e intimidar a cualquiera que
carezca por completo de experiencia en el arte de las demostraciones. Las explicaciones precedentes
buscan dar algn grado de rigor y precisin formal (en este caso mnimo, pues hemos preferido
mantenernos a un nivel bastante intuitivo). Se puede conseguir que todo lo dicho adquiera sentido
mostrando deducciones concretas. Slo la ejercitacin hace posible la comprensin cabal de la
metodologa demostrativa. Cabe una advertencia: no hay que asustarse si uno no ve claramente, de
entrada, cmo se han llevado a cabo las maniobras demostrativas. Lleva tiempo alcanzar cierta claridad
en este punto.
Algunos autores comparan el deducir con jugadas de ajedrez: tenemos las piezas como material
(las premisas en nuestro caso) y las jugadas permitidas para cada una (las reglas de inferencia); algunas
jugadas podrn hacerse, otras no. El jugador experto de Ajedrez puede ver varias jugadas por delante.
Quin tiene experiencia en demostraciones formales percibe relaciones entre las premisas y posibles
caminos para demostrar. El jugador inexperto de Ajedrez slo tiene ojos para la jugada inmediata, y quien
no est versado en demostraciones ve frmulas sin ningn significado. Ni en el Ajedrez ni en las
demostraciones existen recetas mgicas y mecnicas que puedan aplicarse. En ambos casos el
conocimiento de la teora, y mucha experiencia (es decir: la prctica), permiten, con suficiente paciencia,
progresar.
EJEMPLO 1
Demostrar: {pq, p.r} q.r
1) pq
2) p.r
3) p
2 EC.
4) q
1, 3 MP.
5) r
2 EC.
6) q.r
4, 5 IC.
Segn queramos demostrar (SQD).
COMENTARIOS:
a) Las lneas (1) y (2) son las premisas.
b) Se ha aplicado dos veces la regla de eliminacin de la conjuncin. Una vez para utilizar uno de
sus miembros, y luego para utilizar el otro.
c) No se han introducido supuestos, por lo cual todas las lneas son utilizables.
EJEMPLO 2
Demostrar: {pq, pr} pr
3
1) pq
2) qr
3) p
4) q
5) qr
6) r
7) pr
2, 3 MP.
2 EB.
4, 5 MP
3-6 TD
SQD
COMENTARIO:
1) Se ha introducido p en la lnea 3 como supuesto. El objetivo es conseguir la expresin para el
condicional pr.
2) El supuesto queda cancelado cuando demostramos el consecuente r.
3) Las lneas que van desde la 3 a la 6 han quedado barradas (no podran utilizarse si la
demostracin continuara).
4) En la columna de justificacin deben citarse los pasos que van desde el supuesto a la conclusin.
Lo hacemos indicando la lnea de inicio y de fin, interponiendo un guin (a diferencia de las
comas habituales).
EJEMPLO 3
Demostrar: {p q, pr, qs} r s
SQD
1) pq
2) pr
3) qs
4) p
5) r
6) rs
7) q
8) s
9) rs
10) rs
2, 4 MP
5 ID
3, 7 MP
8 ID
4-6, 7-9 ED
EJEMPLO 4
Demostrar: {pq, qs, s} p
SQD
1) pq
2) qs
3) s
4) q
5) s
6) s.s
7) q
8) p
9) q
10) q.q
11) p
2, 4 MP
3, 5 IC
4-6 RA
1, 8 MP
7, 9 IC
8-10 RA
Disyuncin
Conmutatividad
.
Idempotenci
a
.
Conmutatividad
Idempot
Condicional
Modus
Tollens
Silogismo
Hipottic
o
Contraposicin
Definicin del
Condicional
Silogismo
Disyuntivo
Negacin del
Condicional
()
Dilema
Constructiv
o
Importacin/
Exportacin
()
(.)
Leyes de DeMorgan
DeMorgan
(.)
Asociatividad
Propiedad Asociativa
(.).
()
.(.)
()
()
Distributividad
Propiedad Distributiva
.()
(.)
(.)(.)
().()
Vamos a probar a continuacin algunas de estas reglas utilizando solamente reglas bsicas.
Demostrar: {.} .
1) .
2)
3)
4) .
SQD
1 EC.
1 EC.
2,3 IC.
Demostrar: {.}
1) .
3)
SQD
1 EC.
Demostrar: { }
1)
2)
3)
4)
5)
6)
SQD
2 ID.
4 ID
1, 2-3, 4-5 ED
Demostrar: { , }
1)
2)
3)
4)
5)
6) .
7)
8)
9)
10)
SQD
Reit 2
3, 5 IC
4-6 RA
Reit 8
1, 3-7, 8-9 ED
Demostrar: { , , }
SQD
1)
2)
3)
4)
5)
6)
8)
9)
10)
11)
2, 4 MP
5 ID
3, 8 MP
9 ID
1, 4-6, 8-10 ED
Demostrar: {, }
1)
2)
3)
4)
6) .
7)
SQD
1, 3 MP.
2,4 IC
3-6 RA
Demostrar: {, }
1)
2)
3)
4)
6)
7)
1, 3 MP
2, 6 MP
3-6 TD
SQD
Demostrar: {}
1)
2)
3)
4)
1, 3 MP
5) .
2, 4 IC
6)
3-5 RA
7) 2-6 TD
SQD
Para la demostracin que a continuacin ofrecemos hemos seguido dos caminos: resolucin slo
con reglas bsicas, por un lado, y tambin con reglas derivadas por otro. El objetivo es ver cmo
obtenemos una demostracin ms breve.
Demostrar : {pq, qr} rp
-1) pq
-2) qr
3) rq 2 EB
3) rq
2 EB
4) qp1 EB
4) qp
1 EB
5) r
5) rp
3, 4 Sil. Hip.
6) q
3, 5 MP
6) pq
1 EB
7) p
4, 6 MP
7) qr
2 EB
8) rp 5-7 TD
8) pr
6, 7 Sil. Hip.
9) pq1 EB
9) rp
5, 8 IB.
10) qr
2 EB
SQD
11) p
12) q
9, 11 MP
13) r
10, 12 MP
14) pr
11-13 TD
15) rp
8, 14 IB.
SQD