Traducir
propositional logic