Resumen-formulas-logica-de-proposiciones-y-de-predicados.pdf