weakened implication

Мат. ослабленная импликация