ej 1

template/templateTP.tex

@@ -38,6 +38,12 @@
 \end{problema}
 
 \begin{problema}{entrenarNuevoDeporte}{a: Atleta, d: Deporte, c: \ent}{}
+	\requiere{c \geq 0 \wedge c \leq 100}
+	\requiere{\neg (a(d,deporte(a)))}
+	\modifica{a}
+	\asegura{mismos(deportes(a),deportes(pre(a))}
+	\asegura{ordenada(deportes(a))}
+	\asegura{capacidad(a,d)==c}
 \end{problema}