（三）算子、量词的对偶和否定