No se ha añadido ninguna twiki todavía.

Noción clásica y fundamental de la lógica que define la validez, o corrección formal, de un razonamiento por la «forma válida». Un razonamiento es válido si su forma es válida y una forma es válida si, para todo ejemplo que tenga la misma forma sucede que es imposible que las premisas sean verdaderas y la conclusión falsa. También se dice que una forma es válida si la fórmula que le corresponde es siempre verdadera, o una verdad lógica, o una tautología.