TAUTOLOGÍA

​

Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica.

Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad  para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Sea el caso: 

A: ( p ˅ ¬ p )  

​

​

​

​

​

​

​

                                                                                         CONTRADICIÓN

Si la tabla de verdad es siempre falsa, será una contradicción.

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. 

Sea el caso: 

A: ( p  ˄ ¬ p )  

​

​

​

​

​

​

​

                                                                                              CONTINGENCIA

Si es verdadera y falsa, la proposición es una contingencia.

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores de las proposiciones que la integran. (Matemáticas Discretas, 2011)

Sea el caso: 

A:  p  ˄ (p  ˅  ¬ p )  

​