Pātuhitia tēnei: Lógica simbólica para informáticos