Inferencia en lógica proposicional

• notación:
  es una notación alternativa de , si en la base de conocimiento tenemos alpha podemos derivar beta
  alpha y beta representan sentencias, no sólo símbolos proposicionales

• Reglas de inferencia
• Complejidad de la inferencia proposicional