Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica
Logica
Betsy Vargas
Betsy Vargas
Resumen
Abstract
The following work gives a clear, didactic, and complete treatment of method of trees to
determine logical properties (proposition of consistence or equivalence, validity or
invalidity of deductive reasoning), as much in propositional logic or enunciations field as in
predicates or quantitatives logic. It also gives a simple overview though its representative
to metatheoretic such semantic fitting, indecisiveness and incompleteness. The originality
of text is based on the method of trees usage also called Trees of semantic forcement
by the mathematician Manuel Sierra, he lets to develop demonstrations in a simpler way
than the ones that are done by alternate methods.
ndice General
10
13
19
21
22
22
22
22
23
23
23
24
24
25
25
II
27
29
32
34
40
40
41
42
43
43
45
45
49
51
53
56
57
58
59
4.4. Conclusiones
60
III
ndice De Figuras
1.3. Coimplicacin.
10
10
11
11
12
12
13
13
14
IV
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
23
23
24
25
26
26
26
27
27
28
28
29
29
30
V
30
31
31
33
33
34
34
35
35
36
36
37
37
38
38
39
39
40
41
42
46
46
VI
47
47
48
48
49
49
50
50
51
51
52
52
52
53
53
54
54
55
55
56
56
57
58
59
VII
Introduccin.
La aceptacin de que cada frmula bien formada debe tener uno de los dos valores de
verdad, verdadero (V o 1) o falso (F o 0), llamado principio de bivalencia, constituye los
fundamentos de la Lgica Clsica o Binaria, que ha sido la base de la asignatura Lgica de
Primer Orden. Sin embargo, sucesivos planteamientos han demostrado la necesidad de
otros tipos de lgicas, a veces presentadas como rivales y otras como complementarias de
la lgica clsica, para resolver distintos problemas en campos como la Inteligencia
Artificial o la Verificacin de Programas, por poner algunos ejemplos de reas cercanas a
nuestro mbito de estudio.
Un primer paso para ir ms all de la Lgica Bivalente es la introduccin de ms valores
lgicos. Aunque las races ms antiguas de la Lgica Multivaluada las podemos encontrar
en Aristteles, esta fue definitivamente establecida en 1920 por Lukasiewicz.
Lukasiewicz aade a los valores lgicos clsicos un valor intermedio asentando los
principios de la Lgica Trivalente.
Una de las bases fundamentales de estos desarrollos eran los principios lgicos
tradicionales, ahora adoptados a la formalizacin moderna; especialmente el principio de no
contradiccin sin el cual se asuma que no era posible hacer ningn razonamiento correcto,
ni decir algo con sentido la realidad.
Pero la aplicacin de estos argumentos se puede ver en:
a) Filosofa: El tratamiento de teoras inconsistentes como ciertas formas de dialctica,
y la teora de objetos de Meinong, en donde no se podra aplicar la lgica clsica, en
vista de la presencia de contradicciones.
b) Matemtica: La formulacin de teoras paraconsistentes de conjuntos en los cuales
el esquema de separacin se encuentra sometido a restricciones. Entre estas teoras
se encuentra el conjunto de Russell, compuesto por todos los conjuntos que no
pertenecen a si mismos.
c) Lgica: Una mejor comprensin de los principios de la lgica estndar, se puede
observar claramente el sentido y las limitaciones de los principios de contradiccin,
identidad y del tercero excluido.
d) Fsica: Aplicaciones en mecnica cuntica, y unificacin formal de teoras.
e) Tecnologa: Aplicaciones en Inteligencia Artificial (Manipulacin de datos
contradictorios), y en informtica en general.
VIII
Captulo 1
rboles de forzamiento
Semntico Clsico
1.1. Construccin de enunciados
Enunciados atmicos; A, B, C.
Enunciados compuestos: generados a partir de los atmicos utilizando los conectivos
binarios , , , y el conectivo unario ~.
Su rbol es:
Captulo 2
Construccin de rboles de
Forzamiento Semntico para
Lgica Clsica
Los rboles de Forzamiento Semnticos son construidos a partir de los arboles de
construccin de enunciados.
Para su realizacin se deben tener en cuenta las siguientes reglas de inferencia para el
Forzamiento Semntico, donde un nodo marcado con un crculo indica la aceptacin del
enunciado asociado al nodo, y un nodo marcado con un cuadro indica que el enunciado
asociado al nodo es rechazado.
2.1.
Las tautologas, tienen gran utilidad en el clculo proposicional, as como tambin las
contradicciones que son proposiciones que son falsas para cualquier combinacin de
valores de verdad de las componentes. El objetivo de la realizacin de estos rboles, es
lograr una demostracin por contradiccin, es decir para poder demostrar que un argumento
es un teorema o no, se asume que es falso por tal razn la primera regla es:
2.1.1.
FR (Falsedad de la Raz)
El nodo raz siempre debe estar marcado con cuadro. Con esta regla se esta suponiendo
que el enunciado asociado al rbol no es vlido.
2.1.2.
2.1.3.
2.1.3.1.
A (Afirmacin de la Conjuncin)
2.1.4.
10
2.1.4.3.
11
2.1.4.4.
12
2.1.4.5.
2.1.5.
2.1.5.1
13
14
2.1.5.4.
15
16
FIGURA 2.28.
17
FIGURA 2.29
18
FIGURA 2.31
2.1.6
19
FIGURA 2.33
20
2.6.4.
2.1.7.
FIGURA 2.36
- Iteracin de la Afirmacin.
21
2.2.
Tipos de rboles
2.2.1.
Doble marca
2.2.2.
Un rbol de forzamiento semntico se dice que est bien marcado (ABM) si todos sus
nodos estn marcados y no existe doble marca.
2.2.3.
Un rbol de forzamiento semntico se dice que est mal marcado (AMM) si no est bien
marcado, es decir, si existe un nodo con doble marca
22
2.3.
2.3.1.
Si se toma la opcin de marcar un nodo con crculo y se obtiene un rbol mal marcado
entonces dicho nodo est marcado con cuadro. Si se supone que un enunciado es verdadero y
se obtiene una contradiccin entonces dicho enunciado es falso.
FIGURA 2.38
2.3.2.
Si se toma la opcin de marcar un nodo con cuadro y se obtiene un rbol mal marcado
entonces dicho nodo est marcado con crculo. Si se supone que un enunciado es falso y se
obtiene una contradiccin entonces dicho enunciado es verdadero.
23
2.3.3.
Si se toma la opcin de marcar un nodo con cuadro y se obtiene un rbol mal marcado, y
adems, si se toma la opcin de marcar un nodo con crculo y se obtiene un rbol mal
marcado entonces el rbol esta mal marcado. Si suponemos que un enunciado es falso y se
obtiene una contradiccin y adems, si se supone que el enunciado es verdadero y se obtiene
una contradiccin entonces la contradiccin no depende de dicho enunciado.
Si marcando A con crculo no se obtiene rbol mal marcado entonces A est marcado con
crculo.
Si marcando A con cuadro no se obtiene rbol mal marcado entonces A est marcado con
cuadro.
2.3.4.
24
2.3.4.
25
26
Tenemos un argumento con doble marca (A es falso y verdadero a, la vez), por lo tanto el
rbol es un rbol mal marcado (AMM) y se puede concluir que el principio del tercero
excluido es un teorema.
2.4.2.
Principio de no contradiccin
Un enunciado no puede ser a la vez verdadero y falso. De esta manera, una proposicin (en
esta lgica bivalente) no ser al mismo tiempo verdadero y falsa.
~ ( A ~ A)
Su rbol es:
27
28
Tenemos un argumento con doble marca (a es falso y verdadero a, la vez) por lo tanto el
rbol, es un rbol mal marcado (AMM) y se puede concluir que el principio de no
contradiccin es un teorema.
2.4.3.
Principio de trivializacin
~ A ( A B)
Su rbol es:
29
30
Tenemos un argumento con doble marca (A es falso y verdadero a la vez), por lo tanto el
rbol, es un rbol mal marcado (AMM) y se puede concluir que el principio de trivializacin
es un teorema.
31
Captulo 3.
para el operador negacin clsica y agregando reglas que indiquen en que casos particulares
valen las reglas eliminadas. El sistema resultante soporta contradicciones dbiles sin
trivializar las teoras que las incluyen.
La frmula A puede leerse: A es cuestionable, A es cuestionado.
La frmula AI se lee: A es incompatible con su negacin.
La frmula AC se lee: A es completa con su negacin.
El rbol de una incompatibilidad tiene la siguiente forma:
33
3.1
3.1.1
AAI(Afirmacin de la
Incompatibilidad)
Negacin
Afirmacin
de
la
Los enunciados cuestionados que son incompatibles con su negacin, son rechazados es
decir, el alcance de una negacin es falso cuando la negacin es verdadera y es incompatible
con su alcance.
3.1.2.
Los enunciados determinables que son rechazados, son cuestionados, es decir, una
negacin es aceptada cuando su alcance es rechazado y completo.
34
3.1.3.
Los enunciados determinables que son cuestionados, son aceptados. El alcance de una
negacin es aceptado cuando la negacin es rechazada y el alcance completo.
3.1.4.
No son cuestionados los enunciados que se aceptan y adems sean incompatibles con su
negacin es decir, una negacin es rechazada cuando su alcance es aceptado y es
incompatible con su negacin.
35
3.1.5.
Los enunciados que son aceptados y cuestionados son compatibles con su negacin, es
decir, la incompatibilidad de un enunciado y su negacin es rechazada cuando el enunciado y
su negacin son aceptados.
3.1.6.
FI (Falsedad de la Incompatibilidad)
36
3.1.7.
3.1.8.
FA
de
la
Negacin
en
la
37
3.19.
3.1.10
38
3.1.11.
FC (Falsedad de la Completez)
3.1.12.
39
3.2.
Algunos teoremas
3.2.1.
Tercero Excluido
Su rbol es:
Justificaciones
1. FR.
2, 3. F.
4, 5. F V.
9. DM en 8 y 7.
6. IF en 5.
7. IF en 4.
8. F AC.en 2 y 6
AMM.
40
3.2.2.
Principio de No Contradiccin:
Este principio solo tiene validez restringida, es decir, cuando el enunciado es incompatible
con su negacin.
(A A)C AI (A A)
Su rbol es:
Justificaciones
1. FR.
2, 3. Fen 1.
4, 5. A en 2
6. IF en 3
7. F AC en 4 y 6.
8, 9. A en 7.
10. IA en 8
11. IA en 9.
17. DM en 12 y 16.
AMM.
41
12.
A AI en 5 y 11.
13.
IA en 7.
14, 15.
A en 13.
16.
IA en 14.
3.2.3.
Principio de trivializacin:
Este principio indica que el sistema soporta las contradicciones, es decir, pueden tenerse
como teoremas los enunciados A y A y a pesar de ello el sistema no se trivializa.
Justificaciones
1. FR.
2, 3. Fen 1.
4, 5. Fen 3.
10. A AI en 2 y 9.
11. DM en 10 y 8.
6, 7. Fen 5
8. IA en 6.
9. IA en 4
42
Captulo 4.
rboles De Forzamiento
Semntico Para Lgica
Multivaluada
4.1
Lgica de Lukasiewicz
Las tablas de verdad en este sistema son construidas tomando en cuenta las siguientes
formulas:
La conjuncin elige el valor mas bajo de las sub-frmulas que conecta.
v(A B) = min. {v(A), v(B)}
1
1/2
0
1/2
1/2
1/2
1/2
1
1/2
0
1/2
1/2
1/2
1/2
La implicacin toma el valor del consecuente cuando dicho consecuente tiene un valor
ms bajo que el antecedente; en caso contrario se evala como verdadero, es decir como 1.
v(AB)=min{1,1-v(A)+v(B)}
1/2
1
1/2
0
1/2
1/2
44
1
1/2
0
1/2
1/2
1/2
1/2
1/2
El valor de la negacin esta determinada por uno menos el valor del argumento.
v( A)=1-v(A)
4.2.
1/2
1/2
Reglas de inferencia:
A partir de las tablas establecidas para el conector se pueden realizar las mismas
operaciones que en lgica bivalente, aunque tales operaciones son mucho mas largas y
enojosas en el nuevo calculo, puesto que para tres argumentos las combinaciones posibles
son 27, para cuatro 81 etc., de acuerdo con 3n en que el exponente n designa el numero
de argumentos que tenga la formula. Los resultados que se obtengan, pueden ser triples:
Tautolgicos, si como resultado se obtiene 1 en todos los casos, es decir todos son
verdaderos; Posibles, si no aparecen nmeros inferiores a , es decir no aparecen valores
falsos; y Falsos, si resultan nmeros 0 en cualquier caso.
En este sistema el nodo raz no siempre necesita estar marcado con cuadro, como en el
caso de la lgica clsica, sino que puede tomar el valor de , marcado con un crculo
discontinuo.
4.2.1.
45
4.2.1.2. III
(Indeterminacin
Implicacin)
Izquierda,
Indeterminacin
de
la
46
47
48
4.2.2.
1
2
49
50
4.2.3.
3
4
51
4.2.3.2.
52
4.2.4.
53
54
55
4.2.5.
56
4.3.
Algunas consecuencias.
57
4.3.1.
A A
Su rbol es:
Justificaciones
1.
IR.
2, 3. I
4. I en 3.
5. DM en 2 y 4.
El valor de A marcado con cuadro y crculo dentro significa, que no puede ser verdadero, por
lo cual puede tomar los valores de indeterminado o falso; entonces el rbol, al marcar a A
como indeterminado, queda bien marcado, lo cual demuestra que el principio del tercio
excluido no es un teorema en la lgica de Lukasiewicz.
58
4.3.2.
Principio de No Contradiccin
(A A)
Su rbol es:
Justificaciones
1.
IR.
3, 5. I en 2
6.
DM en 3 y 5.
2. I en 1.
5. I en 4.
El valor de A marcado con cuadro y otro cuadro dentro significa, que no puede ser falso, por
lo cual puede tomar los valores de indeterminado o verdadero; entonces el rbol, al marcar a
A como indeterminado, queda bien marcado, lo cual demuestra que el principio de no
contradiccin no es un teorema en la lgica de Lukasiewicz.
59
CONCLUSIONES
Los rboles de forzamiento semntico son diagramas utilizados para la llamada investigacin
formativa, es decir, son utilizados para presentar de manera bastante simple tpicos
relacionados con algunas lgicas no clsicas, como la lgica Paraconsistente, Paracompleta y
la lgica de Lukasiewiez, mostrando las diferencias y semejanzas con la clsica.
Tambin son utilizados de manera muy eficiente en el estudio de la "negacin", adems de
ser utilizados como una solucin en tiempo finito en la realizacin de teoremas, o poder
saber en tiempo real si un argumento es un teorema o no, los rboles de Forzamiento
Semntico, proporcionan una herramienta de inferencia visual muy til en el estudio de
teoras inconsistentes.
Por otra parte se puede observar que las conclusiones a las cuales llega Lukasiewiez, son
totalmente demostrables por este mtodo.
Por ejemplo tenemos el principio de no contradiccin el cual no puede ser probado
proclamndolo directamente evidente porque:
1) La evidencia no parece ser un criterio aceptable de verdad; de hecho ha sucedido que
proposiciones falsas se han mostrado como evidentes
.
2) El principio de no contradiccin no parece ser evidente para todo el mundo; para
algunos pensadores como Hegel no era evidente.
Con relacin a la posibilidad de dar una prueba del principio de no contradiccin a partir de
una investigacin concreta, Lukasiewiez hace mencin de objetos contradictorios como El
mas grande de los nmeros primos, o el circulo cuadrado, l asuma que el principio de
no contradiccin slo estaba dirigido a lo real y a lo posible. Por otra parte, como lo haba
demostrado la aparicin de las paradojas, tales como la de Russell, no se puede excluir la
eventualidad de que construcciones que parecen consistentes, contengan una contradiccin
escondida que no se ha descubierto aun.
60
Referencia
[BOB96]
Andrs Bobenrieth.
Inconsistencias Por qu no? Trazos filosficos en la senda de la lgica paraconsistente.
Xavier Caicedo.
Elementos de lgica y Calculabilidad.
Bogota, Universidad de los Andes 1990.
[GOT01]
Siegfried Gottwald
A Treatise on many valued logics.
Institute for logic and philosophy of science University of Leipzig,
Germany 2000.
[SIE99]
Manuel Sierra.
Lgica Paraconsistente
Memorias de la Primera reunin del Grupo LOG&CO Lgica y computacin
Universidad Nacional de Colombia, Manizales, Diciembre 13 al 17 de 1999.
[SIE01]
Manuel Sierra.
rboles de Forzamiento Semntico.
Revista Universidad EAFIT No 123, Medelln, 2001.
[SI201]
Manuel Sierra.
Lgica Bsica Paraconsistente Clsica.
Memorias del VIII Encuentro de la Escuela Regional de Matemticas,
Pasto, 2001.
[SIE02]
Manuel Sierra.
Lgica Bsica Paraconsistente y Paracompleta con Negacin Clsica.
Revista Universidad EAFIT No 126. Medelln, 2002.
61