Аксиомы и правила вывода - Студопедия Правило построения отрицания высказываний содержащих кванторы примеры