Логика и эквивалентность: как работает логический квадрат