ejercicio 15

15. problema AgregarTemaSA( t: Tema , s: SA) {
requiere
¬ existe t'← temas(s), (nombres(t) == nombres (t')) y mismos(etiquetas(t), etiquetas(t'));
modifica s;
asegura (existe t' ← temas(pre(s)) ) TemasIguales( t, t') entonces pre(s) == s;
asegura ¬(existe t' ← temas(pre(s)) ) TemasIguales( t, t') entonces
mismos (temas(pre (s)) ++ [t] , temas (s)) y
mismos (etiquetas (pre(s)) ++ [e | e (tomado de)etiquetas (t) , ¬en (e, etiquetas(pre(s))] , etiquetas (s)
}