Anexo 4 al archivo " logica_prop_y_de_1r_orden.pdf ": Definición de Prueba Algunos autores (Nilsson) usan "fórmula bien formada" o wff por sus siglas en ingles como sinónimo de "oración" en lógica proposicional. Definición. La secuencia de wffs {w1, w2, ..., wn} se llama una prueba de wn desde un conjunto de wffs ∆ siempre y cuando cada wi de la secuencia o pertenece a ∆, o puede ser derivada por uno de los patrones de inferencia desde una(s) wff(s) anterior(es) de la secuencia. La notación ∆ ⊢ wn significa que "wn puede ser derivada de ∆". Sea ℛ un conjunto específico de los patrones de inferencia, la notación ∆ ⊢ℛ wn significa que "wn puede ser derivada de ∆ a través de ℛ ". Ejemplo. Sea ∆ representado por conjunto de wffs {P, R, P⇒Q}, la prueba de Q∧R está representada por {P, P⇒Q , Q, R, Q∧R }. Ejercicio. Mostrarlo. La prueba puede ser representada mediante árbol de prueba (símbolo "⊃" en la figura copiada del libro de Nilsson sustituye a "⇒"):