общая импликация

Мат. general implication