Pātuhitia tēnei: Lógica de enunciados