PRUEBA FORMAL DE VALIDEZ:
El método de tablas de verdad es un modo hasta cierto punto mecánico y sencillo de probar
la validez o invalidez de un razonamiento deductivo.Tiene el inconveniente de que, para
razonamientos de cierta complejidad, resulta engorroso y tardado elaborarlo.
Este método consiste en inferir la conclusión de un razonamiento a partir de sus premisas,
usando reglas de inferencia.
Las reglas de inferencia, están compuestas por letras minúsculas(p,q,r. etc.).Están se
conocen como variables enunciativas o variables proposicionales.Son letras minúsculas de
la sección media del abecedario (a partir de la “p”) que representan proposiciones.
La razón de esto se encuentra en que con las variables proposicionales y las conectivas
lógicas se constituyen las “formas argumentales”, que son secuencias de variables
proposicionales y nexos lógicos, cuya función consiste en representar la estructura ,más
básica de una razonamiento, todas las reglas de inferencia son más argumentales.
Las reglas de inferencia, como hemos dicho, representan la forma o estructura de
razonamientos deductivos válidos. Pero, como tales, representan también la relación de
consecuencia o implicación entre las premisas y la conclusión.
Reconocer la estructura de un razonamiento y saber inferir la conclusión respectiva
constituyen las dos habilidades para construir una prueba formal de validez.
La prueba formal puede describirse como el análisis o descomposición de ese tejido, de
modo que en ella se va haciendo evidente cada uno de los pasos que llevan a la conclusión.
La construcción de pruebas formales no es un método mecánico como las tablas de verdad;
requiere algo de creatividad, que presupone no solo para la memorización, sino el manejo
eficaz de las reglas de inferencia.
El método de tablas de verdad es un modo hasta cierto punto mecánico y sencillo de probar
la validez o invalidez de un razonamiento deductivo.Tiene el inconveniente de que, para
razonamientos de cierta complejidad, resulta engorroso y tardado elaborarlo.
Este método consiste en inferir la conclusión de un razonamiento a partir de sus premisas,
usando reglas de inferencia.
Las reglas de inferencia, están compuestas por letras minúsculas(p,q,r. etc.).Están se
conocen como variables enunciativas o variables proposicionales.Son letras minúsculas de
la sección media del abecedario (a partir de la “p”) que representan proposiciones.
La razón de esto se encuentra en que con las variables proposicionales y las conectivas
lógicas se constituyen las “formas argumentales”, que son secuencias de variables
proposicionales y nexos lógicos, cuya función consiste en representar la estructura ,más
básica de una razonamiento, todas las reglas de inferencia son más argumentales.
Las reglas de inferencia, como hemos dicho, representan la forma o estructura de
razonamientos deductivos válidos. Pero, como tales, representan también la relación de
consecuencia o implicación entre las premisas y la conclusión.
Reconocer la estructura de un razonamiento y saber inferir la conclusión respectiva
constituyen las dos habilidades para construir una prueba formal de validez.
La prueba formal puede describirse como el análisis o descomposición de ese tejido, de
modo que en ella se va haciendo evidente cada uno de los pasos que llevan a la conclusión.
La construcción de pruebas formales no es un método mecánico como las tablas de verdad;
requiere algo de creatividad, que presupone no solo para la memorización, sino el manejo
eficaz de las reglas de inferencia.
