일반논리학 중 동일률, 모순율에 관하여.

'소는 동물이 아닌 것이 아니다.'는 동일율에 해당하는 것이 아닌지 궁금해서 질문드립니다.

저 예시는 결국 '소는 동물이다.'로 성립하는게 아닌지 궁금합니다.