logical implication - German English Dictionary