El SV y el predicado: Teoría y ejercicios