http://www.paginasobrefilosofia.com/html/basico.

html

Tautologa
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda Para otros usos de este trmino, vase Tautologa (retrica).

En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien formada de un sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas.[1] [2] La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no.[2]

[editar] Tablas de verdad

Artculo principal: Tabla de verdad.

En un sistema de lgica proposicional, una interpretacin no es ms que una funcin que asigna un nico valor de verdad a todas las frmulas atmicas bajo consideracin. Diferentes interpretaciones, por lo tanto, difieren slo en las asignaciones de valores de verdad que hacen. Una tautologa es una frmula bien formada que bajo cualquier interpretacin de sus componentes atmicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una frmula cualquiera es una tautologa, basta con considerar todas las posibles interpretaciones de las frmulas atmicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considrese la frmula p q. Como a cada frmula atmica puede asignrsele uno de dos posibles valores de verdad, hay en total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son verdaderas; o p es verdadera y q falsa; o p es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la frmula p q. Los resultados pueden presentarse nuevamente mediante una tabla:

Esta es la tabla de verdad de la frmula p q. Como se ve, esta frmula slo es verdadera bajo una interpretacin: aquella en la que ambas frmulas atmicas son verdaderas. Una tautologa es una frmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las frmulas atmicas. Por lo tanto, p q no es una tautologa. En cambio, la siguiente tabla de verdad muestra una frmula que s lo es:

Si una frmula tiene n frmulas atmicas, entonces tiene 2n interpretaciones posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo importante, sin embargo, es que dado que la lgica proposicional no admite frmulas infinitas, el nmero de interpretaciones posibles siempre ser un nmero finito, y por lo tanto siempre ser posible decidir si una frmula cualquiera es una tautologa o no.

[editar] Vase tambin

PRINCIPIOS LGICOS
Son los fundamentos que determinan ciertas reglas a seguir, para lograr la coherencia y sistematicidad de los pensamientos en las formas y contenidos. En otras palabras, los principios lgicos son las leyes del pensamiento que nos aseguran su validez. *PRINCIPIO DE IDENTIDAD. Este principio expresa igualdad de la idea consigo misma. Este principio se representa mediante la frmula X es X. Ejemplo: Juan es Juan. A=A IMPORTANCIA Y VALIDEZ DEL PRINCIPIO DE IDENTIDAD. El principio de identidad cobra importancia para nuestro entendimiento en la medida que el predicado exprese notas complementarias al sujeto. De esta manera el principio de identidad ampla nuestro conocimiento. Si dentro del principio de identidad no es sustituido por nuevas notas, el principio no posee valor para nuestro conocimiento. Ejemplo: Bolvar es Bolvar ( no posee valor)Bolvar es el libertador de cinco naciones.Bolvar es el libertador de la Nueva Granada. En la segunda y tercera oracin, el sujeto va acompaado de dos adjetivos que al utilizarnos individualmente nos remiten al sujeto. As si decimos: El Libertador, sabemos que se est habando de Bolvar. *PRINCIPIO DE CONTRADICCIN. Este principio afirma la imposibilidad de concebir dos juicios contrarios y verdaderos con relacin a un mismo objeto. Si se tienen los juicios S es P y S no es P, es imposible que ambos juicios sean verdaderos a la vez, en el mismo tiempo y circunstancias. Ejemplo: los metales son duros, los metales no son duros. *PRINCIPIO DEL TERCERO EXCLUIDO. Dados dos juicios contradictorios entre s: (A es B); (A no es B), hemos de reconocer que alguno ser verdadero y el otro necesariamente falso, no existiendo un tercer modo de ser. Igualmente se excluye la posibilidad de un tercer juicio con los mismos elementos A y B. *PRINCIPIO DE RAZN SUFICIENTE. Este principio plantea la necesidad de justificar los conocimientos de una forma razonada, es decir, ordenada y lgica. Slo es verdadero aquello que se puede probar suficientemente, basndose en otros conocimientos o razones ya demostradas. Por ejemplo cuando se dice que el todo es mayor que las partes, esta afirmacin es un conocimiento verdadero, puesto que se ha comprobado que una parte es menor que el todo, ya sea por la experiencia o por pura intuicin.

Fuente: http://www.memo.com.co/fenonino/aprenda/filosofia/filosofia06.html#

ENLACES:

Principio de identidad: http://es.wikipedia.org/wiki/Principio_de_identidad Principio de tercer excluido: http://es.wikipedia.org/wiki/Principio_del_tercero_ excluido No contradiccin: http://es.wikipedia.org/wiki/Principio_de_no_contr adicci%C3%B3n Razn suficiente: http://es.wikipedia.org/wiki/Principio_de_raz %C3%B3n_suficiente

Otros Enlaces:

http://www.geocities.com/symbolos/rg_fil_logica2.htm http://www.conocimientosfundamentales.unam.mx/vol1/filosofia/m01/t01/ 01t01s02.html http://www.aulafacil.com/filosofia/curso/Lecc-5.htm

PRINCIPIOS LOGICOS QUE SON PRINCIPIOS LOGICOS: Son los principios que gobiernan el entendimiento Humano entero,cuales quiera que sean los objetos a los que aplican sus actividades ; eso Es lo que se llama tambin los principios directores del conocimiento. CUALES SON LOS PRINCIPIOS LOGICOS. LEY DE SEMEJANZAS: Las cosas o sucesos parecidos se enlazan entre si y con el Concepto que los agrupa. EJM : manzana,naranja concepto de fruta LEY DEL TODO Y LAS PARTES: Se puede observar algo y dividirlo en sus componentes , asi de un caballo podemos observar su cabeza,patas,cola,etc. LEY DE LAS CUALIDADES: Consiste en comparar las semejanzas y diferencias, es decir sus cualidades: la sal es salada. LEY DE CONTIGUIDAD: Relaciona lo que vemos siempre junto en nuestra

experiencia cotidiana,como el auto y la gasolina. LEY DE TEMPORALIDAD: Asocia conexiones en el tiempo: el sol y el dia, la noche y la luna. LEY DEL CONTRASTE: Reune las diferencias, como a la hormiga con el elefante. LEY DE CAUSALIDAD: Conecta cosas y hechos con la calle mojada. SIGNIFICADOS DE PRINCIPIOS LOGICOS LOS PRINCIPIOS LOGICOS COMO FORMULAS VALIDAS O LEYES DE LA LOGICA:Consideremos de cerca la relacion entre los principios, no contradiccin y tercero excluido. LOS PRINCIPIOS LOGICOS COMO REQUISITOS METODOLOGICOS: El segundo Plano, donde los principios se postulan como requisitos metodologicos. LA PRAXIS CIENTIFICA: teoria y practica cientifica en interaccion dialectica, como Se las encuentran en la realidad. LOS PRINCIPIOS LOGICOS COMO IMPERATIVOS PRACMATICOS: Lo particular de este nivel entre otras cosas, es que ahora los princios no son ni equivalentes ni interdefinibles. UN EJEMPLO DE NUDO: Tomemos primero el caso de un nudo, o sea, de Una paradoja de tipo izquierdo, relacionada con la contradiccin formal y la congruencia metodologica. PRINCIPIOS Y OXIOMAS: Estos principios o axiomas lgicos que han sido considerados como verdaderas leyes del pensamiento. IDENTIDAD: Definida principalmente desde la psicologia, se comprende como aquel ncleo del cual se conforma el yo. CONTRADICCION: La luz de la contradiccin en las cosas, es decir la ley de la unidad de los contrarios ,es la ley mas fundamental de la dialectica materialista. TERCER EXTRUIDO: Un proceso para extruir y depositar un material extruido que tiene un perfil de circulacin substancialmente continuo. RAZON SUFICIENTE: Se enuncia tradicionalmente como Nada es ( acontece); sin que haya una razon para que sea ( acontezca) , o sin que haya una razon que explique Que sea o que ( acontesca).