формальная импликация

Formal implication