Tautolog en lgicas con n valores as o

Carlos Augusto Pabn Chipatecua o

Cd.: 152496 o

Trabajo de grado Programa de Pregrado en Matemticas a Director: Prof. Alberto Campos

Facultad de Ciencias Universidad Nacional de Colombia Bogot D.C. a Abril, 2005

Introduccin o
La bsqueda de un sistema que de manera matemtica lograra capturar las leyes del u a pensamiento humano 1 fue una preocupacin que desde los griegos ha estado presente en o la historia de la humanidad. El Organon aristotlico present las reglas de la llamada lgica e o o tradicional con base en el silogismo categrico; son igualmente interesantes las controvero sias acaecidas en la escuela megrico-estoica alrededor de la denicin del condicional en a o su lgica de proposiciones. o Prcticamente hay que esperar hasta Leibniz, en el siglo XVII, para encontrar algo sustana cialmente nuevo: su clebre proyecto de bsqueda de una characteristica universalis para e u el pensamiento, un lenguaje universal que de manera simblica y por qu no, algebraica, o e sirviese como medio mecnico de decisin para la validez de cualquier proposicin humana. a o o Es a nes del siglo XIX cuando las investigaciones de Boole y De Morgan aparecen como el germen de una aproximacin al clebre proyecto leibniziano. o e As surge la moderna lgica matemtica. o a El sistema lgico ms bsico es el clculo de enunciados clsico, basado en dos valores o a a a a semnticos (verdadero y falso), contra el cual pronto aparecieron rivales. a En 1920, Jan Lukasiewicz introdujo un clculo de enunciados de tres valores, con un ina ters fundamentalmente losco. En 1921, Emil Post, partiendo de un inters puramente e o e matemtico introdujo los clculos n-valentes; el clculo bivalente coincide con el clculo a a a a booleano clsico. En el presente trabajo consideramos los clculos n-valuados Ln , tomando a a la semntica propuesta por Lukasiewicz en su sistema trivalente, en el que caracteriza las a operaciones lgicas bsicas. o a Es conocido que algunas de las tautolog de la lgica bivaluada dejan de serlo en el clculo as o a de tres valores L3 , y en general se conoce un resultado debido a Lindenbaum el cual arma que para n, m {2, 3, ...}, la clase de las tautolog en Lm est contenida en la clase de as a las tautolog de Ln si y solo si n 1 es divisor de m 1. as En este contexto surgi entonces la pregunta acerca de qu tautolog de la lgica de dos o e as o valores continan siendo tautolog en lgicas con un nmero mayor de valores y tal es la u as o u pregunta que se ha querido explorar en el presente trabajo.

1.
1.1.

El clculo de enunciados clsico a a

Sistemas formales

Los clculos lgicos constituyen el fundamento de la moderna lgica matemtica. Tales a o o a clculos estn enmarcados en el contexto de los sistemas formales. En un sistema formal a a se consideran las sucesiones nitas de ciertos signos primitivos (objetos sin especicar de los cuales partimos, o tomos). Entre tales sucesiones nos jamos en algunas que de cierto a modo estn bien construidas, en el sentido de que para los nes del sistema ponen de a maniesto la funcin de cada objeto primitivo (ya que algunos de estos objetos sern simo a ples individuos del sistema, otros servirn posiblemente como signos de operacin entre los a o primeros, otros cumplirn la funcin de signos de puntuacin, etc.): tales sucesiones son a o o las llamadas frmulas. o Entre las frmulas consideramos un tipo especial, los axiomas (nitos o innitos en nmero). o u
1 Terminolog a

de George Boole.

Se deben enunciar, pues, modos de formar axiomas entre las frmulas, de los que se aro mar que son vlidos de manera incondicional. Se ha de especicar un conjunto de reglas, a a conocidas como reglas de inferencia, que permitan, de la armacin de cierto conjunto de o frmulas, garantizar la armacin de alguna otra. o o Una sucesin nita de frmulas se dice una deduccin (de la ultima frmula de la o o o o sucesin), si cada frmula de la sucesin es un axioma o es inferible inmediatamente de o o o una o ms frmulas precedentes (mediante las reglas de inferencia). a o Una frmula es deducible si existe una deduccin de ella, decimos tambin en este caso o o e que la frmula es un teorema del sistema. o

1.2.
1.2.1.

El clculo de enunciados como sistema formal a

Sintaxis

Existen diversas maneras de presentar el sistema axiomtico para el clculo de enuncia a ados clsico. Seguiremos la utilizada en la tesis doctoral de Post de 1921 en la Universidad a de Columbia,2 , basada en el sistema de Principia Mathematica de Whitehead y Russell. El sistema consta en su parte bsica de una coleccin (innita enumerable) de enunciados a o atmicos, {p0 , p1 , . . . } como signos primitivos de nuestro sistema, el conjunto {, } de o signos que servirn como conectores simblicos, as como de parntesis a izquierda y a a o e derecha.

Las reglas de formacin de enunciados se presentan a continuacin: o o 1. Todos los enunciados atmicos son formas de enunciados. o 2. Si A, B son enunciados, tambin lo son A, A B. e 3. Son enunciados tambin las expresiones obtenidas tras aplicar un nmero nito de e u veces las reglas 1. y 2. De acuerdo con las anteriores reglas, son formas de enunciados las siguientes: p p, (p q) r, etc. El sistema formal es especicado a continuacin (siguiendo a Post): o Cada una de las siguientes expresiones son axiomas, para cualquier eleccin de los enuncio ados A, B y C (A1) (A A) A (A2) (A (B C)) (B (A C)) (A3) B (A B) (A4) (A B) ((C A) (C B)) (A5) (A B) (B A)
2 Introduction

to a general theory of elementary propositions.

Damos las siguientes deniciones3 para el uso de , y de la manera siguiente: 1. Denimos p q por (p q) 2. Denimos p q por p q 3. Denimos p q por (p q) (q p) Con base en nuestras deniciones, el sistema de axiomas se puede escribir: (A1) (A A) A (A2) (A (B C)) (B (A C)) (A3) B (A B) (A4) (A B) ((C A) (C B)) (A5) (A B) (B A) De manera idntica a la ya presentada se dene una deduccin en este sistema. e o La asercin de un enunciado es la armacin de que se toma como vlido. La asercin de o o a o un enunciado A se indica A La unica regla de inferencia considerada es el primer esquema de inferencia megrico a estoico, a saber de la asercin de A y A B se tiene la asercin de B. Esto expresa el o o hecho de que las dos premisas A y A B se consideran como vlidas en el sistema y la a regla de inferencia garantiza el poder tomar como vlido el enunciado B: a A AB B A continuacin presentamos ejemplos de algunas deducciones en el sistema formal en o consideracin. A la derecha de cada rengln se especican los axiomas o teoremas del o o sistema que garantizan la escritura del enunciado presente en tal rengln; la aplicacin del o o primer esquema de inferencia estoico a los enunciados presentes en los renglones k y r es indicada con EI(k)(r). Ejemplo 1.1. p p p (1) ppp ( A3)

3 Las deniciones no son esenciales en los sistemas formales, se utilizan solamente por comodidad en el manejo del simbolismo. Una denicin nos permite, siempre que encontremos la expresin denitoria, o o reemplazarla de manera inmediata y en cualquier situacin (si se requiere) por la expresin denida. o o

Ejemplo 1.2. (q r) ((p q) (p r)) (1) (2) (q r) ((p q) (p r)) (q r) ((p q) (p r)) ( A4) (Denicin de ) o

Ejemplo 1.3. p p (1) (p p p) ((p p p) (p p)) (2) (3) (4) (5) ppp ((p p p) (p p)) ppp pp

( Ejemplo 2 ) ( A1) (EI (1)(2)) (Ejemplo 1) (EI (3)(4))

1.2.2.

Semntica a

Los enunciados construidos en el sistema presentado no son ms que sucesiones de a signos carentes de signicado. Sin embargo, stos podr representar alguna combinacin e an o lgica de hechos del universo. Tal asociacin pretende hacer corresponder los enunciados o o atmicos a un conjunto de ideas o conceptos primitivos de los cuales podemos decir que o son verdaderos o falsos, y los s mbolos para conectar enunciados se hacen corresponder a los conectivos gramaticales del lenguaje natural. El hecho de que de los enunciados atmicos se pueda decir que son verdaderos o falsos o se expresa en este contexto hacindoles corresponder los valores 1 y 0 como referentes de e verdad y falsedad, respectivamente. Para darle signicado a los conectivos sintcticos, les a asociamos aplicaciones sobre tales valores de la siguiente manera: La negacin, que corresponde al conectivo , asigna a cada enunciado atmico su valor o o opuesto, es decir, si el enunciado es verdadero su negacin es falsa y viceversa, de acuerdo o con la tabla de valores a continuacin presentada: o p 1 0 p 0 1

La disyuncin (la o del lenguaje corriente) opera sobre dos enunciados y es falsa solo o cuando ambos enunciados lo son, verdadera en los dems casos, corresponde al conectivo a : p 1 1 0 0 q 1 0 1 0 5 pq 1 1 1 0

Valindonos de tablas como las anteriores podemos obtener los valores que corresponden e a un determinado enunciado siguiendo paso a paso la forma como operan los conectivos, por ejemplo p 1 1 0 0 q 1 0 1 0 p 0 0 1 1 p q 1 0 1 1

Ntese que de manera completamente consistente con el lenguaje corriente, tomamos o la conjuncin (la y del lenguaje corriente) como correspondiente al conectivo : o p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0

De igual manera, el condicional ( si ..., entonces... del lenguaje corriente), corresponde al conectivo : p 1 1 0 0 q 1 0 1 0 pq 1 0 1 1

Asimismo, la operacin bicondicional (... si y solo si ... del lenguaje corriente)), coro respondiente al conectivo : p 1 1 0 0 q 1 0 1 0 pq 1 0 0 1

En los lenguajes naturales existen dos usos de la disyuncin, el inclusivo y el exclusivo, o segn se acepte la validez o no de los dos enunciados simultneamente. As la tabla presenu a , tada para corresponde a la disyuncin inclusiva; una tabla para la disyuncin exclusiva o o ser la siguiente: a

p 1 1 0 0

q 1 0 1 0

p 0 1 1 0

Cada forma de enunciado determina una funcin, que para cada asignacin de los valores o o 0 o 1 en el conjunto de los enunciados atmicos, y a travs de las tablas de valores para las o e operaciones lgicas induce un valor para el enunciado mismo. Esto se puede representar en o una tabla de valores como la siguiente (para el enunciado (p q) r ). p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 p 0 0 0 0 1 1 1 1 p q 1 1 0 0 1 1 1 1 (p q) r 1 0 1 1 1 0 1 0

Una tabla de valores se puede abreviar escribiendo slo el enunciado, colocando bajo los o enunciados atmicos sus posibles valores de verdad y escribiendo paso a paso los valores que o toman las operaciones lgicas bajo los s o mbolos correspondientes. Una versin abreviada o de la tabla anterior es la que sigue: ( 0 0 0 0 1 1 1 1 p 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 q 1 1 0 0 1 1 0 0 ) 1 0 1 1 1 0 1 0 r 1 0 1 0 1 0 1 0

Ntese que a los enunciados con m enunciados atmicos, se pueden asociar aplicaciones o o del producto cartesiano {0, 1}m = {0, 1} {0, 1} en {0, 1} las cuales determinan su
m veces

tabla de valores.

Post ve los enunciados del sistema como funciones cuyos parmetros son los enunciados a atmicos. Denomina orden de un enunciado al nmero de enunciados atmicos (letras) o u o n que contiene. Existen 22 tablas de orden n. Proposicin 1. A cada tabla de valores de cualquier orden corresponde al menos una o funcin (enunciado) que tiene a sta como su tabla de valores. o e Demostracin. Post lo muestra usando induccin. o o Para las cuatro tablas de valores de primer orden p 1 0 f (p) 1 1 p 1 0 f (p) 1 0 p 1 0 f (p) 0 1 p 1 0 f (p) 0 0

se tienen los enunciados p p, p p, p, (p p), con las anteriores tablas como sus correspondientes tablas de valores. Ahora asumamos que existe un enunciado para cada tabla de orden m que tiene a sta e como su tabla de valores. Consideremos una tabla de orden m + 1; podemos notar que las conguraciones para las cuales pm+1 tiene el valor 1 constituyen una tabla de valores de orden m la cual por la hiptesis de induccin admite un enunciado de orden m, f1 (p1 , . . . , pm ) que la tiene como o o su tabla de valores. De igual manera existe un enunciado f2 (p1 , . . . , pm ) que tiene por tabla de valores la tabla constituida por las conguraciones en las cuales pm+1 tiene el valor 0. Si tomamos pq como (pq), entonces se sigue de manera sencilla que el enunciado (pm+1 f1 (p1 , . . . , pm )) (pm+1 f2 (p1 , . . . , pm )) tiene como tabla de valores la tabla original dada. Un enunciado que toma el valor 1 siempre, independientemente de los valores que asuman sus enunciados atmicos es llamado un enunciado tautolgico o una tautolog Un o o a. enunciado que toma siempre el valor 0, sin importar los valores que asuman sus enunciados atmicos es llamado un enunciado contradictorio o una contradiccin. Un enunciado que o o toma por lo menos una vez el valor 1 y por lo menos una vez el valor 0 es llamado un enunciado contingente. As un enunciado es una tautolog si y slo si su correspondiente funcin toma slo el , a o o o valor 1, o equivalentemente si en su tabla de valores, la columna bajo la operacin lgica o o principal contiene unicamente 1. De manera anloga para enunciados contradictorios. a Son ejemplos de tautolog las siguientes: p p, (p (p q)) q as Si (A B) es una tautolog se dice que B es consecuencia lgica de A. a, o Si (A B) es una tautolog decimos que A y B son lgicamente equivalentes. Por medio a, o de las tablas de valores tenemos un mtodo para determinar si un enunciado es tautolgico e o o contradictorio, y para determinar si un enunciado es consecuencia lgica o si es lgicao o mente equivalente a otro. Post utiliza la siguiente terminolog decimos que un enunciado est contenido en otro a: a si el primero es obtenido del segundo mediante sustitucin de algunas de sus letras por o otros enunciados.

Proposicin 2. Cada enunciado contenido en una tautolog es una tautolog cada enuno a a; ciado contenido en una contradiccin es una contradiccin; cada enunciado contingente o o contiene para cada tabla de valores al menos un enunciado con esa tabla. Demostracin. Los primeros dos resultados son inmediatos. Para el tercero, consideremos o cualquier enunciado contingente f (p1 , . . . , pn ); ste tiene por lo menos una conguracin e o que produce 1, y por lo menos una conguracin que produce 0. Denotemos por ti el valor o correspondiente a pi para la primera conguracin y por ti el valor correspondiente a pi o en la segunda conguracin. Constru o mos una funcin (enunciado) i (p) con la siguiente o tabla de valores: p 1 0 i (p) ti ti

Entonces (p) = f (1 (p), 2 (p), . . . , n (p)) es un enunciado que tiene valor 1 cuando p es 1 y 0 cuando p es 0. Consideremos ahora una tabla de valores cualquiera de, por ejemplo, orden m. Por la proposicin anterior, existe un enunciado de orden m, g(q1 , . . . , qm ) correspondiente a esa o tabla. Entonces (g(q1 , . . . , qm )) es un enunciado contenido en f (p1 , . . . , pn ) correspondiente a la tabla considerada. Corolario 1. Cada enunciado contingente contiene al menos una tautolog y una cona tradiccin. o 1.2.3. Teorema de complecin o

Se puede ver la lgica de enunciados desde dos puntos de vista, como sistema formal y o como semntica de tablas de valores que dan un cierto signicado a los enunciados. Ser a a entonces deseable que los teoremas del sistema resulten ser las mismas tautolog As reas. sulta de hecho. La coincidencia entre los enunciados deducibles en el sistema y las tautolog constituye as el Teorema fundamental de la tesis de Post. Teorema 1. Una condicion necesaria y suciente para que un enunciado sea un teorema del sistema de Post es que desde su interpretacin semntica por tablas de valores sea una o a tautolog a. Demostracin. Notemos primero que cada uno de los axiomas del sistema es una tautolog o a. De manera que el unico mtodo que tenemos para producir enunciados demostrables nuevos e es a travs de sustituciones de las variables de enunciados, y del uso del primer esquema e de inferencia estoico . En el primer caso, slo se pueden obtener tautolog puesto que o as cada funcin obtenida por el proceso de sustitucin en una tautolog sigue siendo una o o a tautolog En el segundo caso, si A tiene valor 1 y B tiene valor 0, A B tiene valor 0, a. as que como A es una tautolog y A B es una tautolog , B debe ser tautolog De a a a. manera que por medio del primer esquema de inferencia estoico slo se pueden producir o 9

tautolog As cada funcin vlida en el sistema es una tautolog con lo cual hemos as. , o a a, mostrado la condicin necesaria. o Para probar la condicin suciente, se dene por recursin el rango de una funcin o o o lgica: un enunciado atmico se dice de rango 0, la negacin de una funcin de rango m o o o o es de rango m + 1, la conjuncin de dos funciones, el mximo de cuyos rangos es m es de o a rango m + 1. Post demuestra primero el teorema (p q) (f (p) f (q)), donde la funcin f o puede involucrar otros argumentos adems del indicado y no necesariamente involucra a aquel. El teorema es verdadero para una funcin de rango 0, pues se reduce o bien a o (p q) (p q) lo cual se sigue de p p, o bien a (p q) (r r) lo cual se sigue de p (q p), r r, sustitucin y primer esquema de inferencia estoico . o Asumamos que el teorema es vlido para funciones de rango a lo ms m. En tal a a caso, si f es una funcin de rango m + 1, podemos escribirla como g(p), o como o g1 (p) g2 (p), donde g, g1 y g2 son de rango m a lo sumo. El teorema se sigue, usando (p q) (p q) y el enunciado (p q) ((r s) ((p r) (q s))), junto con (p q) ((q r) (p r)), sustitucin y primer esquema de infereno cia estoico . Consideremos ahora cualquier funcin f (p1 , p2 , ..., pn ). Usando (p q) (p q) o y p p con la ayuda del teorema demostrado en la primera parte y el enunciado (p q) ((q r) (p r)), se obtiene que f (p1 , p2 , ..., pn ) es equivalente a una cierta funcin f (p1 , p2 , ..., pn ), la cual consta slo de combinaciones de p, p y las o o operaciones y . Aplicando la ley distributiva de la conjuncin a f , sta puede ser reducida a una o e funcin equivalente formada por sucesivas conjunciones de disyunciones de los ps y o los ps. Si una de estas conjunciones no tiene a pn o pn como factor, se puede introducir a travs del enunciado p p y el enunciado p (q (p q)). Se pueden e aplicar ahora las leyes conmutativa y asociativa de la disyuncin junto con p p p, o de modo que cada conjuncin tiene a lo sumo un pi y un pi . De nuevo usando la o ley distributiva para factorizar, junto con las leyes conmutativa y asociativa de la disyuncin, se llega a que f es equivalente a o (f1 (p1 , ..., pn1 ) pn pn ) ((f2 (p1 , ..., pn1 ) pn ) (f3 (p1 , ..., pn1 ) pn )) donde uno o ms de los trminos pueden no aparecer. a e Se asume ahora que la funcin original es tautolgica; entonces su funcin equivalente o o o es tautolgica. Si en particular es de primer orden, slo puede ser el enunciado p p o o o el enunciado (p p) (p p). El primero es una funcin tomada como vlida o a en el sistema, de igual manera el segundo es vlido, por medio de p (q p). De a

10

aqu que tambin f (p) es vlida, por medio de (p q) (q p); as que cada e a funcin tautolgica de primer orden es vlida en el sistema. o o a Asumamos ahora que sto es cierto para todas las funciones de orden menor o igual e a m y sea f una funcin tautolgica de orden m + 1. La funcin reducida es entonces o o o tautolgica, tanto f1 como f2 sern entonces tautolgicas y por tanto vlidas en el o a o a sistema. Haciendo uso de p (q (p q)), de ((p r) (p r)) (p (r r)), de p (s (p s)) y de p (q p) se muestra que la funcin reducida es vlida y o a asimismo f . De aqu que cada funcin tautolgica puede ser tomada como vlida en o o a el sistema y con esto queda demostrado el teorema.

1.2.4.

Consecuencias del teorema de complecin o

n

Es posible encontrar 22 funciones de orden n, tales que es imposible que dos de ellas sean equivalentes y tales que cualquier funcin de orden n sea equivalente a alguna de o n ellas. Tales funciones corresponden a las 22 tablas de valores de orden n. La equivalencia de cualesquiera dos de ellas no puede ser una tautolog y por lo tanto no puede ser un a teorema del sistema. De otra parte, cualquier funcin debe tener como tabla de valores una o n de las 22 tablas posibles y as su correspondiente equivalencia ser tautolgica y por tanto a o teorema. Se pueden hallar 22 funciones correspondientes a las 22 tablas de valores de orden n. El enunciado que expresa la equivalencia de cualesquiera dos de stas no ser tautolgico e a o y por lo tanto no es un teorema del sistema. Adems, cualquiera otra funcin de orden n a o n tendr como tabla de valores alguna de las 22 tablas posibles, de manera tal que la equiva alencia entre estas dos es un enunciado tautolgico y por tanto, un teorema del sistema. o Proposicin 3. El sistema de proposiciones elementales de Principia Mathematica es o consistente. Demostracin. Si no lo fuera, admitir como teoremas algn enunciado y su propia neo a u gacin. De modo que tanto ese enunciado como su negacin ser tautolog o o an as, lo cual contradice el hecho de que la negacin de una tautolog es una contradiccin. o a o
n n

2.

Algunas tautolog en lgicas con 2, 3 o 4 valores as o

Lukasiewicz, 1920, cre un clculo trivalente en lgica, es decir, un clculo para una o a o a lgica con 3 valores. Post introdujo en 1921 los clculos de enunciados n-valentes Ln , en o a los cuales se pueden asignar n valores a los enunciados. Para n = 2 tenemos el clculo a de enunciados clsico. Las lgicas plurivalentes son subsistemas del clculo de enunciados a o a clsico. a Para cada sistema Ln vamos a considerar como conjunto de valores semnticos a 1 n2 {0, n1 , ..., n1 , 1}.

11

Las deniciones de las interpretaciones de los conectivos son las que a continuacin se o presentan. Si denotamos con |p| el valor asignado al enunciado atmico p denimos: o |p| = 1 |p| |p q| = mx{|p|, |q|} a |p q| = m n{|p|, |q|} |p q| = m n{1, 1 |p| + |q|} A continuacin presentamos algunas de las tautolog de L2 que se preservan para cada o as Ln . Ejemplo 2.1. p p es tautolog en Ln , para cada n. a Esto es claro puesto que por la denicin de la operacin condicional, |p q| = 1 si p o o As |p p| = 1. , q.

Ejemplo 2.2. p p es tautolog en Ln , para cada n. a Puesto que |p| = 1 |p|, |p| = 1 (1 |p|) = |p|. De esta manera, |p p| = 1, siempre. Por la misma razn, p p es tambin tautolog en Ln , para cada n. o e a Ejemplo 2.3. p (p p) es tautolog en Ln , para cada n. a Como |p p| = m n{|p|, |p|} = |p|, |p (p p)| = |p p| = 1 Por la misma razn, (p p) p es tambin tautolog en Ln , para cada n. o e a Ejemplo 2.4. p (p p) es tautolog en Ln , para cada n. a Como |p p| = mx{|p|, |p|} = |p|, |p (p p)| = |p p| = 1 a Por la misma razn, (p p) p) es tambin tautolog en Ln , para cada n. o e a Ejemplo 2.5. (p q) p es tautolog en Ln , para cada n. a 1. Si |p| > |q|, |p q| = |q|, entonces |(p q) p| = |q p| = 1 2. Si |p| |q|, |p q| = |p|, de modo que |(p q) p| = |p p| = 1

Por un razonamiento completamente anlogo se puede ver que (p q) q es tautolog a a en Ln , para cada n. Ejemplo 2.6. p (p q) es tautolog en Ln , para cada n. a 1. Si |p| = 1, |p q| = 1, entonces |p (p q)| = 1 2. Si |p| = 0, por ser 0 el m nimo valor posible en cada Ln , |p (p q)| = 1 12

3. Si 0 < |p| < 1, entonces |p|

|p q|, y por lo tanto |p (p q)| = 1

De manera anloga, es posible demostrar que q (p q) es tautolog en Ln , para cada a a n. Ejemplo 2.7. El hecho de que mx{|p|, |q|} = mx{|q|, |p|} implica directamente el que a a los enunciados (p q) (q p) y (q p) (p q) sean tautolog en todos los Ln . as Anlogamente ocurre que del hecho de que m a n{|p|, |q|} = m n{|q|, |p|} se sigue el carcter a tautolgico de los enunciados (p q) (q p) y (q p) (p q), para todo Ln . o

13

p p El llamado tercio excluso, claramente t pico de la lgica bivalente. o La inclusin de un nmero mayor de valores da al traste con su carcter tautolgico en 2 o u a o valores, lo cual es intuitivamente natural. Es fcil ver que p p no es tautolog en Ln para todo n > 2, ya que si n > 2, siempre a a cabe la posibilidad de que 0 < |p| < 1, en cuyo caso tambin 0 < 1 |p| < 1 y, como e |p p| = mx{|p|, 1 |p|}, 0 < |p p| < 1, lo cual implica que en la tabla de valores a siempre existan valores diferentes de 1. p p Tautolog en L2 a 1 0 1 1 p No tautolog en L3 a 1
1 2

0 1 1
1 2

1 0 0
1 2

p 1
1 2

0 p 1 No tautolog en L4 a
2 3 1 3

1 1
2 3 2 3

1 0
1 3 2 3

0 p 1
2 3 1 3

14

(p p) p Es el llamado razonamiento por contradiccin, que de manera natural depende de la o bivalencia, aqu se hace claro con la prdida de la calidad de tautolog para 3 y 4 valores. e a ( p p ) p Tautolog en L2 a 1 0 ( No tautolog en L3 a p 1
1 2

0 1

0 1 0 1 1 0
2 3

1 0 0
1 2

1 1 p 1
1 2

0 1 1
1 2

1 0 0
1 2

p 1
1 2

0 ( No tautolog en L4 a p 1
2 3 1 3

1 0
1 3 2 3

0 p 1
2 3 1 3

1 ) 1
2 3 2 3

1 0
1 3 2 3

0 p 1
2 3 1 3

1 1

15

p (p q) En las siguientes tablas vemos que esta tautolog se preserva como lo demostramos en a el Ejemplo 2.6. p ( p q ) 1 Tautolog en L2 a 1 0 0 p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1 1 1 1 1 (

1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 0 1 1 1 1
1 2 1 2

1 0 1 0 q 1
1 2

0 1
1 2

0 1
1 2

0 0 0

0 0 0

1
1 2

16

p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1 1
2 3 2 3 2 3

q 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

1
2 3 1 3 1 3

0 1
2 3 1 3

0 0 0 0

0 0 0 0

1
2 3 1 3

17

q (p q) Esta tautolog se preserva para todo n. a 1. Si |p| > |q|, |p q| = 1|p|+|q|, entonces como 0 se tiene |q (p q)| = 1 2. Si |p| 1|p| y por tanto |q|

1|p|+|q|

|q|, se sigue |q (p q)| = 1 de manera inmediata. q 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ( ( p 1 1 0 0 p 1 1 1

1 2 1 2 1 2

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

Tautolog en L2 a

0 1 0 q 1
1 2

0 Tautolog en L3 a 1
1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0

1 1 1

18

q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
2 3 1 3

q 1
2 3 1 3

0 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

19

p (p q) Esta es una tautolog que tambin se preserva para todo n a e 1. Si |p| > |q|, |p q| = 1 |p| + |q|, entonces como 1 |p| |p (p q)| = 1 2. Si |p| |q|, se sigue |p (p q)| = 1 0 Tautolog en L2 a 0 1 1 0 0 0 Tautolog en L3 a
1 2 1 2 1 2

1 |p| + |q| se tiene

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1 1 1 1 1

p 1 1 0 0

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

p 1 1 1
1 2 1 2 1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

1 1 1

0 0 0

0 0 0

1 1 1

20

 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
2 3 1 3

q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

1 1 1
2 3

0 1
2 3 1 3

1 1 1 1

0 0 0 0

0 0 0 0

1 1 1 1

21

(p p) q ( Tautolog en L2 a p 1 1 0 0 ( 0 0 0 0 p 1 1 1 No tautolog en L3 a
1 2 1 2 1 2

0 0 1 1 0 0 0
1 2 1 2 1 2

p 1 1 0 0 0 0 0
1 2 1 2 1 2

1 1 1 1

q 1 0 1 0 1 1 1 1 1
1 2

p 1 1 1
1 2 1 2 1 2

q 1
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 0 0 0 0
1 3 1 3 1 3 1 3 1 3 1 3 1 3 1 3

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 ) 1 1 1 1 1 1 1
2 3

0 q 1
2 3 1 3

0 1
2 3 1 3

No tautolog en L4 a

0 1
2 3 1 3

1 1 1
2 3

0 1
2 3 1 3

0 0 0 0

0 0 0 0

1 1 1 1

0 0 0 0

1 1 1 1

22

((p q) p) q ( Tautolog en L2 a ( p 1 1 0 0 ( ( 1 1 1 0 p 1 1 1 No tautolog en L3 a

1 2 1 2 1 2

q 1 0 1 0 1 1 1 1
1 2 1 2

0 0 1 0

0 0 1 1 0 0 0
1 2 1 2 1 2

p 1 1 0 0 0 0 0
1 2 1 2 1 2

1 1 1 1

q 1 0 1 0 1 1 1 1 1
1 2

q 1
1 2

p 1 1 1
1 2 1 2 1 2

q 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0 ( ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
1 2

1
1 2

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 ) 1 1 1 1 1 1 1
2 3

0 1 1 1 1 1
2 3 2 3 2 3

0 q 1
2 3 1 3

0 ) 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 1 3 1 3

0 q 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

No tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1
2 3 1 3 1 3

1 1 1
2 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1
2 3 1 3

1
2 3 1 3

1 1 1 1

0 0 0 0

1 1 1 1

23

(p (p q)) q ( Tautolog en L2 a p 1 1 0 0 ( 1 0 0 0 p 1 1 1 No tautolog en L3 a

1 2 1 2 1 2

p 1 1 0 0

1 0 1 1 p 1 1 1
1 2 1 2 1 2

q 1 0 1 0 1
1 2

1 1 1 1

q 1 0 1 0 1 1 1 1 1
1 2

1
1 2

q 1
1 2

q 1
1 2

0
1 2 1 2 1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 1
2 3 1 3

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1 1 1 ) ) 1 1 1 1 1 1
2 3 2 3

0 q 1
2 3 1 3

0 q 1
2 3 1 3

0
2 3 2 3 2 3 1 3 1 3 1 3 1 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

No tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

1 1 1
2 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

0 0 0 0

0 0 0 0

1 1 1 1

1 1 1 1

24

p ((p q) q) p 1 Tautolog en L2 a 1 0 0 p 1 1 1 Tautolog en L3 a

1 2 1 2 1 2

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

p 1 1 0 0

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 0 ) 1 1 1 1
1 2 1 2

q 1 0 1 0 q 1
1 2

p 1 1 1
1 2 1 2 1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 ( ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1
1 2

0 q 1
2 3 1 3

0 ) 1 1 1 1 1
2 3 2 3 2 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

1
2 3 1 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

0 0 0 0

1 1 1 1

1
2 3 1 3

25

((p q) q) p ( Tautolog en L2 a ( p 1 1 0 0 ( ( p 1 1 1 No tautolog en L3 a

1 2 1 2 1 2

1 0 1 1

q 1 0 1 0 1
1 2

0 0 0 1

0 1 0 1 0
1 2

q 1 0 1 0 0
1 2

1 1 1 1

0 0 1 1 1
1 2

p 1 1 0 0 0 0 0
1 2 1 2 1 2

q 1
1 2

q 1
1 2

p 1 1 1
1 2 1 2 1 2

0 1 1
1 2

0 1
1 2

0 0
1 2 1 2

1 0
1 2

0 1
1 2

1 1 1 1 1 1 1 ) 1
2 3 2 3

0 1
1 2

1 0
1 2

0 1
1 2

0 0 0 ( ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

0
1 2

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

1 ) 0
1 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

0 0
1 3 2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1
2 3

No tautolog en L4 a

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1 1 1 1 1 1 1

1 1 1
2 3

0
1 3 2 3 2 3

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0
1 3 2 3

1 1 1 1

0 0 0 0

26

(p q) (q p) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

1 1 1 0 1 1 1 1
1 2 1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

q 1 0 1 0

1 1 1 0 1 1 1 1
1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

q 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
1 2

1
1 2

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 1 1 1 1 1
2 3 2 3 2 3

0 q 1
2 3 1 3

0 ( q 1
2 3 1 3

0 1 1 1 1 1
2 3 2 3 2 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

0 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1
2 3 1 3 1 3

1
2 3 1 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1
2 3 1 3

1
2 3 1 3

0 0 0 0

27

(p q) (q p) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

1 0 0 0 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

q 1 0 1 0

1 0 0 0 1
1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

q 1
1 2

0
1 2 1 2

0 1
1 2

0 1
1 2

0
1 2 1 2

0 0 0 0 q 1
2 3 1 3

0 1
1 2

0 1
1 2

0 0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 )

0 ) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 (

0 q 1
2 3 1 3

1
2 3 1 3

1
2 3 1 3

0
2 3 2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

0
2 3 2 3 1 3

Tautolog en L4 a

0
1 3 1 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

0
1 3 1 3 1 3

0 0 0 0 0

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0 0

0 0 0 0

0 0 0 0

28

(p q) (q p) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

q 1 0 1 0

1 1 0 1 1 1 1
1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

q 1
1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

1 1 0
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

0 ( q 1
2 3 1 3

1 1 1 1 1
2 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

0 1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
1 3 2 3

Tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

1 1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0 0 0 0

29

(p q) (p q) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 No tautolog en L3 a
1 2 1 2 1 2

1 0 1 1

q 1 0 1 0 1
1 2

1 1 1 1

p 1 1 0 0

0 1 1 1 p 1 1 1
1 2 1 2 1 2

0 1 0 1 0
1 2

q 1 0 1 0 0
1 2

q 1
1 2

1
1 2

q 1
1 2

0 1 1
1 2

0 1
1 2

1 1 1 1 1 1 1 ) 1
2 3 2 3

1
1 2

1 0
1 2

0 1
1 2

1 1 1 1 1 0
1 3 2 3

0 1
1 2

1 0
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1

1
1 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1
2 3

No tautolog en L4 a

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1
2 3

1 1 1 1 1 1 1

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0 0 0 0

30

(p q) (p q) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 No tautolog en L3 a
1 2 1 2 1 2

1 0 1 1

q 1 0 1 0 1
1 2

1 1 1 1

0 0 1 1

p 1 1 0 0 0 0 0
1 2 1 2 1 2

1 0 1 1 p 1 1 1
1 2 1 2 1 2

q 1 0 1 0 1
1 2

q 1
1 2

1 1 1 1
1 2

q 1
1 2

0 1 1
1 2

0 1
1 2

0 1
1 2 1 2

0 1
1 2

0 1
1 2

1 1 1 1 ) 1 1 1 1 1
2 3 2 3

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

0 q 1
2 3 1 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3 1 3

0 1
2 3 1 3

No tautolog en L4 a

0 1
2 3 1 3

1 1
2 3 2 3

0 1
2 3 1 3

1 1 1
2 3

1
2 3 2 3 2 3

0 1
2 3 1 3

1 1 1 1 1

0 1
2 3 1 3

0 0 0 0

1 1 1 1

1 1 1 1

0 0 0 0

1 1 1 1

31

((p q) p) p ( Tautolog en L2 a ( p 1 1 0 0 ( ( p 1 1 1 No tautolog en L3 a

1 2 1 2 1 2

1 0 1 1

q 1 0 1 0 1
1 2

1 1 0 0

p 1 1 0 0 1 1 1
1 2 1 2

1 1 1 1

p 1 1 0 0 1 1 1 1 1
1 2

q 1
1 2

p 1 1 1
1 2 1 2 1 2

p 1 1 1
1 2 1 2 1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

1 0 0 0 ) 1 1 1 1
2 3 2 3

0 0 0 ( ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 ) 1 1 1 1 1 1
2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

1 1
1 3 1 3 1 3 2 3

No tautolog en L4 a

0 1
2 3 1 3

1 1 1
2 3

1 1 1
2 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0 0 0 0

0 0 0 0

1 1 1 1

0 0 0 0

32

(p q) (p q) 0 Tautolog en L2 a 1 1 1 0
1 2

p 1 1 0 0

1 0 0 0 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

0 0 1 1

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

0 1 1 1 0
1 2

0 1 0 1 0
1 2

q 1 0 1 0 q 1
1 2

p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

0 0 0
1 2 1 2 1 2

1 Tautolog en L3 a
1 2 1 2

0
1 2 1 2

0 1
1 2

1
1 2 1 2

1 0
1 2

0 1
1 2

1 1 1 1 0
1 3 2 3

0 0 0 0 1
2 3 1 3

0 1
1 2

1 1 1 1 0
1 3 2 3

1 0
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1
1 3 1 3 2 3

0
2 3 2 3 1 3

0 1
2 3 1 3

1
1 3 1 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

Tautolog en L4 a

1
2 3 2 3 2 3

0
1 3 1 3 1 3

0 1
2 3 1 3

1
2 3 2 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1 1 1

0 0 0 0 0

0 1
2 3 1 3

1 1 1 1 1

1 0
1 3 2 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0 0 0 0

33

(p q) (p q) ( Tautolog en L2 a 0 0 1 1 ( 0 0 0 Tautolog en L3 a
1 2 1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

0 1 1 1 0
1 2

0 1 0 1 0
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

0 1 1 1 0
1 2

p 1 1 0 0

1 0 0 0 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1 1 1 1 1 1

p 1 1 1
1 2 1 2 1 2

1
1 2 1 2

1 0
1 2

0 1
1 2

1
1 2 1 2

0
1 2 1 2

0 1
1 2

1 1 1 1 0
1 3 2 3

1 0
1 2

0 1
1 2

1 1 1 1 0
1 3 2 3

0 0 0 0 1
2 3 1 3

0 1
1 2

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1
1 3 1 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

1
1 3 1 3 2 3

0
2 3 2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

1
2 3 2 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

1
2 3 2 3 2 3

0
1 3 1 3 1 3

0 1
2 3 1 3

1 1 1 1 1

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1 1 1

0 0 0 0 0

0 1
2 3 1 3

1 1 1 1

0 0 0 0

0 0 0 0

34

(p q) (p q) 0 Tautolog en L2 a 0 0 1 0 0 0 Tautolog en L3 a 0
1 2 1 2

p 1 1 0 0

1 1 1 0 1 1 1 1
1 2 1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

0 0 1 1

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

0 0 0 1 0 0 0 0
1 2 1 2

0 1 0 1 0
1 2

q 1 0 1 0 q 1
1 2

p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

0 0 0
1 2 1 2 1 2

0 1
1 2

1 0
1 2

0 1
1 2

0 1
1 2

1 0
1 2

0 1
1 2

0
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
1 2

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0
1 2

1 0 0 0 0 0
1 3 1 3 1 3

0 1 1 1 1 1
2 3 2 3 2 3

0 q 1
2 3 1 3

1 0 0 0 0 0
1 3 1 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0
1 3 2 3 2 3

1
2 3 1 3 1 3

0
1 3 2 3 2 3

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0
1 3 2 3

0 0 0 0

1
2 3 1 3

1 1 1 1

0 0 0 0

0
1 3 2 3

35

(p q) (p q) ( Tautolog en L2 a 0 0 1 1 ( 0 0 0 Tautolog en L3 a
1 2 1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

0 0 0 1 0 0 0 0
1 2 1 2

0 1 0 1 0
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

0 0 0 1 0 0 0 0
1 2 1 2

p 1 1 0 0

1 1 1 0 1 1 1 1
1 2 1 2

q 1 0 1 0 q 1
1 2

1 1 1 1 1 1 1 1 1

p 1 1 1
1 2 1 2 1 2

1 0
1 2

0 1
1 2

0 1
1 2

1 0
1 2

0 1
1 2

0 1
1 2

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0
1 2

0
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
1 2

1 0 0 0 0 0
1 3 1 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

1 0 0 0 0 0
1 3 1 3 1 3

0 1 1 1 1 1
2 3 2 3 2 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

0
1 3 2 3 2 3

0
1 3 2 3 2 3

1
2 3 1 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1 1

0 0 0 0

0
1 3 2 3

0
1 3 2 3

0 0 0 0

1
2 3 1 3

36

(p q) (q p) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

0 1 0 1

q 1 0 1 0 q 1
1 2

1 0 1 1 1
1 2

0 0 1 1 0 0 0
1 2 1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

0
1 2

0 1 1
1 2

0 1
1 2

1 0
1 2

0 1
1 2

0 1 1
1 2

0 1
1 2

1 0
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1 1 1 1
2 3 1 3

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 q 1
2 3 1 3

1 ( 0
1 3 2 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

0 1 1
2 3 1 3

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0 1 1
2 3 1 3

Tautolog en L4 a

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

1 1 1
2 3

1 1 1
2 3

0 1
2 3 1 3

1 0
1 3 2 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

1 1 1 1

1 1 1 1

0 0 0 0

37

(q p) (p q) ( Tautolog en L2 a 0 1 0 1 ( 0
1 2

q 1 0 1 0 q 1
1 2

1 0 1 1 1
1 2

0 0 1 1 0 0 0
1 2 1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1

p 1 1 0 0

1 0 1 1 1
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1 1 1 1 1 1

p 1 1 1
1 2 1 2 1 2

1 Tautolog en L3 a 0
1 2

0 1
1 2

0 1 1
1 2

0 1 1
1 2

0 1
1 2

1 0
1 2

0 1
1 2

0 1
1 2

1 1 1 1
2 3 1 3

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1 ( 0
1 3 2 3

0 q 1
2 3 1 3

0 q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1 0
1 3 2 3

0 1
2 3 1 3

0 1 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

Tautolog en L4 a

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

1 1 1
2 3

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1 1

1 1 1 1

0 0 0 0

0 0 0 0

1 1 1 1

38

(p q) (q p) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 Tautolog en L3 a
1 2 1 2 1 2

0 1 1 1 0
1 2

0 1 0 1 0
1 2

q 1 0 1 0 q 1
1 2

1 1 1 1

q 1 0 1 0

0 1 1 1 0
1 2

0 0 1 1 0 0 0
1 2 1 2 1 2

p 1 1 0 0 p 1 1 1
1 2 1 2 1 2

1 1 1 1 1 1 1 1 1

q 1
1 2

1
1 2

1 0
1 2

0 1
1 2

0 1
1 2

1
1 2

1 1 1 1 1 0
1 3 2 3

1 1 1 1 1 0
1 3 2 3

1 0
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 0
1 3 2 3

0 q 1
2 3 1 3

0 ( q 1
2 3 1 3

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1
1 3 2 3

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

1
1 3 2 3

1 1
2 3

1 1
2 3

Tautolog en L4 a

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1 1 1 1 1

1 1 1 1 1 1 1

1 0
1 3 2 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

0 0 0 0

39

(p q) (p q) ( Tautolog en L2 a p 1 1 0 0 ( p 1 1 1 No tautolog en L3 a
1 2 1 2 1 2

1 0 1 1

q 1 0 1 0 1
1 2

1 1 1 1

0 0 1 1

p 1 1 0 0 0 0 0
1 2 1 2 1 2

1 1 1 0 p 1 1 1
1 2 1 2 1 2

q 1 0 1 0 1 1 1 1 1
1 2

q 1
1 2

1 1 1 1 1
1 2

q 1
1 2

0 1 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 1
1 2

0 0 0 ( p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1 1 1 1
2 3 1 3

1 1 1 ) 1 1 1 1 1 1 1
2 3

1 1 1 ( 0 0 0 0
1 3 1 3 1 3 1 3 2 3 2 3 2 3 2 3

0 0 0 p 1 1 1 1
2 3 2 3 2 3 2 3 1 3 1 3 1 3 1 3

1
1 2

0 q 1
2 3 1 3

0 1 1 1 1 1 1 1
2 3

0 q 1
2 3 1 3

0 1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

No tautolog en L4 a

0 1
2 3 1 3

0 1
2 3 1 3

1 1 1
2 3

1 1 1
2 3

1 1
2 3 1 3

0 1
2 3 1 3

0 1
2 3 1 3

0 0 0 0

1 1 1 1

1 1 1 1

1 1 1 1

0 0 0 0

1
2 3 1 3

40

Observaciones
Para enunciados con a lo ms 2 letras, las leyes clsicas sobre el comportamiento de a a y se mantienen, es decir, siguen siendo tautolog para lgicas de ms de 2 valas o a ores. Hay excepciones claras como es el caso de p p, y que ponen de maniesto dos hechos relevantes que contribuyen a la no preservacin de las tautolog (al menos o as para el caso de tautolog con no ms de 2 letras) los cuales son, por una parte la as a inclusin de ms de 2 valores, que choca fuertemente con ciertas tautolog de L2 o a as que dependen seriamente de la dualidad 0, 1; por otra parte, tenemos la denicin o del condicional en estas nuevas lgicas, el cual pierde propiedades importantes como o (p q) (p q) y que es, por tanto, causante de que muchas tautolog de L2 as que involucran el condicional dejen de serlo en Ln para n > 2. Una caracterizacin general de las tautolog que se preservan en las lgicas Ln o as o para n > 2, requiere un estudio ms complejo de las operaciones lgicas vistas desde a o sus tablas de valores, las cuales para cada n pueden considerarse como aplicaciones n2 1 1 u de {0, n1 , ..., n1 , 1}m en {0, n1 , ..., n2 , 1} donde m es el nmero de enunciados n1 atmicos sobre los cuales acta la operacin. o u o En el contexto de la composicin abstracta de esas aplicaciones el objetivo es ver o las condiciones bajo las cuales, por composicin de operaciones lgicas en Ln se obo o tiene la aplicacin constante 1 (es decir, la funcin que a cada sucesin de valores en o o o n2 1 {0, n1 , ..., n1 , 1}m le asigna el valor 1). Acercarse al problema desde ese punto de vista signica ir gradualmente extrayendo informacin desde los enunciados ms sencillos hasta los ms complejos y (si es posio a a ble), caracterizar el paso de grado en grado de alguna manera. Esto podr hacerse a viendo cmo evolucionan las tablas de valores a medida que aumentamos el nmero o u de letras, el nmero de operaciones y claro, el nmero de valores semnticos. u u a Puede ser que haya una manera ms sencilla de abordar la bsqueda ya que el mtodo a u e que menciono no toma en cuenta, por ejemplo, hechos como: Si T es tautolog y A es cualquier enunciado, entonces A T , T A y T A son a tambin tautolog Sin embargo no se ve cmo inuir esta ultima circunstancia en e as. o a la bsqueda general que habr que hacer, es decir, cmo deber ser el procedimiento u a o a de trabajo, dando cuenta de aquel hecho y de manera que se simplique la bsqueda. u

41

Bibliograf a
[1] Cignoli, Roberto et al. Algebras das lgicas de Lukasiewicz. Campinas, UNICAMP, o 1994. [2] Haack, Susan. Lgica divergente. Madrid. Paraninfo, 1980. o [3] Hilbert, David y Ackermann, Wilhelm. Elementos de lgica terica. Madrid. Tecnos, o o 1962. [4] Lewis, Clarence I. y Langford, Cooper H. Symbolic Logic. New York, 1959. [5] Lorenzen, Paul. Metamatemtica. Madrid. Tecnos, 1971. a [6] Post, Emil. Introduction to a general theory of elementary propositions. En From Frege to Gdel, ed. Heijenoort, Jan. Harvard U.P., 1967. o

42