Enviar aquest missatge de text: A Couple of Novelties in the Propositional Calculus