Закон формальной логики, в соответствии с которым предмет суждения должен оставаться тождественным самому себе в этом суждении. Если А, то А, или А = А., называется законом ______________ .