см. Импликация.





Ссылка на выделенный текст