FORMAS PROPOSICIONALES
Tautología: Se denomina Tautología, a una proposición que es cierta para cualquier valor de verdad de sus componentes. Por lo tanto, la última columna de su table de verdad estará formada únicamente por valores Verdaderos.
Contradicción:Se define como la negación de la Tautología, luego es una proposición falsa para cualquiera sea el valor de verdad de sus componentes. Por lo tanto, la última columna de su table de verdad estará formada únicamente por valores Falsos. A la Contradicción también se la conoce como Falacia.