teoria de la tabla de verdad

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgensteinen su Tractatus logico-philosophicus,publicado en 1921.


Tautología
Para otros usos de este término, véase Tautología (retórica).
En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicionalque resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a susfórmulas atómicas.1 2 La construcción deuna tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.2

Contradicción
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.
En lógica proposicional, una contradicción se define comouna fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. Por ejemplo, la siguiente tabla demuestra una contradicción:

Proposición
Para otros usos de este término, véase Proposición (desambiguación).
En filosofía y lógica, el término proposición se usa para referirse a:1
Las entidades portadoras de los valores deverdad.1
Los objetos de las creencias y de otras actitudes proposicionales.1
El significado de las oraciones demostrativas, como «el Sol es una estrella».1
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de un lenguajeformal.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es unaafirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.


Silogismo
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, desus libros conocidos como Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se conoció la obra en Europa Occidental-, Analytica Priora).
Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos, un sujeto yun predicado. Hoy se hablaría de proposición.


Filosofía de la lógica
La filosofía de la lógica es la rama de la filosofía que trata de la naturaleza y la justificación de los sistemas lógicos. Algunas preguntas fundamentales que plantea son:
¿Hay una única "verdad" lógica, o hay muchas igualmente correctas?
¿Es posible que haya desacuerdos acerca de si un principio lógico (como la ley delmedio excluido) es correcta?
¿Qué hace a una expresión una constante lógica?
¿Cuáles son las definiciones adecuadas de consecuencia lógica, cuantificación y otros conceptos lógicos?
¿Cuál es el alcance de la lógica?; por ejemplo, ¿envuelve a las matemáticas?
¿Es realmente lógica la lógica de segundo orden?
¿Es la lógica un problema de convención?
¿Es la lógica empírica?
¿Cuál es la...