Логика как наука о законах и формах правильного вывода и количественной семантик Закон достаточного основания в логике примеры