Импликация (следование) в C++? — Хабр Q&A