Set of Logic Notations - Cuardach Físeáin