Algunos autores (Nilsson) usan "fórmula bien formada" o wff por sus
Anuncio
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 "⇒"):
