 Ayuda con Logica - sistemas Axiomaticos |
|
|
|
|
|
|
Foro fmat.cl > Programa Enseñanza Universitaria > Consultas > Banco de Problemas Resueltos > Álgebra > Teoría de Conjuntos  |
 Dec 3 2015, 09:35 PM
Publicado:
#1
|
|
|
Principiante Matemático  Grupo: Usuario FMAT Mensajes: 2 Registrado: 3-December 15 Miembro Nº: 142.823 Nacionalidad:  Sexo:   |
Considere que al lenguaje de la aritmética se le agrega una constante de individuo c. Sea AQ el conjunto de los axiomas de Q y sea Γ = AQ∪{¬c = 0,¬c = 1,¬c = 2,...}. Sea ∆ = {φ : Γ ⊢ φ}.
(a) ¿Es ∆ axiomatizable? Alguien puede guiarme para resolver el ejercicio? Gracias Mensaje modificado por rboyart el Dec 3 2015, 11:48 PM |
 |
 
|
|
1 usuario(s) está(n) leyendo esta discusión (1 invitado(s) y 0 usuario(s) anónimo(s))
0 miembro(s):
| Versión Lo-Fi | Fecha y Hora actual: 23rd November 2024 - 07:43 PM |
