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