Demostraciones, Validéz

Validez de un razonamiento

Un razonamiento es válido cuando la forma proposicional que representa su estructura lógica es una tautología. Si dicha forma proposicional es una contradicción o contingencia, entonces el razonamiento no es válido, en cuyo caso se denomina falacia. 

TAUTOLOGICA:

Es una expresión lógica  que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad. La construcción de una tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una tautología o no.

Por ejemplo:

 

 

CONTRADICCIÓN

Una proposición es una contradicción, si es falsa para todos sus valores de verdad .

Por ejemplo:

CONTINGENCIA

Una proposición es una contingencia si no es ni verdadera ni  falsa independientemente de los valores de verdad de las proposiciones simples que la componen.

Por ejemplo: