relation of implication

Мат. отношение импликации