U {x õ C | c| x} donde «||» designa la relación de implicación lógica o consecuencia. Por ejemplo, la proposición designada por la oración Juan fue donde Pedro para estudiar presupone que Juan y Pedro existen, que Juan y Pedro estudian, que Juan tenía el propósito de estudiar, etc. Y la misma proposición implica que Juan se movió, que Juan se dirigió donde Pedro, que Juan fue donde Pedro o fue de paseo, etc. En
LIN:124.15
EXISTIR.1 - Tener [algo o alguien] manifestación real