Основы алгебры логики: что такое импликация?