Un árbol de prueba es un árbol cuyos nodos son fórmulas lógicas. Los árboles de prueba surgen en la lógica matemática en la configuración de sistemas de prueba.
Supongamos que se nos da un sistema de prueba. Un árbol de prueba representa la prueba de la fórmula que se encuentra en la raíz del árbol que usa las reglas y los axiomas del sistema de prueba. Las hojas del árbol de pruebas son axiomas o suposiciones y si un nodo que no es una hoja está etiquetado [math] F [/ math] y tiene hijos [math] F_1, \ ldots, F_n [/ math], entonces esto significa que hay es una regla de prueba en el sistema de prueba en consideración que tiene premisas [matemáticas] F_1, \ ldots, F_n [/ matemáticas] y conclusión [matemáticas] F [/ matemáticas]. A continuación se muestra un árbol de prueba de ejemplo de la fórmula [matemáticas] (B \ rightarrow C) \ rightarrow (A \ rightarrow C) [/ math]; El sistema de prueba es un sistema de prueba de deducción natural en lógica proposicional con las reglas habituales de introducción y eliminación.
- ¿La lógica y las matemáticas se mantienen en todos los universos posibles?
- Cómo calcular el día correspondiente a la fecha de cualquier año
- ¿Cuál es el mejor truco para resolver preguntas de razonamiento lógico?
- ¿Qué es la realizabilidad?
- ¿Cuáles son algunas soluciones para el dilema del creador del creador?