en:discussion:la:propositional_calculus