Seol mar théacs é seo: Introducción a la lógica /