Forma válida y forma no válida

Diremos que una forma es válida cuando es imposible que haya un razonamiento de esa forma con premisas verdaderas y conclusión falsa. Diremos que una forma no es válida cuando es posible que haya razonamientos de esa forma con premisas verdaderas y conclusión falsa. Llamaremos contraejemplo de una cierta forma de razonamiento, a un racionamiento que: primero tiene esa forma, segundo, sus premisas son verdaderas y su conclusión falsa. Entonces podremos decir que una forma de racionamiento es válida cuando no admite contraejemplos y que no es válida, cuando los admite. De esta manera, el uso de una forma válida garantiza absolutamente que si partimos de premisas verdaderas, llegaremos a una conclusión también verdadera. Una forma no válida, en cambio, no nos ofrece esa garantía.

Contar con formas cuya validez se conoce, nos permite mostrar, la verdad o falsedad de ciertos enunciados.Si logramos construir, de acuerdo con una forma válida, un racionamiento que parta de premisas verdaderas y que tenga cierto enunciado por conclusión, podemos estar totalmente seguros de la verdad de este enunciado.Por otro lado, si aplicando una forma válida llegamos a una conclusión que sabemos falsa, tenemos la seguridad absoluta que alguna de sus premisas, al menos, es también falsa.En consecuencia, disponer de formas válida nos permite elaborar racionamientos, tanto para demostrar como para refutar enunciados.