一道数学逻辑题(充分必要条件的知识)