be logically deducible from the proposition - Alemán Inglés Diccionario