Формулы логического закона достаточного основания: теория и примеры