Logica-formal.pdf