Pātuhitia tēnei: Elementos de lógica formal