2024-03-29T08:48:02Zhttp://buleria.unileon.es/oai/requestoai:buleria.unileon.es:10612/6342023-04-13T07:37:23Zcom_10612_381com_10612_374col_10612_403
Fernández Díez, Gustavo
1998-06-22
2011-02-01T10:57:09Z
2011-02-01T10:57:09Z
2011-02-01T10:57:09Z
0212-6192
http://hdl.handle.net/10612/634
En este trabajo se describe una prueba directa (sin usar el teorema de compacidad) del hecho de que el método de árboles o tablas semánticas de primer orden es completo en el sentido fuerte, es decir: que si una fórmula ϕ es una consecuencia de primer orden de un conjunto arbitrario de fórmulas Φ (no necesariamente contable), entonces existe un subconjunto finito Φ0 de Φ tal que el conjunto Φ0 ∪ { ¬ϕ } genera una tabla cerrada. Además, se hará una observación incidental sobre un aspecto de la monotonía del método de tablas que ha dado lugar a algún error en la literatura publicada
en
Universidad de León
Atribución-NoComercial-CompartirIgual 4.0 Internacional
http://creativecommons.org/licenses/by-nc-sa/4.0/
Lógica
Completud fuerte
Prueba de Henkin
Tablas semánticas
Método de árboles
Monotonía
The strong completeness of the tableau method
info:eu-repo/semantics/contributionToPeriodical
Contextos