Logica-Proposicional-MDL2.pdf