Закони і тотожності у логіці предикатів