- логічна форма встановлення істинності будь-якого су­дження на підставі інших суджень, істинність яких перевірена практикою.