Introducción a la teoría de la deducción: aspectos sintácticos de la lógica

afirmación aparición aplicar aritmética Asociatividad axiomas específicos axiomas esquemas axiomas lógicos axiomas propios básicas ción conclusión condicional conectivos conjunción conjunto de axiomas conjunto de fórmulas consecuencia cuantificador cuantificador existencial cuantificador universal debe decir deduce definición definir demostración depende disyunción Eduardo Rabossi ejemplo elementos embargo entonces enunciado equivalencia estructura expresión extra-lógicos filosofía FOR(L formalización función guaje hipótesis igualdad implica inducción inductivo interpretación intuitivamente lenguaje de primer lenguaje formal lenguaje natural lenguaje objeto León Henkin LIBRARIES lingüística llama lógica clásica lógica pura LOGICA Y LENGUAJE lógicamente válida Lungarzo manera metalenguaje METATEOREMA metavariables mética mundo negación nociones notación números naturales OBSERVACION Obsérvese obtener operadores podemos predicado premisas primer orden problema proposición reemplazar regla de deducción reglas esquemas relación semántica siguiente silogismo disyuntivo símbolos lógicos sintáctico sistema de lógica Supongamos tautología teorema lógico teoría de modelos teoría de números términos universal usual utiliza validez valuación variables libres verdadera X₁