Натуральное исчисление высказываний: схемы и примеры