Dado $y \in \text{dom}(\dot{x})$, $\dot{v}(y)=\dot{x}(y)|\psi(y)|\leq |y \in \dot{x}||\psi(y)|=|y \in \dot{x}\wedge \psi(y)|$. Logo $|\forall y (y \in \dot{v} \Longrightarrow y \in \dot{x} \wedge \psi(y))|= \inf_{y \in \text{dom}(\dot{v})} (\dot{v}(y)\Longrightarrow |y \in \dot{x} \wedge \psi(y)|)=1$.