Вопрос не школьный, но типа вдруг кто
это логика
как эквиваленцию в натуральном выводе считать? просчитывать следование одного высказывания из второго и второго из первого или я что-то не так понимаю? (вполне возможно, что я путаю с определением отношения эквивалентности в клв, но вроде и по самой операции посмотрел)