Seol mar théacs é seo: Introducción al simbolismo lógico