Pātuhitia tēnei: Problemas y resoluciones de lógica formal 1 /