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.

	Creado por John Saboya hace alrededor de 9 años

objetivo 9