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.
