1TSM1_MARTINEZ_ANGIE_LOGICA PROPOSICIONAL

TABLA DE LA VERDAD

CONTRADICCIÓN

TATUTOLOGIA

CONTINGENCIA

es una proposición compuesta en la que para cualquier combinación de valores de verdad de las proposiciones simples siempre se obtiene como valor de verdad: verdadero (V). Por ejemplo, la proposición (p∧q)←→ ¬(¬p∨¬q) es una tautología (comprobarlo construyendo la tabla de verdad).

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

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.