Consecuencia Sintactica Flashcards
Por qué es necesaria la consecuencia sintáctica
Porque los métodos semánticos no son muy funcionales cuando las letras proposicionales son tantas que crean una serie exponencial de valuaciones
Diferencia entre consecuencia sintáctica y semántica
Una responde a la valuación y otra a la derivación
Qué es la derivación
Es una secuencia de fórmulas donde las primeras son las premisas y la última es la conclusión y las de entremedio son válidas gracias a las reglas de inferencia que preservan en sí la verdad, es decir, semánticamente podrían ser valoradas de esa manera, aunque esta noción en realidad no entra en juego.
estas reglas permiten eliminar o incluir conectivas
Eliminación de la conjunción
Si se ha legitimado psi y phi, se puede hacer uso de cualquiera de las fórmulaciones
Inclusión de la conjunción
Si tengo legitimado en un paso psi y en otro paso phi, puedo incluir la conectiva
Reglas de significado inferencial
La introducción y la eliminación de una conectiva me dicen qué es la conectiva en sí. cualquier cosa que sea una consecuencia lógica semánticamente lo será sintácticamente
Introducción de la disyunción 
Si tengo una fórmula ya legitimada Puedo meter cualquier cosa como su disyunto
Eliminación del condicional
Si puedo probar el antecedente tengo el consecuente
Derivación por el absurdo
De un supuesto negado y una contradicción tengo una doble negación por medio de la cual puedo afirmar la fórmula no negada del primer supuesto
