是。马”是主语，“动物”是谓语，因此“马都是动物”和“所有白马都是动物”都具有相同的主语和谓语，因此是同一律。“同一律”是一种逻辑推理规则，是指两个命题都具有相同的主语和谓语，那么就是同一律。