Proposiciones Simples

Son aquellas que no tienen oraciones componentes afectadas por

negaciones ("no") o términos de enlace como conjunciones ("y"),
disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden
aparecer términos de enlace en el sujeto o en el predicado, pero no
entre oraciones.

En lógica proposicional, aquella proposición que no puede

descomponerse en otras. También se la denomina proposición
atómica. Se denominan variables o letras proposicionales a los
símbolos que las representan.

Proposiciones Compuestas
Una proposición será compuesta si no es simple. Es decir, si está
afectada por negaciones o términos de enlace entre oraciones
componentes

Una proposición compuesta es una frase que consta de uno o varios

sujetos y de un predicado que afirma algo en torno a dichos
sujetos.Los sujetos de una proposicon simple deben ser todos
terminos singulares. El predicado debe contener un verbo que exprese
la accion sobre los sujetos.En matematicas se usan ciertos simbolos
para representar predicados de uso frecuente como: el simbolo “_”,
como representante del predicado “es igual a “, y el simbolo “<” como
sustituto de “es menor que”.

Tautología
En lógica proposicional, una tautología (del griego ταυτολογία, "decir
lo mismo") 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.1 2 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.
Contingencia

En lógica y filosofía, la contingencia es el modo de ser de lo que no

es necesario ni imposible, sino que puede ser o no ser el caso.1 En
general la contingencia se predica de los estados de cosas, los
hechos, los eventos o las proposiciones.1 Existe un debate sobre si es
aceptable hablar de entidades contingentes (o entidades necesarias o
imposibles),1 conocido como el debate en torno a las modalidades de
dicto (de la palabra) y de res (de la cosa).

La relación entre necesidad, posibilidad y contingencia es fácil de

malentender.1 Todo lo que es contingente es posible, pero no todo lo
que es posible es contingente, pues aquello que es necesario también
es posible, pero no es contingente. Por otra parte, no todo lo que no es
necesario es contingente, pues lo que es imposible no es ni necesario
ni contingente.

En lógica modal, se dice que una fórmula es contingente cuando es

verdadera en al menos un mundo posible y falsa en otro.