Interpretando: ├ como '"se deduce lógicamente de"' y ╞ como "'es consecuencia semántica de"'