Что такое равносильность и эквивалентность в математике и логике