Реферат. Опосередковані дедуктивні умовиводи.