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