Традиционная логика

ЗАКОН СУЖДЕНИЯ ТОЖДЕСТВА

суждение тождества истинно тогда и только тогда, когда суждения, его образующие, имеют одинаковое логическое значение.