Pātuhitia tēnei: Lógica simbólica: una breve introducción