x本科数理逻辑-命题3-15