general implication

Мат. общая импликация