LGICA PROPOSICIONAL

Universidad de Crdoba

Grupo de Investigacin AVI Ambientes Virtuales Interactivos

Basado: Proposiciones Lgicas Csar Antonio Rodrguez Moreno. 2007

LGICA PROPOSICIONAL LEGUAJE NATURAL, LEGUAJE ARTIFICIAL Y LENGUAJE FORMAL Los lenguajes naturales, es decir, las distintas lenguas que habitualmente utilizan los miembros de distintas comunidades humanas para comunicarse, poseen, como todo lenguaje, un conjunto de smbolos (lxico) y una serie de reglas para manejarlos (sintaxis) y operar con ellos (formacin, concatenacin y transformacin de oraciones). Todos los lenguajes naturales son el producto de muchos siglos de evolucin y son tan infinitamente ricos en matices que los mismos smbolos o expresiones pueden significar cosas diferentes en funcin factores tales como el contexto, la entonacin, la situacin, etc. Estas ambigedades, dobles sentidos, vaguedades, relajacin en el uso de las reglas nos permiten construir paradojas, chistes, metforas, poemas, etc. Los lenguajes naturales poseen, sin duda, una gran riqueza y capacidad expresiva que resulta deseable, pero en determinados momentos es preferible un lenguaje menos ambiguo y, por tanto, ms preciso y operativo. Para el uso cientfico, por ejemplo, los lenguajes naturales presentan ciertas deficiencias: desde el punto de vista del lxico, falta de univocidad; desde el punto de vista de la sintaxis, relajacin en las reglas; y desde el punto de vista operacional, dificultad para realizar cualquier clculo. Por este motivo, las distintas ciencias construyen lenguajes artificiales, asignando a sus smbolos significados precisos y unvocos, y estableciendo con precisin reglas operativas eficaces que permitan construir razonamientos fiables. Se trata de ganar en exactitud y seguridad a costa de perder en expresividad. La Fsica y la Qumica, por ejemplo, usan este tipo de lenguaje de forma que una expresin tan metafrica como el tiempo es oro, al traducirla a tal lenguaje t = Au pierde todo su sentido. Por eso, tales lenguajes slo se emplean en campos muy restringidos. Incluso puede haber ocasiones en las que el significado de los smbolos no nos interese, sino ms bien las relaciones que podamos establecer entre dichos smbolos, como por ejemplo ocurre en las Matemticas y la Lgica. Decimos entonces que estamos ante un lenguaje formal, porque slo interesa la forma, no el contenido o significado emprico de sus smbolos. Lo nico que cuenta es que la utilizacin de los smbolos, las frmulas y las operaciones se ajuste a las reglas establecidas. 2

LAS PROPOSICIONES Y LA LGICA PROPOSICIONAL Todos los lenguajes estn construidos a partir de combinaciones de signos que reciben el nombre de expresiones. Pero no cualquier combinacin es vlida, sino que dicha combinacin debe realizarse de acuerdo con una serie de reglas gramaticales (morfolgicas, sintcticas, etc.). Cuando una expresin del lenguaje natural es gramaticalmente correcta y tiene un sentido completo recibe el nombre de oracin. Hay muchos tipos de oraciones en los lenguajes naturales: enunciativas, desiderativas, de posibilidad, dubitativas, exhortativas, interrogativas, exclamativas, etc. Aqu nos interesan las oraciones enunciativas, tambin llamadas enunciados o proposiciones, que son aquellas oraciones que afirman o niegan algo y que, por tanto, pueden ser verdaderas o falsas. La Lgica proposicional (denominada tambin Lgica de enunciados) se ocupa de las proposiciones. Tanto lgica como gramaticalmente, las oraciones pueden ser sometidas a anlisis. Tomemos, por ejemplo, la proposicin Las moscas son insectos. Gramaticalmente podemos analizar esta oracin comenzando por distinguir un sujeto y un predicado. Lgicamente podemos analizarla sealando que en ella se establece una relacin entre dos clases o conjuntos, en cuyo caso la interpretaremos como afirmacin de que los miembros de la clase de las moscas son tambin miembros de la clase de los insectos: as se hace en la Lgica de clases. Pero en la Lgica proposicional las proposiciones no se analizan, sino que se toman como un todo, en bloque. Las proposiciones son los elementos ltimos sobre los cuales opera esta rama de la Lgica. Las proposiciones Las moscas son insectos y La Tierra es un planeta son proposiciones simples. En cambio, Las moscas son insectos y la Tierra es un planeta y Si las moscas son insectos, entonces la Tierra es un planeta son proposiciones complejas. Una proposicin simple es aquella que no puede descomponerse en partes que, a su vez, sean proposiciones. Las proposiciones simples se denominan tambin atmicas. Una proposicin compleja tambin denominada molecular es aquella que puede descomponerse en proposiciones simples. Las proposiciones complejas se componen, 3

pues, a partir de proposiciones simples por medio de partculas como y, si entonces, etc., que sirven para conectar o unir proposiciones entre s. EL RAZONAMIENTO. VERDAD Y VALIDEZ Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciados iniciales (premisas) y siguiendo unas reglas determinadas, se infiere una conclusin. Se dice que el razonamiento es vlido si la conclusin se deduce necesariamente de las premisas. En ese caso, si las premisas son verdaderas, entonces la conclusin tambin ser necesariamente verdadera. Un razonamiento, por tanto, es o no vlido en virtud de su forma o estructura, no en virtud de la verdad o falsedad de las premisas. Los enunciados pueden ser verdaderos o falsos, pero los razonamientos slo pueden ser vlidos o no vlidos, correctos o incorrectos. Sin embargo, podramos decir que en el xito de un razonamiento influyen dos factores: la verdad de las premisas y la correccin o validez en la aplicacin de las reglas usadas para inferir la conclusin.
RAZONAMIENTO VLIDO CON PREMISAS VERDADERAS P1: Todos los perros son mamferos. P2: Todos los caniches son perros. C: Todos los caniches son mamferos. RAZONAMIENTO NO VLIDO CON PREMISAS VERDADERAS P1: Todos los primates son mamferos. P2: C: Todos Todos los los gatos gatos son son mamferos. primates. P1: RAZONAMIENTO VLIDO CON PREMISAS FALSAS Todos los perros son reptiles. P2: Todos los gatos son perros. C: Todos los gatos son reptiles.

La Lgica slo se ocupa de la validez de los razonamientos deductivos, pero no de la verdad o falsedad de sus enunciados. Por ello decimos que la Lgica es una ciencia formal. TIPOS DE LGICA Hemos dicho que una proposicin o enunciado es una oracin (expresin con sentido completo y gramaticalmente correcta) que afirma o niega algo, es decir, que puede ser verdadera o falsa. Slo son enunciados aquellas expresiones que poseen ambas propiedades:

SON PROPOSICIONES Coln descubri Amrica. (V) Un mes tiene 237 das. (F) Pedro tiene hambre. (?)

NO SON PROPOSICIONES (Ni V ni F) Ojal llueva! Qu hora es? Cierra la puerta.

NO SON PROPOSICIONES (Sin significado) Hora ojal! Pedro y llueva. 237 un tiene da.

La verdad o falsedad de las proposiciones atmicas depende de su correspondencia con la realidad, es decir, depende de la experiencia. La verdad o falsedad de las proposiciones moleculares depende tanto del valor veritativo de sus proposiciones atmicas como del tipo de relacin que las une. Por ejemplo, la verdad de la proposicin Voy al cine slo depende de si voy efectivamente al cine o no, y la verdad de la proposicin Me llama mi novia depende de si mi novia me llama realmente o no. Pero si digo Si me llama mi novia entonces voy al cine, o digo O me llama mi novia o voy al cine, ambas proposiciones pueden ser verdaderas aunque no vaya al cine o no me llame realmente mi novia, porque la relacin que une ambas proposiciones atmicas no exige que ambas sean verdaderas a la vez. Slo la proposicin Me llama mi novia y voy al cine exige, para ser verdadera, que las proposiciones atmicas que la componen sean verdaderas. Las distintas partes de la Lgica dependen del tipo de anlisis que hacen de las proposiciones, de forma que tenemos: Lgica Proposicional o de Enunciados: Como ya sabemos, toma las proposiciones como un bloque, sin descomponerlas en sujeto y predicado, teniendo como elementos ms simples las proposiciones atmicas, y ocupndose de las relaciones que se pueden establecer entre ellas. Lgica de Predicados: A veces no es suficiente tomar las proposiciones como un bloque y hay que descomponerlas en sujeto y predicado. Esto hace esta parte de la lgica, que trata los predicados desde el punto de vista intensional, es decir, como atribucin de una propiedad a un sujeto. Lgica de Clases: Adopta el punto de vista de la extensin (conjunto de individuos a los que el predicado se aplica), interpretando los enunciados como operaciones con clases de conjuntos. 5

Lgica de Relaciones: Estudia aquellos predicados que no se atribuyen a un individuo absolutamente sino en comparacin con otro.

LOS ELEMENTOS DE LA LGICA PROPOSICIONAL Todo lenguaje consta de una serie de smbolos, un conjunto de reglas de formacin que determinan cmo pueden combinarse estos smbolos para construir expresiones gramaticalmente bien formadas y, por ltimo, un conjunto de reglas de transformacin, que indican cmo podemos pasar correctamente de unas expresiones bien formadas a otras. En un juego como el ajedrez, por ejemplo, los smbolos seran las 32 piezas y el tablero (un tenedor no es una pieza de ajedrez sino de cubertera); las reglas de formacin determinaran el lugar que debe ocupar cada pieza en el tablero (un alfil colocado en la estantera no cumple las reglas de formacin); por ltimo, las reglas de transformacin indicaran los movimientos que cada pieza puede realizar (un caballo arrojado a la pared o movido en diagonal no cumple dichas reglas). Tambin en el lenguaje natural tenemos un conjunto de smbolos (palabras, letras, signos de puntuacin, etc.), una serie de reglas de formacin que permiten construir expresiones con sentido u oraciones, y unas reglas de transformacin que permiten pasar de unas expresiones a otras (sabemos, por ejemplo, que la proposicin El gato se comi al ratn puede sustituirse por El ratn fue comido por el gato). Los elementos del clculo proposicional son los siguientes: SMBOLOS: o Variables proposicionales o letras enunciativas: Para simbolizar las proposiciones atmicas se recurre a las letras minsculas del alfabeto a partir de la m o de la p: m, n, o, p, q, r, s, etc. Cada letra simboliza una proposicin atmica cualquiera. Cuando se hace un uso metalingstico (por ejemplo, al expresar las reglas lgicas) se usan las primeras letras del abecedario en maysculas: A, B, C, etc. o Constantes lgicas, operadores o conectores: Son smbolos que denotan relaciones y operaciones lgicas. Sirven para establecer conexiones entre los enunciados, por lo que se denominan conectores o conectivas. En las lenguas naturales esta funcin conectiva es desempeada por las conjunciones. Puesto que el tipo de relacin que cada partcula conectiva establece es fijo, los smbolos correspondientes son denominados 6

constantes lgicas. Las constantes lgicas ms usuales en la Lgica proposicional son las siguientes: El negador (): Es la nica constante que se aplica a un solo enunciado cambindole su valor veritativo, y equivale a la negacin del lenguaje natural. As, si A es verdadera, A es falsa, y viceversa. Se lee: no, no es el caso que. El conjuntor (.): Corresponde a la conjuncin y del lenguaje natural y lo que hace es dar lugar a una proposicin molecular que es verdadera solamente cuando son verdaderas las proposiciones atmicas que la componen. El disyuntor (V): Corresponde a la conjuncin o del lenguaje natural y lo que hace es dar lugar a una proposicin molecular que es verdadera cuando una de las proposiciones atmicas que la componen o ambas son verdaderas. El implicador o condicional (): Corresponde a la expresin si... entonces del lenguaje natural y lo que hace es afirmar que si el primero de los enunciados (antecedente) es verdadero, el segundo (consecuente) necesariamente tambin lo es (es decir, lo que no puede darse es el caso de que el antecedente sea verdadero y el consecuente falso). La frmula a que da lugar ser verdadera siempre que no ocurra que el antecedente sea verdadero y el consecuente falso. El coimplicador o bicondicional (): Corresponde a la expresin si, y slo si... entonces del lenguaje natural y lo que hace es afirmar que si el primero de los enunciados es verdadero, el segundo tambin lo es, y que si el primero de los enunciados es falso, el segundo tambin lo es. La frmula a que da lugar slo ser verdadera siempre que las proposiciones que la componen tengan el mismo valor de verdad (ambas verdaderas, ambas falsas). 7

Smbolos auxiliares: Parntesis, corchetes, llaves, etc., para determinar el alcance de los conectores. Si no hay parntesis, hay una jerarqua para determinar el signo dominante (1, 2 , 3 V). Ejemplo: p r V q es lo mismo que p (r V q).

REGLAS DE FORMACIN: Son todas las reglas que establecen cmo deben combinarse correctamente los smbolos de este lenguaje formal. A toda expresin formada correctamente segn estas reglas se le llama frmula. Las reglas de formacin del clculo proposicional son las siguientes: o Una letra enunciativa es una frmula bien formada. Ejemplo: p, q, r, s, t, etc. o Si A es una frmula, A tambin lo es. Ejemplo: p, q, r, etc. o Si A y B son frmulas, entonces A V B, A B, A B y A B tambin lo son. Ejemplo: p q, p V q, p (r s), (p q) (p V q), etc. o No hay ms frmulas bien formadas si no son segn las reglas anteriores. 8

REGLAS DE TRANSFORMACIN: Llamadas tambin reglas de inferencia porque son las que determinan la forma en que podemos pasar correctamente de unas frmulas bien formadas a otras equivalentes, para as poder construir razonamientos vlidos. Son, por lo tanto, necesarias para poder realizar deducciones lgicas. Por el momento dejaremos estas reglas que ya trataremos en la parte dedicada a la deduccin.

SEMNTICA DE LA LGICA PROPOSICIONAL FORMALIZACIN O SIMBOLIZACIN La formalizacin de un lenguaje es una operacin consistente en traducir las expresiones de ese lenguaje por smbolos, en nuestro caso por smbolos del clculo proposicional, de manera que los enunciados del lenguaje natural se transformen en frmulas con las que resulte ms fcil operar para comprobar la validez de los razonamientos. Puesto que ya conocemos los smbolos de la Lgica proposicional, veamos a continuacin su correspondencia con el lenguaje natural.

Las variables proposicionales (m, n, p, q, r, s, t,) se usan para simbolizar las proposiciones simples del lenguaje natural. Ejemplos: Pedro es un buen estudiante = p Llueve = q Debajo de la bveda se ve un retablo con un lienzo ennegrecido = r El negador () se usa para simbolizar expresiones del lenguaje natural tales como no, no es el caso que, es falso que, no es posible que, es imposible que, Cuando afecta a una proposicin simple se pone simplemente delante de ella, pero cuando afecta a una proposicin compleja, sta debe ir entre parntesis y el negador delante del mismo. Adems, existen ocasiones en las que un negador puede afectar a otro negador. Ejemplos: Pedro no es un buen estudiante = p No es verdad que estudie todos los das = q Es imposible que maana no vaya a clase = r Es falso que si el alumno se copia sea imposible que apruebe = (s t) El conjuntor () se usa para simbolizar la conjuncin y del lenguaje natural y lo que hace es afirmar que los dos enunciados que conecta son verdaderos. Por eso, hay adems otras conjunciones del lenguaje natural (pero, aunque, tambin, adems, ni, etc.) que poseen su mismo valor lgico, por lo que tambin pueden sustituirse por el mismo smbolo. Ejemplos: Juan camina y Pedro descansa = p q Los tejados son de pizarra y las puertas de madera = r s Me van bien los estudios pero no apruebo = t u 9

Aunque me rechaces, te querr siempre y no te olvidar = m (n p) El disyuntor (V) se usa para simbolizar la conjuncin o del lenguaje natural (y otras equivalentes como bien, sea sea, ya ya, etc.) y lo que hace es afirmar que al menos uno de los dos enunciados que conecta es verdadero. Ejemplos: Se solicita abogado o contable = p V q Me entero de la situacin poltica leyendo El Pas o La Vanguardia = p V q No es cierto que vaya a salir el jueves o el viernes = (p V q) Normalmente la disyuncin tiene un sentido inclusivo (al menos uno de los dos enunciados que conecta es verdadero, pero pueden serlo los dos), pero en algunas ocasiones se emplea la disyuncin exclusiva, que significa que slo uno de los dos enunciados es verdadero (o uno o el otro, pero no ambos). Para expresar este tipo de relacin entre las proposiciones se puede usar el coimplicador negado. El implicador () se usa para simbolizar la expresin si entonces del lenguaje natural (y otras equivalentes como por lo tanto, en consecuencia, luego, etc.) y lo que hace es afirmar que en el caso de que el primero de los enunciados (antecedente) sea verdadero, el segundo (consecuente) necesariamente tambin lo ser (no puede darse el caso de que el antecedente sea verdadero y el consecuente falso). Al formalizar los enunciados es necesario descubrir la relacin lgica que existe entre ellos y no fiarse siempre de las apariencias. Por ejemplo, la proposicin Estudia y aprobars es equivalente a Si estudias entonces aprobars por lo que hay que formalizarla con el implicador, no con el conjuntor. Adems no tiene por qu haber una conexin real entre ambas proposiciones, slo que se cumpla esta relacin lgica. Ejemplos: Si Coln descubri Amrica entonces los gusanos son invertebrados = p q Cuando hay abundancia, nadie muere de hambre = p q Eres licenciado de modo que es imposible que no sepas leer ni escribir = p ( r q) El coimplicador () corresponde a la expresin si y slo si entonces del lenguaje natural (y a otras equivalentes como ... es igual a..., es lo mismo que..., ... equivale a..., etc.) y lo que hace es afirmar que ambos enunciados tienen el mismo 10

valor veritativo: si el primero es verdadero, el segundo tambin lo es, y si es falso, tambin lo es el segundo. Ejemplos: Slo estudiar si t lo haces tambin = p q Slo si no has tenido una experiencia traumtica puedes ser feliz = p q Proposiciones simples lingsticamente diferentes pero que vengan a expresar lo mismo han de ser formalizadas mediante la misma variable proposicional. Es importante identificar todas las negaciones que puedan aparecer en el texto a formalizar y utilizar convenientemente el negador. Conviene tener presente que las negaciones no siempre aparecen al comienzo de un enunciado sino intercaladas en el mismo (p.e., Hoy no hace calor= p). Tambin conviene tener presente que determinadas ocurrencias de la doble negacin en espaol expresan en realidad una simple negacin (p.e., No quiero ni pensar en ello= p). Por ltimo, es importante identificar cundo un enunciado en forma afirmativa expresa en realidad la negacin de otro enunciado que aparece en el mismo texto a formalizar (p.e., Si Juan aprueba el examen, se ir a las Bahamas; pero si suspende, se quedar en casa deprimido = (p q) ( p r)). LAS TABLAS DE VERDAD Una vez que hemos formalizado una proposicin resulta mucho ms fcil operar con ella. Lo primero que podemos hacer con ella es averiguar en qu casos es verdadera y en qu casos no. La Semntica es aquella parte del lenguaje que se ocupa de la relacin entre los smbolos y su significado, pero ya dijimos que a la Lgica no le interesa el significado emprico de las proposiciones; lo nico que le interesa de su significado es su valor veritativo: su verdad o falsedad. Como la verdad de las proposiciones complejas depende del valor veritativo de sus proposiciones simples (variables) y del tipo de relacin que las une (constantes o conectores), la Lgica usa un mtodo para demostrar semnticamente una frmula cualquiera: el mtodo de las tablas de verdad. Este mtodo consiste en calcular en qu casos una proposicin compleja es verdadera y en qu casos es falsa. Interpretar un smbolo consiste en darle un significado. La Lgica proposicional, como la mayora de los tipos de lgica, es una lgica bivalente, lo cual quiere decir que cada 11

proposicin simple o variable slo puede tener dos interpretaciones o significados: verdadero (1) o falso (0). Un caso es una posible combinacin de tales valores en sus variables, de forma que mientras ms variables tenga una frmula ms casos posibles habr. As, en una frmula que contenga una nica variable (p.e., p p) slo hay dos casos posibles: que p sea verdadera o que sea falsa, mientras que en una que contenga dos variables (p.e., p q) hay cuatro casos posibles: 1) que ambas sean verdaderas; 2) que ambas sean falsas; 3) que p sea verdadera y q falsa; y 4) que p sea falsa y q verdadera. En una frmula de tres variables hay ocho posibles casos; en una de cuatro, diecisis, y as, sucesivamente. Hay una frmula para hallar el nmero de casos (x) de una proposicin molecular: x = 2n, donde n es el nmero de variables de la frmula. Una variable: P 1 0 12 Dos variables: P 1 1 0 0 Q 1 0 1 0

Tres variables: P 1 1 0 0 Q 1 0 1 0 R 1 0 1 0

0 0 0 0

1 1 0 0

1 0 1 0

Cada uno de los conectores o constantes lgicas se define semnticamente mediante una tabla de verdad que muestra sus posibles valores veritativos segn los casos. Estas son las tablas de verdad de los conectores y del negador: NEGADOR: A 1 0 A 0 1

CONJUNTOR: A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0 13

DISYUNTOR: A 1 1 0 0 B 1 0 1 0 AvB 1 1 1 0

IMPLICADOR: A 1 1 0 0 B 1 0 1 0 AB 1 0 1 1

COIMPLICADOR: A 1 1 0 0 B 1 0 1 0 A B 1 0 0 1

Aplicando este mtodo de las tablas de verdad podemos comprobar que existen tres tipos de frmulas en funcin de su resultado: CONSISTENCIA: Se denomina frmula consistente o indeterminada cuando su tabla de verdad presenta una combinacin de valores de verdad (1) y de falsedad (0). Esto significa que su valor veritativo depende de cada uno de los posibles casos, por lo que depende de la experiencia, ya que en unos casos puede ser verdadera y en otros casos falsa. CONTRADICCIN: Una frmula es una contradiccin cuando en todos los casos su valor veritativo es 0, es decir, es siempre falsa, independientemente de los valores de verdad de las variables que la constituyen, por lo que es universalmente falsa. TAUTOLOGA: Una frmula es tautolgica cuando su valor veritativo es siempre 1, es decir, cuando es verdadera en todos los casos. Estas frmulas son verdaderas a priori, es decir, independientemente de la experiencia, universalmente vlidas. Las frmulas tautolgicas son verdades lgicas, no empricas. stas son las que ms interesan a la Lgica pues, gracias a ellas, podemos averiguar si una conclusin se deriva o no a partir de unas determinadas

14

premisas. Basta, para ello, con construir una frmula uniendo las premisas mediante conjuntores y conectndolas a la conclusin por medio de un implicador. A continuacin hacemos la tabla de verdad correspondiente y si el resultado es una tautologa eso significa que queda demostrada semnticamente la validez del razonamiento. Todas las leyes lgicas que veremos a continuacin pueden demostrarse por este sistema. SINTAXIS DE LA LGICA PROPOSICIONAL: LA DEDUCCIN FORMAL Existe otro mtodo ms operativo para demostrar la validez de un razonamiento: la deduccin formal. Consiste en un procedimiento de derivacin para probar la validez de una conclusin, partiendo de premisas iniciales y deduciendo nuevas premisas intermedias mediante reglas de inferencia, cuyo uso se justifica. El procedimiento demostrativo en conjunto tiene cierta semejanza con la manera natural de deducir. Esas reglas de inferencia son verdades lgicas, es decir, que si se presentan como frmula condicional y se realizan sus respectivas tablas de verdad, se comprobar que son tautologas. En una deduccin encontraremos unos supuestos y unas reglas de inferencia. Los supuestos pueden ser premisas (supuestos previos) o bien supuestos provisionales o subsidiarios, que sirven momentneamente de apoyo en el curso de la deduccin pero de los cuales hay que desembarazarse antes del final de la misma (llamndose esto descarga o cancelacin de supuestos). La deduccin formal es una secuencia finita de frmulas tales que cada una de ellas es un supuesto previo, un supuesto provisional o una frmula que se deriva lgicamente de otra u otras anteriores por inferencia inmediata (por la aplicacin de una sola regla de inferencia). La notacin simblica de una derivacin es la siguiente: la deduccin se indica o anota poniendo en hilera las premisas separadas por comas y a continuacin de las mismas el deductor + seguido de la conclusin: p q r, p s, s r m, p + m. La deduccin se realiza as: se colocan en columna las premisas y las frmulas inferidas de la siguiente manera: Se numeran en la izquierda a partir del nmero 1. 15

Las premisas llevan un guin a la izquierda del nmero. Los supuestos provisionales se sealan con un ngulo recto (+) antes del nmero, que se unir con una lnea recta a otro ngulo (+) correspondiente a la lnea que los cancela.

Se pone a la derecha un comentario: las siglas de la regla por la que se infiere la lnea y los nmeros de las lneas a las que se ha aplicado la regla.

Veamos a continuacin las llamadas reglas bsicas de inferencia. Gentzen seleccion estas ocho porque sirven para introducir o eliminar cada uno de los cuatro conectores bsicos, y porque con ellas se podran efectuar todas las transformaciones de frmulas posibles en el clculo proposicional.

ELIMINACIN DEL IMPLICADOR (EI) O MODUS PONENS (MP): AB A 16 B Se usan letras maysculas para indicar que dichas letras pueden ser sustituidas por cualquier frmula. Se ponen las premisas de la regla en columnas seguidas de una lnea horizontal, bajo la cual se escribe la conclusin. Esto quiere decir que si en el curso de la deduccin se dan frmulas en la forma de las premisas de la regla entonces puede escribirse una lnea con la frmula de la conclusin. ELIMINACIN DEL CONJUNTOR (EC) O SIMPLIFICACIN (SIMPL.): AB A AB B

Se basa en la idea de que si una conjuncin de proposiciones es verdadera tambin lo son cada uno de sus miembros.

INTRODUCCIN DEL DISYUNTOR (ID) O ADICIN (AD.): A AVB B AVB Se basa en que si tenemos una frmula verdadera su valor de verdad no cambia al aadirle cualquier otra frmula por medio de un disyuntor (recordemos la definicin del disyuntor que dimos antes). ELIMINACIN DEL DOBLE NEGADOR (EDN): A A

Se basa en la intuicin de que negar dos veces una cosa es lo mismo que afirmarla (recordemos la definicin del negador). Como puede verse, hay dos tipos de deduccin: La deduccin directa: cuando la conclusin se deduce directamente de las premisas. La deduccin indirecta (Cas., Abs., TD): cuando es necesario suponer premisas adicionales provisionalmente para obtener la conclusin. Todo supuesto provisional se seala con un ngulo recto (+) antes del nmero, que se unir con una lnea recta a otro ngulo (+) correspondiente a la lnea que los cancela. Los enunciados que haya en el interior de un supuesto provisional no podrn utilizarse fuera. El uso de las reglas bsicas es, en principio, suficiente para resolver todo problema deductivo que tenga solucin en Lgica proposicional. Su empleo debe atenerse a la siguiente estrategia: 1. Asegurarse de la correcta formalizacin del argumento si ste ha sido traducido del lenguaje ordinario. 17

2. Una vez dispuestas en columna y ordenadas las premisas se intentar extraer de las mismas por sucesivas aplicaciones de las reglas la conclusin o las frmulas que puedan acercamos a ella. 3. Eventualmente, cabe el recurso a supuestos provisionales de tipo directo. Si la conclusin o la frmula intermedia que necesitamos es una implicacin, hemos de suponer su antecedente, llegar a su consecuente y usar el teorema de deduccin. Si necesitamos usar una premisa o una frmula intermedia que tenga la forma de una disyuncin, es preciso suponer sus miembros y usar la prueba por casos. 4. Si fallan estos intentos, se puede recurrir a la deduccin indirecta, suponiendo la negacin de la conclusin y aplicando la reduccin al absurdo. El clculo proposicional se facilita y abrevia si se aaden a las reglas bsicas de Gentzen otras nuevas fundadas en ellas, que reciben, por tanto, el nombre de reglas derivadas. Estas reglas expresan leyes lgicas que podemos demostrar tanto semnticamente (con tablas de verdad), como sintcticamente (por deduccin y usando las reglas bsicas). Las ms tiles son stas: LEY DEL SILOGISMO HIPOTTICO (SIL.): AB BC AC LEY DE IDENTIDAD (ID.): A A 18

MODUS TOLLENS (MT): AB B A

SILOGISMO DISYUNTIVO (SD): AVB A B

AVB B A

19