用量角器画角aob=90度 是命题吗