O свойстве немонотонности некоторых систем выводов классического исчисления высказываний