совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания.