判断命题真假 若A真包含于B且C包含B,则A真包含于C