V. Логическое равенство (эквивалентность).