Proposiciones simples, fórmulas proposicionales y su clasificación(tautología, anti-tautología, contingencia), tablas de valores de verdad

 Proposiciones simples.- 

• Son aquellas proposiciones que solo tienen un solo enunciado. Ejemplos.

Proposiciones compuestas o fórmulas proposicionales.-

• Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes. En otras palabras, es aquella que forman 2 o más proposiciones simples unidad por uno o más conectivos lógicos. Ejemplos.

Clasificación de las formulas proposicionales.- 

• Tautología.- En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.Información y Video.

• Anti-tautolgía.- 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 lógicas. Información y Video.

• Contingencia.- Son aquellas fórmulas cuyo valor de verdadero/falso depende de la valoración de los símbolos proposicionales que contiene. Las proposiciones dan un resultado negativo y positivo. Video.

Tablas de valores de verdad.- 

• Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.​

  Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921. Información y Video.