Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los aos 1880, siendo sin embargo ms popular el formato que Ludwig Wittgenstein desarroll en su Tractatus logico-philosophico, publicado en 1918 por Bertrand Russell

Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los aos 1880, siendo sin embargo ms popular el formato que Ludwig Wittgenstein desarroll en su Tractatus logico-philosophico, publicado en 1918 por Bertrand Russell. Se emplean en lgica para determinar los posibles valores de verdad de una expresin o proposicin. O si un esquema de inferencia, como argumento, es formalmente vlido mostrando que, efectivamente, es una tautologa.

Conectivos (Operadores) Lgicos.-Son aquellos que sirven para formar proposiciones ms complejas (compuestas o moleculares).

Conectivos Lgicos:ConectivoProp. Compuesta

NOTNegacin

AND^Conjuncin

ORvDisyuncin inclusiva

OR exclusivovDisyuncin exclusiva

Condicional

Bicondicional

Tablas de verdad de los Conectivos LgicosA. Negacin.-Ejemplo:p.- Juan conversa-p.- Juan no conversaB. Conjuncin.-Ejemplo:P: La casa est sucia.Q: La empleada la limpia maanaP Q: La casa esta sucia y la empleada la limpia maanaC. Disyuncin.-D. Disyuncin exclusiva.-Ejemplo:P: Pedro juega bsquetQ: Mara juega ftbol

PvQ: Pedro juega bsquet o Mara juega ftbol.

E. Condicional.-Ejemplo:P:Si me saco la loteriaQ: Te regalar un carroP Q: Si me saco la lotera entonces te regalar el carro.F. Bicondicional.-EjemploP: Simn Bolivar viveQ: Montalvo est muertoP Q: Simn Bolivar vive si y solo si Montalvo est muerto.Traduccin de proposiciones compuestas de lenguaje comn a lenguaje formal.-Para realizar este proceso seguimos los siguientes pasos:

( Identificar las proposiciones simples.

( Dar nombre a cada proposicin simple.

( Identificar los conectivos utilizados.

( De los conectivos identificar el principal.

( Traducir al lenguaje formal

Tautologa

Etimolgicamente significa decir lo mismo. En el lenguaje ordinario decimos que un discurso es tautolgico cuando repite siempre lo mismo, lo que equivale a su minusvaloracin.

En lingstica, una tautologa es una redundancia debida a una calificacin superflua (p. ej. "innovacin novedosa", "mundo mundial"). Suele entenderse como una falta de estilo, aunque a veces se utiliza intencionadamente para dar nfasis, por ejemplo "Le voy a entregar un obsequio gratis". En este sentido, tambin puede llamrselas 'pleonasmos'.

Sin embargo en lgica se entiende por tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran.

Tautologa:en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es vlido.

Consideremos la proposicin cuya tabla de verdad siempre ser verdadera. Es una tautologa. Como cuando aseguramos como verdadero que o llueve o no llueve.

Pero en lgica lo tautolgico se convierte en la esencia del discurso deductivo, o mejor dicho de la inferencia deductiva.

Entendemos por inferencia o deduccin el proceso mediante el cual dando validez a una o varias proposiciones, llamadas antecedente, podemos obtener otra proposicin, llamada consecuente, con garanta de ser verdadera.

TautologasSe entiende por proposicin tautolgica, otautologa, 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 de unas con otras.

Contingencia:Nocin filosfica que resulta particularmente til para el razonamiento geogrfico. Lalande remite a Aristteles para el sentido general del trmino: "es contingente todo lo que es concebido como pudiendo ser o no ser en algn sentido y bajo la reserva que sea... (De manera que) un acontecimiento futuro es contingente si, siendo todas las cosas lo que son, ese futuro puede producirse o no producirse". (El trmino se opone en todos sus sentidos a "necesario"). El problema es entonces saber en qu condiciones un suceso es contingente, y al mismo tiempo cmo puede producirse a pesar de ese mismo carcter de contingente. Este problema merece ser evocado aqu, porque muchas situaciones geogrficas o configuraciones espaciales pueden ser interpretadas al menos en parte en trminos de contingencia.

La contingencia, dice nuestro filsofo, significa "indiferencia, nula posibilidad, insuficiencia radical para empezar a ser y seguir siendo";

por eso, segn l, "nuestra posicin de contingentes est entre dos extremos, entre la imposibilidad absoluta de ser y la necesidad absoluta de ser".

Consideramos que "la imposibilidad absoluta de ser" es la ausencia total de realizacin porque lo que no existe no puede actuar; de nada puede ser causa, de donde se sigue que el hombre, per se, nunca podr existir. Por tanto "contingencia es nula posibilidad" Mas la persona existe, pero por otro, porque es posible que as suceda. La posibilidad necesariamente se encuentra en una realidad y el hombre, en ltima instancia, existe porque Dios le ha dado el ser. Con relacin a l, la persona se aleja, por as decirlo, de la imposibilidad per se para hallarse en la posibilidad per aliud. En este aspecto, el hombre en cuanto existente real se ha distanciado de la posibilidad de ser; est fuera de ella y, por ende, no puede regresar y permanecer all para que nuevamente comience a ser. Por consiguiente, ya siendo, la persona no puede hallarse en la imposibilidad absoluta per se ni en la posibilidad per aliud.