Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик