如何用逻辑学给体育下定义