Anda di halaman 1dari 36

La Argumentacin

Universidad Tecnolgica de Bolivar Facultad de Estudios Tcnicos y Tecnolgicos - Joaquin Lara Sierra

PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor informacin. PDF generated at: Mon, 12 Sep 2011 18:35:39 UTC

Contenidos
Artculos
La Argumrntacin
Teora de la argumentacin Argumento Argumento (lgica) Premisa Conclusin Validez (lgica) Consecuencia lgica 1 1 3 6 7 8 9 11 12 12 23

La Lgica
Tabla de verdad Lgica proposicional

Referencias
Fuentes y contribuyentes del artculo Fuentes de imagen, Licencias y contribuyentes 32 33

Licencias de artculos
Licencia 34

La Argumrntacin
Teora de la argumentacin
La teora de la argumentacin es el estudio interdisciplinario del debate civil, la dialctica parlamentaria, el dilogo, la conversacin y la persuasin. Estudia la lgica, las reglas de inferencia y las reglas de procedimiento. La argumentacin se preocupa principalmente por llegar a conclusiones a travs del razonamiento lgico basado en premisas. Aunque en la teora de la argumentacin se incluye el debate y la negociacin, las cuales estn dirigidas a alcanzar unas conclusiones de mutuo acuerdo aceptables, su principal motivacin es quizs el debate social en el que la victoria sobre un oponente es el principal objetivo. Este arte y ciencia es con frecuencia el medio por el cual algunas personas protegen sus creencias o propios intereses en un dilogo racional, en simples coloquios o durante el proceso de argumentacin o defensa de ideas. La argumentacin es usada en los juicios para probar y o refutar la validez de ciertos tipos de evidencias. Los estudiantes de argumentacin estudian las racionalizaciones post hoc mediante las cuales un individuo puede justificar decisiones que originalmente pudieron haber sido realizadas de forma irracional.

Motivaciones
Desde la antigedad, la argumentacin ha sido objeto de inters en todas las reas donde se practica el arte de hablar y de escribir de manera persuasiva. En la actualidad, el estudio de la argumentacin ha recobrado vigencia debido a la gran influencia que los medios de comunicacin tienen sobre la sociedad. Esta influencia se manifiesta en el planteamiento de estrategias argumentativas para convencer al pblico acerca de ciertos valores e ideas. Ejemplo de esto son los discursos argumentativos relacionados con la publicidad o el pensamiento poltico. As pues, la principal motivacin del estudio de la argumentacin (por parte de los argumentadores), consiste en establecer si el razonamiento planteado es verosmil, es decir, si quien es objeto de la argumentacin estar dispuesto a aceptarla.

Componentes de la argumentacin
Una tesis, o conclusin principal a favor de la cual se quiere argumentar. Un conjunto de premisas desde las cuales se pretende inferir la tesis. Un argumento que muestre cmo de las premisas se sigue la tesis. Identificar y entender la presentacin de un argumento, explicito o implcito, y las metas o propsitos de los participantes en los diferentes tipos de dilogo. Identificar la conclusin y sus premisas, es decir, la conclusin es derivada de stas. Establecer el Onus probandi o carga de la prueba para determinar quien hizo la afirmacin inicial y por consiguiente el responsable de proveer las evidencias por las que su posicin merece ser aceptada. Se pone en orden las evidencias para su posicin con objeto de convencer o forzar la aceptacin del oponente. El mtodo por el cual esto es realizado es mediante vlidos, atinados y convincentes argumentos, faltos de flaqueza y no fcilmente atacables, criticables o impugnables. Uno debe tratar de identificar fallos en el argumento o razonamiento del oponente para poder atacar las razones o premisas del mismo y proveer contraejemplos, si es posible, para identificar falacias que muestren que una conclusin vlida no puede ser derivada de las razones o argumentos que el oponente ha mostrado.

Teora de la argumentacin

Tipos de argumentacin
Se reconocen tres tipos de discursos persuasivos: la demostracin, la argumentacin y la descripcin. La demostracin trata de llegar a una conclusin partiendo de premisas mediante razonamientos deductivos. En la demostracin no aparece ninguna marca del sujeto que la enuncia. Aparentemente se habla de hechos y no de opiniones. La argumentacin trata de causas y consecuencias, se evala en relacin a una situacin dada y se expresa con palabras comunes. En esta situacin es donde se comprueba si la argumentacin ha logrado su objetivo primordial: convencer al destinatario para que adopte un determinado punto de vista o realice cierta accin. La descripcin se ubica en una lnea intermedia entre ambos discursos. Se la acepta o rechaza en relacin a lo que ha sido explicado, por lo cual es necesario el debate donde se expresan y defienden una opinin

Contexto de la argumentacin
Cuando alguien desarrolla una argumentacin para convencer a otro de que acepte su tesis, lo hace en un determinado contexto. ste abarca las creencias, las costumbres, las ideas de la comunidad a la cual ambos pertenecen. Adems, el contexto determina las convenciones lingsticas que ambos usan, es decir, el valor semntico de las palabras empleadas. Cuando el contexto en el que se desarrolla la argumentacin no es comn a sus participantes, alguien puede fcilmente utilizar palabras que resulten molestas o agraviantes para los dems.

Condiciones de la argumentacin
Para plantear un discurso argumentativo es necesario conocer las condiciones de propiedad y legitimidad. Las condiciones de propiedad son las caractersticas que tiene que reunir el destinatario a quien se dirige el argumentador, es necesario conocerlas para que el argumento sea efectivo. Las condiciones de legitimidad tienen que ver con la autenticidad de la figura del argumentador. De acuerdo con las condiciones de propiedad, en primer lugar se argumenta partiendo de que el otro no adhiere a la tesis pero puede llegar a convencerse de ella. En segundo lugar, se argumenta a partir del supuesto de que el otro tiene la inteligencia y los conocimientos necesarios para comprender los argumentos. En cuanto a las condiciones de legitimidad, a veces, cuando el argumentador no est seguro de que el otro confa en su legitimidad, puede apelar a enunciados justificativos. El argumentador tambin debe suponer que el otro puede ser persuadido mediante una argumentacin adecuada: si encuentra resistencia ser posible desplegar las estrategias persuasivas necesarias para hacerlo cambiar de opinin. La argumentacin es legtima cuando hay una concesin mutua de derechos entre los interlocutores. En este campo inciden no slo el contexto de la situacin sino tambin los roles de autoridad que se establecen entre ellos.

Vase tambin
Prejuicio cognitivo Falacia Teora de la argumentacin jurdica tica de la argumentacin Argumentacin

Teora de la argumentacin

Bibliografa
J. Robert Cox and Charles Arthur Willard, eds. Advances in Argumentation Theory and Research 1982. Dung, P. M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77: 321-357 (1995). Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F., An abstract, argumentation-theoretic approach to default reasoning, Artificial Intelligence 93(1-2) 63-101 (1997). Dung, P. M., Kowalski, R., and Toni, F. Dialectic proof procedures for assumption-based, admissible argumentation Artificial Intelligence 170(2), 114-159 (2006).

Argumento
La palabra argumento (del latn argumentum): prueba o razn para justificar algo como verdad o como accin razonable; la expresin oral o escrita de un raciocinio.[1] La cualidad fundamental de un argumento es la consistencia y coherencia; entendiendo por tal el hecho de que el contenido de la expresin, discurso u obra adquiera sentido o significacin que se dirige al interlocutor con finalidades diferentes: Como contenido de verdad = consistencia y coherencia con otras verdades admitidas, o con referencia a un hecho o situacin que haga verdadero o falso dicho contenido. Como esquema lgico-formal = consistencia y coherencia con un sistema que no admite contradiccin. Como funcin lgico-matemtica = consistencia y coherencia con el hecho de ser algo real frente a una mera posibilidad lgica que define un mundo o una situacin posible en un determinado marco terico que justifica la funcin. Como discurso dirigido a la persuasin[2] como motivacin para promover o proponer una determinada accin. Como finalidad de accin = consistencia o coherencia con otros intereses o motivaciones del individuo o individuos receptores del contenido como motivacin a actuar de determinada manera.

Transmisin de un contenido cognoscitivo como verdadero


Consiste en un discurso que ofrece tales razones argumentativas que el otro no tiene ms remedio que reconocer dicho contenido como verdadero. Es por tanto un discurso dirigido al entendimiento, para convencer o generar una creencia nueva mediante el conocimiento evidente de nuevas verdades, basndose en una racionalidad comn.

La ciencia
El ejemplo ms tpico y puro es el discurso de la ciencia, y su lenguaje la oracin enunciativa como descripcin, definicin y "argumentacin"; el discurso se estructura conforme a una teora y un esquema de relaciones lgicas; el ideal de dichas relaciones lgicas son las relaciones lgico-matemticas, cuando es posible. En aspectos parciales, se expresa a travs de lenguaje formalizado y simbolizado como un clculo lgico o matemtico, reducidas sus expresiones lingsticas a proposiciones simbolizadas en un sistema lgico o matemtico. Tal aplicacin es fundamental en la utilizacin de la informtica.

Argumento

Resolucin de problemas
Si el discurso pretende establecer como verdad una expresin determinada del sistema partiendo de verdades previas establecidas como axiomas o bien verdades admitidas como tales, se dice que dicho discurso es una prueba, que garantiza la verdad de una nueva proposicin como afirmacin dentro del sistema. Tales discursos son deducciones[3] o aplicaciones de las demostraciones lgicas o matemticas a un universo definido o condiciones de realidad determinadas. El ejemplo de discurso ms tpico es el planteamiento y resolucin de problemas.

Conocimiento verdadero como contenido de una funcin lgico-matemtica


La funcin matemtica o lgica , representan una mera posibilidad, una forma vaca de contenido; toma un valor de contenido lgico o pero dicha funcin adquiere entidad y por tanto consistencia cuando la

numrico como argumento; de tal forma que la funcin pueda considerarse con respecto a un universo determinado como verdadera o falsa. Por eso se denomina argumento de la funcin. Ambas representan solamente la posibilidad de que exista o se produzca una realidad como afirmacin o como predicacin cuando la tome un valor concreto relacionado con el mundo real.
Ejemplo de aplicacin de una funcin matemtica de clculo algebraico a la resolucin de una situacin concreta como posible verdad La funcin no significa nada, es una mera posibilidad de ser algo. Ejemplo de aplicacin de una funcin lgica como verdad posible de una situacin concreta Cuando representa el verbo ladrar, y representa a mi perro Desko como argumento, entonces: = Desko ladra. (Puede haber otro tipo de argumentos posibles de , como [4] o ). Es entonces cuando dicha funcin adquiere la condicin de hecho o situacin que puede ser verdadera o falsa en el mundo de la realidad de la experiencia.

Pero cuando toma como argumento el valor 75 correspondiente al precio de un artculo que se vende en una tienda, esa funcin representa lo que el comprador tiene que pagar al incluir el impuesto sobre el valor aadido del 16%. Lo que concede a dicha funcin la posibilidad de ser verdadera o falsa en relacin con el mundo real de la experiencia en una sociedad determinada.

El discurso como persuasin


Se trata de un discurso en el que, dadas las razones argumentativas que el discurso ofrece, el otro acte de la forma que dicho discurso propone. Es por tanto un discurso dirigido fundamentalmente a la voluntad, para persuadir y mover a la accin en un determinado sentido en orden a alcanzar algunas finalidades. Su intencin comunicativa es persuadir a travs de argumentos emocionales tanto o ms que con argumentos cognoscitivos. En este tipo de discurso se mezcla el conocimiento y el inters. Por eso se juega con la equivocidad que ofrece la retrica, sin necesidad de mentir o decir falsedad. El ejemplo ms tpico sera el discurso poltico, la predicacin religiosa o el de la propaganda. En Derecho, el alegato del abogado defensor para mantener los argumentos a favor de su defendido.

Argumento

Argumentaciones tipo prueba


Como hemos indicado tales argumentos son los argumentos lgico-matemticos en cuanto formales y todos aquellos que siguen sus forma al ser aplicados a unos datos tenidos como vlidos para obtener la demostracin de una afirmacin concreta como verdad necesaria y por tanto indiscutible. Esto ocurre cuando el producto de todas las afirmaciones, [5] del discurso como proposiciones lgico-matemticas implican una conclusin como tautologa. A lo largo de la Historia ha habido varios argumentos considerados como pruebas y fuente de importantes discusiones: Argumento cosmolgico Argumento ontolgico Argumento analgico Argumento teleolgico Argumento hipottico-deductivo

Vase tambin
Argumento (lgica) Argumento hipottico-deductivo Lgica Razonamiento Sofisma Falacia Teora de la justificacin Teora de la argumentacin

Notas y referencias
[1] Gutirrez, S. R. (1998) Introduccin a la lgica. ed. esfinge [2] Preferimos la acepcin restringida del uso de este trmino como diferenciado de 'convencer'; entendiendo que convencer se dirige al entendimiento mediante razones (lgicas) capaces de generar una creencia nueva como verdadera; mientras que 'persuadir' se dirige a la voluntad para motivar la accin, si bien dichas motivaciones no dejan de incluir razones cognoscitivas en tanto que orientadas hacia el inters de la accin; entre las cuales puede ser la de "convencer" para creer algo como verdadero. [3] El discurso tpico de esta forma son las deducciones de Mr. Holmes [4] Que se lee, algn o Todo '. Vase lgica cuantificacional [5] Como esquema de inferencia

Bibliografa
Perelman Ch. y Olbrechts-Tyteca L. (1988). Rhtorique et Philosophie. Bruxelles ditions de l'Universit de Bruxelles. Perelman Ch. y Olbrechts-Tyteca L. (1992). Trait de largumentation. La nouvelle rhetorique, 2 vols.. Bruxelles ditions de l'Universit de Bruxelles. HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosofa. Trd. Carmen Garca Trevijano. Madrid. Editorial Tecnos. 84-309-3699-8. Geach, P.T. (1976). Reason and Argument. Oxford. Kirwan C.A (1978). Logic and Argument. Londres. Hamblin, Ch. L. (1970). Fallacies. Londres. Ferrater Mora, J. (1979). Diccionario de Filosofa. Madrid. Alianza Editorial. 84-206-5299-7 (Obra completa 4 tomos).

Argumento (lgica)

Argumento (lgica)
En lgica, un argumento es un conjunto de premisas seguidas por una conclusin.[1] Un argumento puede ser slido (valido y con premisas verdaderas) o ser persuasivo de alguna otra manera.[2] Sin embargo, un argumento no necesita ser slido o persuasivo para ser un argumento. Por ejemplo, el siguiente puede ser considerado un argumento: 1. Est lloviendo. 2. Est nublado. 3. Por lo tanto, es de noche. Aunque ni la solidez ni la persuasin son esenciales para que algo sea un argumento, en general se argumenta con la intencin de persuadir a alguien de la verdad de una conclusin, y producir un argumento slido es una buena manera de lograrlo. En un lenguaje formal, un argumento se define como un conjunto ordenado de frmulas, donde la ltima es designada como la conclusin, y las dems como las premisas.

Vase tambin
Argumento Premisa Conclusin Validez (lgica) Consecuencia lgica Clculo Clculo lgico Implicacin

Notas y referencias
[1] Kirwan, Christopher, argument (http:/ / www. oxfordreference. com/ views/ ENTRY. html?subview=Main& entry=t116. e131), The Oxford Companion to Philosophy, Oxford University Press, , consultado el 6 de octubre de 2009 [2] Simn Blackburn, ed., argument (http:/ / www. oxfordreference. com/ views/ ENTRY. html?subview=Main& entry=t98. e239), The Oxford Dictionary of Philosophy, Oxford University Press, , consultado el 6 de octubre de 2009

Premisa

Premisa
En lgica, una premisa es cada una de las proposiciones anteriores a la conclusin de un argumento.[1] En un argumento vlido, las premisas implican la conclusin, pero esto no es necesario para que una proposicin sea una premisa: lo nico relevante es su lugar en el argumento, no su rol.[2] Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas. Considrese el siguiente argumento: 1. 2. 3. 4. O es martes o es mircoles. Si es martes, entonces tengo que ir a trabajar. Si es mircoles, tengo que ir a trabajar. Por lo tanto, tengo que ir a trabajar.

En este argumento, las proposiciones 1, 2 y 3 son las premisas, y la proposicin 4 es la conclusin. Un argumento puede tener cualquier nmero (en general finito) de premisas, incluso 0 (en cuyo caso la conclusin suele ser un teorema y una verdad lgica).[3] Hay razonamientos de una premisa (hubo al menos un testigo), y razonamientos con ms de una premisa. As sucede con los silogismos ordinarios, que con una sola premisa (por ejemplo: Juan lo vio todo). Por lo tanto, de una premisa mayor (que contiene el trmino mayor, predicado de la conclusin) y una premisa menor (que contiene el trmino menor, que hace de sujeto en la conclusin). Por ejemplo: 1. Todos los mamferos son animales de sangre caliente. (Premisa mayor) 2. Todos los humanos son mamferos. (Premisa menor) 3. Por tanto, todos los humanos son animales de sangre caliente. (Conclusin) En los razonamientos inductivos, la conclusin se obtiene por generalizacin, a partir de varias premisas particulares. Por ejemplo, a partir de una serie de observaciones (el cobre es un metal y es buen conductor de la electricidad; el hierro es un metal y es buen conductor de la electricidad, etc.) se concluye, por induccin, que todos los metales son buenos conductores de la electricidad. En ocasiones, para alcanzar la conclusin de un razonamiento es necesario utilizar premisas subsidiarias, esto es, suponer ms informacin de la que el razonamiento contempla. Por ejemplo, partir de lo contrario de lo que se desea demostrar. Si de dicho supuesto se deduce un absurdo, entonces se puede afirmar la conclusin sin problemas.

Vase tambin
Solidez Deduccin natural Razonamiento Lgico

Notas y referencias
[1] Vase la seccin 1.1 en Gamut, L. T. F. (2006). Introduccin a la lgica. Buenos Aires: Eudeba. [2] Robert Audi, ed., argumento (en ingls), The Cambridge Dictionary of Philosophy (2nd Edition), Cambridge University Press [3] Vase la seccin 2 en la introduccin de Mates, Benson (1972). Elementary logic. Nueva York: Oxford University Press.

Conclusin

Conclusin
Una conclusin es una proposicin al final de un argumento, luego de las premisas.[1] Si el argumento es vlido, entonces las premisas implicarn la conclusin, pero esto no es necesario para que una proposicin sea una conclusin: lo nico relevante es su lugar en el argumento, no su rol.[2] Por otra parte, como en general se argumenta con la intencin de establecer una conclusin, se suele buscar que las premisas impliquen la conclusin y que las premisas sean verdaderas (es decir, que el argumento sea slido o cogente).[2] Considrese las siguientes proposiciones:
1. Todos los mamferos son de sangre caliente. 2. Todos los humanos son mamferos 3. Por lo tanto, todos los humanos son de sangre caliente.

En este argumento, la proposicin de ms abajo es la conclusin y las dems son las premisas. En el lenguaje natural, las conclusiones suelen anunciarse con alguna de una lista de expresiones; entre ellas: por lo tanto, por ende, luego, en consecuencia, ergo, etc. En los lenguajes formales, algunas expresiones que se suelen poner por delante de las conclusiones son: , y

Investigacin cientfica
En la investigacin y la experimentacin, las conclusiones son determinaciones hechas mediante el estudio de los resultados del trabajo precedente prctica y es la ciencia que estudia las reglas y procedimientos para distinguir un razonamiento correcto (vlido) o incorrecto (invlido). Los razonamientos (raciocinios) son movimientos del pensamiento mediante los cuales a partir de algo conocido extraemos algo desconocido. Los razonamientos se componen de proposiciones (o jucios). Las proposiciones que sirven de partida (lo conocido) se llaman premisas, y la proposicin que se deriva de esas premisas se denomina conclusin (lo desconocido, lo nuevo) Los razonamientos pueden ser inductivos o deductivos. La lgica tradicional (aristotlica) sobre todo se dedic al anlisis de la deduccin y de las falacias (razonamientos invlidos y engaosos; ver Richard Ortiz Ortiz, Lgica, Quito: Publiconti 1994).

Vase tambin
Argumento (lgica) Validez lgica

Notas y referencias
[1] Vase la seccin 1.1 en Gamut, L. T. F. (2006). Introduccin a la lgica. Buenos Aires: Eudeba. [2] Robert Audi, ed., argumento (en ingls), The Cambridge Dictionary of Philosophy (2nd Edition), Cambridge University Press

Enlaces externos
Wikiquote alberga frases clebres de o sobre Conclusin. Wikiquote

Validez (lgica)

Validez (lgica)
En lgica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusin. Si la conclusin es una consecuencia lgica de las premisas, se dice que el argumento es deductivamente vlido. Algunos consideran estas dos nociones idnticas y usan ambos trminos indistintamente. Otros, sin embargo, consideran que puede haber argumentos vlidos que no sean deductivamente vlidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de vlidas o invlidas. Ejemplos de argumentos deductivamente vlidos son los siguientes:
1. Si est soleado, entonces es de da. 1. Si es lunes, entonces es martes. 1. Todos los planetas giran alrededor del Sol. 2. Est soleado. 2. Es lunes. 2. Marte es un planeta. 3. Por lo tanto, es de da. 3. Por lo tanto, es martes. 3. Por lo tanto, Marte gira alrededor del Sol.

Ntese que para que un argumento sea deductivamente vlido, no es necesario que las premisas o la conclusin sean verdaderas. Slo se requiere que la conclusin sea una consecuencia lgica de las premisas. La lgica formal establece nicamente una relacin condicional entre las premisas y la conclusin. Esto es: que si las premisas son verdaderas, entonces la conclusin tambin lo es (esta es la caracterizacin semntica de la nocin de consecuencia lgica); o alternativamente: que la conclusin sea deducible de las premisas conforme a las reglas de un sistema lgico (esta es la caracterizacin sintctica de la nocin de consecuencia lgica). Si un argumento, adems de ser vlido, tiene premisas verdaderas, entonces se dice que es slido. No debe confundirse la validez una propiedad de los argumentos, con la validez lgica una propiedad de las frmulas. Se dice que una frmula tiene validez lgica, o que es lgicamente vlida, cuando es verdadera bajo todas las interpretaciones posibles del lenguaje al que pertenece. Por lo dems, el trmino validez lgica est cayendo en desuso frente al trmino verdad lgica para designar a estas frmulas. En los sistemas en los que vale el teorema de la deduccin, todos los argumentos vlidos pueden transformarse en frmulas lgicamente vlidas de la forma , donde las P son las premisas del argumento y C su conclusin. En los sistemas donde vale el converso del teorema, todas las frmulas lgicamente vlidas con la forma pueden transformarse en argumentos vlidos con las P como premisas y C como conclusin. Esto muestra que existe una estrecha relacin entre la validez de los argumentos y la validez lgica de las frmulas.

Demostracin de la validez de un argumento


Un argumento concreto es vlido cuando tiene la forma de un esquema de argumento vlido. Por ejemplo, considrese los siguientes dos argumentos:
1. O es de da o es de noche. 1. O es varn o es mujer. 2. No es de da. 2. No es varn. 3. Por lo tanto, es de noche. 3. Por lo tanto, es mujer.

Estos argumentos son vlidos porque ambos tienen la forma de un silogismo disyuntivo, el cual es un esquema de argumento vlido: 1. O p o q. 2. No p. 3. Por lo tanto, q. Para determinar la validez de un argumento concreto, entonces, alcanza con determinar la validez su esquema de argumento, y esto se puede lograr por medios semnticos o por medios sintcticos.

Validez (lgica)

10

Mtodo semntico
En el mtodo semntico, se dice que un esquema de argumento es vlido cuando es imposible que las premisas sean verdaderas y la conclusin falsa. Para determinar si esto es el caso, se supone la verdad de las premisas, y aplicando las definciones de verdad, se intenta deducir la verdad de la conclusin. O tambin, se supone que las premisas son verdaderas y la conclusin falsa, y aplicando las definiciones de verdad, se intenta deducir una contradiccin (reduccin al absurdo). En la lgica proposicional, un mtodo alternativo es transformar un argumento en su correspondiente frmula, y construir su tabla de verdad. Si la frmula resulta ser una verdad lgica, entonces el argumento es vlido. Esto se debe a que vale el teorema de la deduccin y su converso, pero tambin a que la lgica proposicional es decidible, y por lo tanto siempre admite de un procedimiento algortmico para determinar si una frmula cualquiera es una verdad lgica o no. Por ejemplo, si se considera el esquema de argumento del silogismo disyuntivo, su frmula correspondiente y su tabla de verdad son:

Mtodo sintctico
En el mtodo sintctico, se dice que un esquema de argumento es vlido cuando existe una deduccin de la conclusin a partir de las premisas del argumento y los axiomas del sistema, utilizando slo las reglas de inferencia permitidas. En un sistema de deduccin natural, como el conjunto de axiomas es vaco, un esquema de argumento ser vlido cuando exista una deduccin de la conclusin a partir de las premisas, utilizando slo las reglas de inferencia permitidas.

Vase tambin
Cogencia Deduccin Validez lgica Solidez

Bibliografa adicional
Mitchell, D. (1968). Introduccin a la lgica. Labor. Deao, Alfredo (1974). Introduccin a la lgica formal. Alianza Editorial. ISBN 8420620645. Copi, Irving M. (1982). Lgica simblica. Continental. ISBN 9682601347. Garrido, M. (1974). Lgica simblica. Tecnos. ISBN 8430905375.

Consecuencia lgica

11

Consecuencia lgica
En lgica, la consecuencia lgica es la relacin entre las premisas y la conclusin de un argumento deductivamente vlido.[1] La relacin de consecuencia lgica es por lo tanto un concepto central a la lgica.[1] Dos caractersticas generalmente aceptadas de la relacin de consecuencia lgica son que es necesaria y adems formal.[1]

Explicaciones de la consecuencia lgica


En esta seccin se introducen algunas explicaciones conocidas de la nocin de consecuencia lgica.

Consecuencia semntica
Una manera estndar de caracterizar a la nocin de consecuencia lgica es a travs de la teora de modelos.[1] A la nocin de consecuencia lgica definida de esta manera se la llama consecuencia semntica, para distinguirla de otras concepciones de la misma nocin. Segn esta estrategia, una conclusin es una consecuencia lgica de las premisas cuando es imposible que las premisas sean verdaderas y la conclusin falsa. O dicho ms precisamente, cuando toda interpretacin que hace verdaderas a las premisas tambin hace verdadera a la conclusin.[1] Es decir, cuando todo modelo de las premisas es tambin un modelo de la conclusin.[1] Cuando una conclusin A es una consecuencia semntica de un conjunto de premisas escribe: en un lenguaje formal L, se

Consecuencia sintctica
Otra manera de caracterizar a la relacin de consecuencia lgica es a travs de la teora de la demostracin.[1] A la nocin de consecuencia lgica definida de esta manera se la llama consecuencia sintctica, para distinguirla de otras concepciones de la misma nocin. Segn esta estrategia, una conclusin es una consecuencia lgica de las premisas cuando existe una demostracin de la conclusin a partir de las premisas.[1] Es decir cuando, usando solamente las premisas, los axiomas y las reglas de inferencia permitidas, es posible construir una derivacin de la conclusin. Cuando una conclusin A es una consecuencia sintctica de un conjunto de premisas escribe: en un sistema formal S, se

Vase tambin
Validez (lgica) Condicional material

Notas y referencias
[1] Beall, JC; Restall, Greg, Logical Consequence (http:/ / plato. stanford. edu/ archives/ fall2009/ entries/ logical-consequence/ ), en Edward N. Zalta (en ingls), Stanford Encyclopedia of Philosophy (Fall 2009 Edition),

12

La Lgica
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

Definicin y algoritmo fundamental


Considrese dos variables proposicionales A y B.[2] Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas. Esto puede expresarse con una tabla simple:

Considrese adems a "" como una operacin o funcin lgica que realiza una funcin de verdad al tomar los valores de verdad de A y de B, y devolver un nico valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fcil construir una tabla que muestre qu devuelve cada funcin frente a las distintas combinaciones de valores de verdad de A y de B.
1 A V V F F B V F V F AB V V V V 2 AB V V V F 3 AB V V F V 4 AB V V F F 5 AB V F V V 6 AB V F V F 7 AB V F F V 8 AB V F F F 9 AB F V V V 10 AB F V V F 11 AB F V F V 12 AB F V F F 13 AB F F V V 14 AB F F V F 15 AB F F F V 16 AB F F F F

Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lo tanto 4 lneas, y las 16 columnas despliegan todos los posibles valores que puede devolver una funcin "". De esta forma podemos conocer mecnicamente, mediante algoritmo, los posibles valores de verdad de cualquier conexin lgica interpretada como funcin, siempre y cuando definamos los valores que devuelva la funcin. Se hace necesario, pues, definir las funciones que se utilizan en la confeccin de un sistema lgico. De especial relevancia se consideran las definiciones para el Clculo de deduccin natural y las puertas lgicas en los circuitos electrnicos.

Tabla de verdad

13

Definiciones en el clculo lgico


Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la formalizacin de argumentos: Como razonamientos deductivos lgico-lingsticos Como construccin de un sistema matemtico puro Como una aplicacin lgica en un Circuito de conmutacin. Los operadores fundamentales se definen as: Negacin

La negacin es un operador que opera. sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

Conjuncin

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental. Disyuncin

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. La tabla de verdad de la disyuncin es la siguiente:

Tabla de verdad

14

Que se corresponde con la columna 2 del algoritmo fundamental. Implicacin o Condicional

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental. Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren. La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.

Tabla de verdad

15

Tablas de verdad
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposicones que la integran, encontrndonos con los siguientes casos:

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: . Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna
(Columna 4)

en la que se establecen los valores de

aplicando la definicin del disyuntor a los

valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin es V y cundo es F. , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que

Contradiccin

Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Tabla de verdad Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es cierto su contradiccin es falsa, y si A es falsa su contradiccin es cierta, la conjuncin de ambas da falso en todos los casos.

16

Tautologas

Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es cierto, su negacin es falsa y si A es falsa su negacin es cierta, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos.

Tablas de verdad, proposiciones lgicas y argumentos deductivos


En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos manifesta todo lo que implican las relaciones sintcticas entre las diversas proposiciones. No obstante la sencillez del algoritmo, aparecen dos dificultades. La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4 variables. Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna. Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin condicionada, como conclusin, sea previamente conocida, al menos como hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa. Por ello se construye un clculo mediante cadenas deductivas: Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento. Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues garantizan, por su carcter tautolgico, el valor V). Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas bien formadas en las relaciones que puedan establecerse entre dichas premisas. Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas. Cuando en un clculo se establecen algunas leyes como principios o axiomas, el clculo se dice que es axiomtico. El clculo lgico as puede utilizarse como demostracin argumentativa.

Tabla de verdad

17

Aplicaciones
Clculo lgico
La aplicacin fundamental se hace cuando se construye un sistema lgico que modeliza el lenguaje natural sometindolo a unas reglas de formalizacin del lenguaje. Su aplicacin puede verse en el clculo lgico.

Lgica de circuitos
Una aplicacin importante de las tablas de verdad procede del hecho de que, interpretando los valores lgicos de verdad como 1 y 0 (lgica positiva) en el sentido que valor "1" permite el paso de corriente elctrica; y valor "0" corta el paso de dicha corriente. Los valores de entrada o no entrada de corriente a travs de un diodo pueden producir una salida 0 1 segn las condiciones definidas como funcin segn las tablas mostradas anteriormente.

Puertas lgicas para circuitos elctricos

As se establecen las algunas funciones bsicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la funcin NOT. En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una tabla anloga de 16 funciones como la presentada arriba, con sus equivalentes en lgica de circuitos.
EA OR EA OR EA EB NOT BUFFER NOT(EA) BUFFER XNOR (EB) EA OR EB EB EB EA EA AND NAND EB EB EA XOR EB EA AND NOT NOT(EB) NOT(EA) NOT(EA) EB OR EB NOR Falso

EA EB Verdad

1 1 0 0

1 0 1 0

1 1 1 1

1 1 1 0

1 1 0 1

1 1 0 0

1 0 1 1

1 0 1 0

1 0 0 1

1 0 0 0

0 1 1 1

0 1 1 0

0 1 0 1

0 1 0 0

0 0 1 1

0 0 1 0

0 0 0 1

0 0 0 0

Esta aplicacin hace posible la construccin de aparatos capaces de realizar estas computaciones a alta velocidad, y la construccin de circuitos que utilizan este tipo de anlisis se hace por medio de puertas lgicas. La Tabla de la verdad es una herramienta imprescindible en la recuperacin de datos en las bases de datos como Internet con los motores de bsqueda o en una biblioteca con sus ficheros informatizados. As mismo se utilizan para programar simulaciones lgicas de inteligencia artificial con lenguajes propios. Tambin en modelos matemticos predictores: meteorologa, marketing y otros muchos.

Tabla de verdad

18

Desarrollo del algoritmo fundamental en lgica de circuitos


La definicin de la tabla de verdad corresponde a funciones concretas, en cada caso, as como a implementaciones en cada una de las tecnologas que pueden representar funciones lgicas en binario, como las puertas lgicas o los circuitos de conmutacin. Caso 1

El primer caso en una funcin lgica que para todas las posibles combinaciones de A y B, el resultado siempre es verdadero, es un caso de tautologa, su implementacin en un circuito es una conexin fija.

Caso 2

En este segundo caso el resultado solo es falso si A y B son falsos, si una de las dos variables es cierta el resultado es cierto. La funcin seria:

Caso 3

En el tercer caso el resultado es cierto si A es cierto y cuando A y B son falsos el resultado tambin es cierto. Su funcin seria:

Tabla de verdad Caso 4

19

En el cuarto caso la funcin es cierta si A es cierta, los posibles valores de B no influyen en el resultado. La funcin solo depende de A:

Caso 5

En el quinto caso si A es falso el resultado es verdadero, y si A y B son verdaderos el resultado tambin es verdadero, puede verse que este caso es idntico al tercero permutando A por B. Y si funcin es:

Caso 6

En el sexto caso la funcin es cierta si B es cierta, los valores de A no influyen en el resultado. La funcin solo depende de B:

Caso 7

El sptimo caso corresponde a la relacin bicondicional entre A y B, el resultado solo es cierto si A y B son ciertos o si A y B son falsos.

Tabla de verdad

20

Caso 8

En el octavo caso el resultado es cierto si A y B son ciertos, en el resto de los valores de A y B el resultado es falso, corresponde a la conjuncin de A y B, equivalente a un circuito en serie.

Caso 9

En el noveno caso el resultado solo es falso si A y B son ciertos, en el resto de los valores de A y B el resultado es verdadero, corresponde a la disyuncin de la negacin A y de B, equivalente a un circuito en paralelo de conexiones inversas.

Caso 10

Podemos ver que el dcimo caso es lo opuesto a la bicondicional, solo es cierto si A y B discrepan, si A y B son diferentes el valor es cierto, si A y B son iguales el resultado es falso.

Caso 11

Tabla de verdad En este caso posemos ver que cuando B es cierto el resultado es falso y que cuando B es falso el resultado es verdadero, independientemente del valor de A, luego la funcin solo depende de B, en sentido inverso.

21

Caso 12

En el caso doce, vemos que solo hay un combinacin de A y B con resultado verdadero, que es A y la negacin de B.

Caso 13

En el caso decimotercero podemos ver que el resultado es el opuesto de A, independientemente del valor de B:

Caso 14

Caso decimocuarto, el resultado de la funcin solo es cierto si A es falso y B verdadero, luego es equivalente a un circuito en serie de A en conexin inversa y de B en conexin directa.

Caso 15

En el caso decimoquinto, el resultado solo es cierto si A y B son falsos, Luego es necesario que Tanto A como B sean falsos para que el resultado sea verdadero.

Tabla de verdad Caso 16

22

Por ultimo en el caso decimosexto, tenemos que el resultado siempre es falso independientemente de los valores de A o de B.

Vase tambin
Operador lgico Anexo:Tabla de smbolos matemticos Lenguaje formalizado lgebra de Boole Clculo lgico Lgica binaria Lgica proposicional Puerta lgica Funcin lgica

Notas y referencias
[1] truth table (http:/ / www. oxfordreference. com/ views/ ENTRY. html?subview=Main& entry=t82. e2895) (en ingls), The Concise Oxford Dictionary of Mathematics, Oxford University Press, , consultado el 8 de octubre de 2009 [2] Las letras A y B son metavariables, es decir pertenecen a un metalenguaje respecto a un lenguaje-objeto; por ello simbolizan cualquier proposicin, atmica o no, del lenguaje de la lgica proposicional.

Enlaces externos
http://www.mitecnologico.com/Main/TablasDeVerdad

Lgica proposicional

23

Lgica proposicional
En lgica, la lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos. En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad.[1] Como otros sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza.

Introduccin
Considrese el siguiente argumento: 1. Maana es mircoles o maana es jueves. 2. Maana no es jueves. 3. Por lo tanto, maana es mircoles. Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo: 1. Est soleado o est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: 1. Ni est soleado ni est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as: 1. p o q 2. No q 3. Por lo tanto, p Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as: 1. Ni p ni q 2. No q 3. Por lo tanto, p

Lgica proposicional

24

Conectivas lgicas
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas.
Conectiva Expresin en el lenguaje natural no y o Ejemplo Smbolo en Smbolos este artculo alternativos

Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente

No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado.

si... entonces y solo.....si Si est soleado, entonces es de da. si y slo si ni... ni o bien... o bien Est nublado si y slo si hay nubes visibles. Ni est soleado ni est nublado. O bien est soleado, o bien est nublado.

En la lgica proposicional, las conectivas lgicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo. El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.
Negacin Conjuncin Disyuncin Condicional Bicondicional

Lmites de la lgica proposicional


La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: 1. Todos los hombres son mortales. 2. Scrates es un hombre. 3. Por lo tanto, Scrates es mortal. Como este argumento no contiene ninguna de las conectvias no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: 1. p 2. q 3. Por lo tanto, r Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables

Lgica proposicional proposicionales. De esto se ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.

25

Dos sistemas formales de lgica proposicional


A continuacin se presentan dos sistemas formales estndar para la lgica proposicional. El primero es un sistema axiomtico simple, y el segundo es un sistema sin axiomas, de deduccin natural.

Sistema axiomtico
Alfabeto El alfabeto de un sistema formal es el conjunto de smbolos que pertenecen al lenguaje del sistema. Si L es el nombre de este sistema axiomtico de lgica proposicional, entonces el alfabeto de L consiste en: Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subndices cuando es necesario o conveniente. Las variables proposicionales representan proposiciones como "est lloviendo" o "los metales se expanden con el calor". Un conjunto de operadores lgicos: Dos signos de puntuacin: los parntesis izquierdo y derecho. Su nica funcin es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresin 2 + 2 2, que puede significar tanto (2 + 2) 2, como 2 + (2 2). Gramtica Una vez definido el alfabeto, el siguiente paso es determinar qu combinaciones de smbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramtica formal. La misma consiste en un conjunto de reglas que definen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres construidas segn estas reglas se las llama frmulas bien formadas. Las reglas del sistema L son: 1. Las variables proposicionales del alfabeto de L son frmulas bien formadas. 2. Si 3. Si es una frmula bien formada de L, entonces y son frmulas bien formadas de L, entonces tambin lo es. , , y tambin

lo son. 4. Slo las expresiones que pueden ser generadas mediante las clusulas 1 a 3 en un nmero finito de pasos son frmulas bien formadas de L. Segn estas reglas, las siguientes cadenas de caracteres son ejemplos de frmulas bien formadas:

Y los siguientes son ejempos de frmulas mal formadas:

Lgica proposicional

26

Por otra parte, dado que la nica funcin de los parntesis es desambiguar las frmulas, en general se acostumbra omitir los parntesis externos de cada frmula, ya que estos no cumplen ninguna funcin. As por ejemplo, las siguientes frmulas generalmente se consideran bien formadas:

Otra convencin acerca del uso de los parntesis es que las conjunciones y las disyunciones tienen menor jerarqua que los condicionales materiales y los bicondicionales. Esto significa que dada una frmula sin parntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo:
Frmula Lectura correcta Lectura incorrecta

Axiomas Los axiomas de un sistema formal son un conjunto de frmulas bien formadas que se toman como punto de partida para demostraciones ulteriores. Un conjunto de axiomas estndar es el que descubri Jan ukasiewicz: Reglas de inferencia Una regla de inferencia es una funcin que va de conjuntos de frmulas a frmulas. Al conjunto de frmulas que la funcin toma como argumento se lo llama premisas, mientras que a la frmula que devuelve como valor se la llama conclusin. En general se busca que las reglas de inferencia transmitan la verdad de las premisas a la conclusin. Es decir, que sea imposible que las premisas sean verdaderas y la conclusin falsa. En el caso de L, la nica regla de inferencia es el modus ponens, el cual dice:

Recordando que bien formada.

no son frmulas, sino metavariables que pueden ser reemplazadas por cualquier frmula

Ejemplo de una demostracin

Lgica proposicional

27

A demostrar: Paso 1 2 3 4 5 Frmula Razn Instancia del primer axioma. Instancia del primer axioma. Instancia del segundo axioma. Desde (2) y (3) por modus ponens. Desde (1) y (4) por modus ponens. QED

Deduccin natural
Un sistema de lgica proposicional tambin puede construirse a partir de un conjunto vaco de axiomas. Para ello se especifican una serie de reglas de inferencia que intentan capturar el modo en que naturalmente razonamos acerca de las conectivas lgicas. Introduccin de la negacin: Si suponer lleva a una contradiccin, entonces se puede inferir que (reduccin al absurdo).

Eliminacin de la negacin:

Introduccin de la conjuncin:

Eliminacin de la conjuncin:

Introduccin de la disyuncin:

Eliminacin de la disyuncin:

Introduccin del condicional (vase el teorema de la deduccin): Si suponer lleva a una prueba de , entonces se puede inferir que .

Eliminacin del condicional (modus ponens):

Introduccin del bicondicional:

Eliminacin del bicondicional:

Lgica proposicional Ejemplo de una demostracin


A demostrar: Paso 1 2 3 4 5 6 Frmula Supuesto. Desde (1) por introduccin de la disyuncin. Desde (1) y (2) por introduccin de la conjuncin. Desde (3) por eliminacin de la conjuncin. Resumen de (1) hasta (4). Desde (5) por introduccin del condicional. QED Razn

28

Lenguaje formal en la notacin BNF


El lenguaje formal de la lgica proposicional se puede generar con la gramtica formal descrita usando la notacin BNF como sigue:

La gramtica anterior define la precedencia de operadores de la siguiente manera: 1. 2. 3. 4. 5. Negacin ( ) Conjuncin ( ) Disyuncin ( ) Condicional material ( Bicondicional ( )

Semntica
Una interpretacin para un sistema de lgica proposicional es una asignacin de valores de verdad para cada variable proposicional, sumada a la asignacin usual de significados para los operadores lgicos. A cada variable proposicional se le asigna uno de dos posibles valores de verdad: o V (verdadero) o F (falso). Esto quiere decir que si hay n variables proposicionales en el sistema, el nmero de interpretaciones distintas es de 2n. Partiendo de esto es posible definir una cantidad de nociones semanticas. Si A y B son frmulas cualquiera de un lenguaje L, es un conjunto de frmulas de L, y M es una interpretacin de L, entonces: A es verdadera bajo la interpretacin M si y slo si M asigna el valor de verdad V a A. A es falsa bajo la interpretacin M si y slo si M asigna el valor de verdad F a A. A es una tautologa (o una verdad lgica) si y slo si para toda interpretacin M, M asigna el valor de verdad V a A. A es una contradiccin si y slo si para toda interpretacin M, M asigna el valor de verdad F a A. A es consistente (o satisfacible) si y slo si existe al menos una interpretacin M que asigne el valor de verdad V a A. es consistente si y slo si existe al menos una interpretacin que haga verdaderas a todas las frmulas en .

Lgica proposicional A es una consecuencia semntica de un conjunto de frmulas si y slo si para toda frmula B que pertenezca a

29

, no hay ninguna interpretacin en que B sea verdadera y A falsa. Cuando A es una consecuencia semntica de en un lenguaje L, se escribe: . A es una frmula lgicamente vlida si y slo si A es una consecuencia semntica del conjunto vaco. Cuando A es una frmula lgicamente vlida de un lenguaje L, se escribe: .

Tablas de verdad
La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituy la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V.

Formas normales
A menudo es necesario transformar una frmula en otra, sobre todo transformar una frmula a su forma normal. Esto se consigue transformando la frmula en otra equivalente y repitiendo el proceso hasta conseguir una frmula que slo use los conectivos bsicos ( ). Para lograr esto se utilizan las equivalencias lgicas:

Por ejemplo, considrese la siguiente frmula:

La misma puede desarrollarse as:

Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si tiene la siguiente forma:

donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal disyuntiva:

Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si tiene la siguiente forma:

donde cada A es una disjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal conjuntiva:

Lgica proposicional Por las leyes de De Morgan, es posible pasar de una forma normal disyuntiva a una forma normal conjuntiva y viceversa:

30

Las FNC y FND son mutuamente duales. La demostracin hace uso de las leyes de De Morgan y de la propiedad distributiva de la conjuncin y la disyuncin. Se debe cumplir que:

Y viceversa:

La lgica proposicional y la computacin


Debido a que los computadores trabajan con informacin binaria, la herramienta matemtica adecuada para el anlisis y diseo de su funcionamiento es el lgebra de Boole. El lgebra de Boole fue desarrollada inicialmente para el estudio de la lgica. Ha sido a partir de 1938, fecha en que Claude Shannon public un libro llamado "Anlisis simblico de circuitos con rels", estableciendo los primeros conceptos de la actual teora de la conmutacin, cuando se ha producido un aumento considerable en el nmero de trabajos de aplicacin del lgebra de Boole a los computadores digitales. Hoy en da, esta herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el anlisis y sntesis de combinaciones complejas de circuitos lgicos puede realizarse con rapidez.

Aristteles con respecto al estudio de la lgica


La lgica es conocida como una de las ciencias ms antiguas, tanto es as que se le atribuye a Aristteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristteles haber sido el primero en tratar con todo detalle la lgica, se le considera pues ser su fundador. En un principio se llam Analtica, en virtud del ttulo de las obras en que trat los problemas lgicos. Ms tarde los escritos de Aristteles relativos a estos eventos fueron recopilados por sus discpulos con el ttulo de Organon, por considerar que la lgica era un instrumento para el conocimiento de la verdad. Aristteles se planteo cmo es posible probar y demostrar que un conocimiento es verdadero, es decir, que tiene una validez universal. Aristteles encuentra el fundamento de la demostracin en la deduccin, procedimiento que consiste en derivar un hecho particular de algo universal. La forma en que se afecta esa derivacin es el silogismo, por cuya razn la silogstica llega a ser el centro de la lgica aristotlica.

Vase tambin
lgebra de Boole Clculo lgico Clculo proposicional de Frege Grficos existenciales Lgica matemtica Lgica de primer orden Lgica modal Tabla de valores de verdad Teora de grafos

Silogismo Valor de verdad

Lgica proposicional

31

Notas y referencias
[1] Simon Blackburn, ed., propositional calculus (http:/ / www. oxfordreference. com/ views/ ENTRY. html?subview=Main& entry=t98. e2552) (en ingls), Oxford Dictionary of Philosophy, Oxford University Press, , consultado el 13 de agosto de 2009

Bibliografa adicional
Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press. Hamilton, A. G. (1981). Lgica para matemticos. Paraningo. Mendelson, E. (1997). Introduction to Mathematical Logic (4 edicin). Chapman and May. Pla, J. (1991). Llions de lgica matemtica. P.P.U.. Badesa, C.; Jan, I.; Jansana, R. (1998). Elementos de lgica formal. Ariel. Barnes, D. W.; Mack, J. M. (1978). Una introduccin algebraica a la lgica matemtica. Eunibar. Bridge, J. (1977). Beginning Model Theory. Oxford University Pres. Ershov, Y.; Paliutin, E. (1990). Lgica matemtica. Mir. Hofstadter, D. (1987). Gdel, Escher, Bach: un Eterno y Grcil Bucle. Tusquets Editores. Jan, I. (1989). lgebras de Boole y lgica. Publicaciones U.B.. Monk, J. D. (1976). Mathematical Logic. Springer-Verlag. Nidditch, P. H. (1978). El desarrollo de la lgica matemtica. Ctedra.

Van Dalen, D. (1983). Logic and Structure (2 edicin). Universitext, Springer-Verlag.

Enlaces externos
Introduccin a la lgica proposicional (http://portales.educared.net/wikiEducared/index. php?title=Lgica_proposicional)

Fuentes y contribuyentes del artculo

32

Fuentes y contribuyentes del artculo


Teora de la argumentacin Fuente: http://es.wikipedia.org/w/index.php?oldid=47381015 Contribuyentes: Argumento Fuente: http://es.wikipedia.org/w/index.php?oldid=49692861 Contribuyentes: Argumento (lgica) Fuente: http://es.wikipedia.org/w/index.php?oldid=42272982 Contribuyentes: Premisa Fuente: http://es.wikipedia.org/w/index.php?oldid=49568146 Contribuyentes: Conclusin Fuente: http://es.wikipedia.org/w/index.php?oldid=49575186 Contribuyentes: Validez (lgica) Fuente: http://es.wikipedia.org/w/index.php?oldid=49054076 Contribuyentes: Consecuencia lgica Fuente: http://es.wikipedia.org/w/index.php?oldid=49430815 Contribuyentes: Tabla de verdad Fuente: http://es.wikipedia.org/w/index.php?oldid=49697309 Contribuyentes: Lgica proposicional Fuente: http://es.wikipedia.org/w/index.php?oldid=49498240 Contribuyentes: -

Fuentes de imagen, Licencias y contribuyentes

33

Fuentes de imagen, Licencias y contribuyentes


Archivo:Spanish Wikiquote.SVG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Spanish_Wikiquote.SVG Licencia: logo Contribuyentes: James.mcd.nz Archivo:TE Interu 3A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_3A.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 1A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1A.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 1B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1B.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Conex 05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_05.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Conex 09.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_09.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Conex 14.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_14.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 2A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_2A.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 08.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_08.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Conex 12.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_12.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 2B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_2B.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Conex 00.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_00.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 1C.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1C.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:Puertas lgicas de circuitos.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puertas_lgicas_de_circuitos.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: MONIMINO Archivo:TE Interu 05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_05.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 3B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_3B.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 4B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_4B.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 07.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_07.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:TE Interu 06.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_06.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72

Licencia

34

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/