Calculo proposicional en Wikipedia

Seria bueno que le dieran una mirada a la entrada en Wikipedia (para quienes no lo conocen, es una especie de enciclopedia en internet, que la gente puede actualizar y hacer aportes directamente) sobre calculo proposicional. Se daran cuenta que presenta algunas diferencias con repecto al sistema presentado en clase, pero traten de mirar que los axiomas faltantes se pueden deducir.

La direccion de dicha entrada es http://en.wikipedia.org/wiki/Propositional_calculus