Buscar

3.3: Compacidad
https://espanol.libretexts.org/?title=Matematicas/Logica_Matematica_y_Pruebas/Introducci%C3%B3n_amistosa_a_la_l%C3%B3gica_matem%C3%A1tica_(Leary_%26_Kristiansen)/03:_Completitud_y_compacidad/3.03:_Compacidad
El Teorema de la Completitud termina nuestro vínculo entre deducibilidad e implicación lógica. El Teorema de la Compacidad es nuestro primer uso de ese vínculo. En cierto sentido, lo que hace el Teore...El Teorema de la Completitud termina nuestro vínculo entre deducibilidad e implicación lógica. El Teorema de la Compacidad es nuestro primer uso de ese vínculo. En cierto sentido, lo que hace el Teorema de la Compacidad es centrar nuestra atención en la finitud de las deducciones, y entonces podemos comenzar a usar esa finitud en nuestro beneficio.
10.1: Introducción
https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/10%3A_El_teorema_de_la_completitud/10.01%3A_Introducci%C3%B3n
El teorema de la integridad es uno de los resultados más fundamentales sobre la lógica.
10.8: El teorema de la integridad
https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/10%3A_El_teorema_de_la_completitud/10.08%3A_El_teorema_de_la_integridad
Combinemos nuestros resultados: llegamos al teorema de integridad. $\Gamma$ Dejen ser un conjunto de oraciones. Si $\Gamma$ es consistente, es satisfecha.

Search