Prueba condicional

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Prueba formal

Una prueba condicional es una prueba que toma la forma de afirmar un condicional y probar que el antecedente del condicional conduce necesariamente al consecuente.

Resumen

El antecedente asumido de una prueba condicional se denomina suposición de prueba condicional (CPA). Por lo tanto, el objetivo de una prueba condicional es demostrar que si el CPA fuera verdadero, entonces necesariamente se sigue la conclusión deseada. La validez de una prueba condicional no requiere que el CPA sea verdadero, solo que si lo fuera conduciría al consecuente.

Las pruebas condicionales son de gran importancia en matemáticas. Existen pruebas condicionales que vinculan varias conjeturas que de otro modo no se probarían, de modo que la prueba de una conjetura puede implicar inmediatamente la validez de varias otras. Puede ser mucho más fácil mostrar que la verdad de una proposición se deriva de otra proposición que probarla de forma independiente.

Una famosa red de pruebas condicionales es la clase NP-completa de la teoría de la complejidad. Hay un gran número de tareas interesantes (ver Lista de problemas NP-completos), y aunque no se sabe si existe una solución en tiempo polinomial para alguna de ellas, se sabe que si tal solución existe para algunos de ellos, existe uno para todos ellos. Del mismo modo, la hipótesis de Riemann tiene muchas consecuencias ya probadas.

Lógica simbólica

Como ejemplo de una prueba condicional en lógica simbólica, supongamos que queremos probar A → C (si A, entonces C) a partir de las dos primeras premisas siguientes:

1.A → B("Si A, entonces B")
2.B → C("Si B, entonces C")

3.A(suposición de prueba condicional, "Supongamos que A es verdad")
4.B(siguiente de las líneas 1 y 3, modus ponens; "Si A entonces B; A, por lo tanto B")
5.C(siguiente de las líneas 2 y 4, modus ponentes; "Si B entonces C; B, por lo tanto C")
6.A → C(siguiente de las líneas 3–5, prueba condicional; "Si A, entonces C")

Contenido relacionado

Principio de composicionalidad

En semántica, lógica matemática y disciplinas afines, el principio de composicionalidad es el principio de que el significado de una expresión compleja...

Problema booleano de satisfacibilidad

Lógica india

El desarrollo de la lógica india se remonta al anviksiki de Medhatithi Gautama fundador de la escuela Nyaya de filosofía hindú; y el tetralema de Nagarjuna...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save