Pātuhitia tēnei: Lógica simbólica