Lo correcto es lo segundo que dijiste, deberías considerar "Para TODA v: valuacion se cumple que v(α→pi) = v(pi∨¬β)", por la definición de equivalencia sí (técnicamente la definición dice "(α→pi) eq (pi∨¬β) sii (α→pi) <-> (pi∨¬β) es tautología", y de ser tautología se desprende el "para toda valuación").
¡Saludos!