Совокупность логических приемов обоснования истинности какого-либо утверждения называется …