Seol mar théacs é seo: Lógica simbólica para quinto curso