be logically deducible from the proposition - Français Anglais Dictionnaire