Логическая операция обоснования истинности какого либо суждения