腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
搜索
关闭
文章
问答
视频
开发者手册
(1)
清单
用户
专栏
沙龙
1 条“forall” 相关内容
Erlang
stdlib
sofs
sofs
句子用逻辑运算符“对某些”(或“存在”),“
forall
”,“and”,“or”,“not”来表示。如果包含所有指定元素的集合的存在是已知的(在本模块中总是如此),这表示为B={x:S(x)}。
领券