>>16　少し細く
「あれ＝犬」と認めるのが肯定で、
「あれ≠犬」と認めるのが、「あれ＝犬」に対する否定だといういいかたがあるというだけのことです。