Seol mar théacs é seo: Logika Matematika (Logika Proposional)