提问人：JTruant 提问时间：11/10/2023 最后编辑：JTruant 更新时间：11/10/2023 访问量：8
布尔否定的大步语义推理规则
Big-Step Semantic Inference Rules for Boolean Negation
问：
我正在为一个简单的命令式语言使用以下大步骤语义规则：
我想为这种命令式语言添加布尔否定的推理规则。 为此，我提出了以下两个推理规则：
这些推理规则是否在语言中正确地实现了布尔否定？这些规则是否完整？如果没有，缺少什么？
答： 暂无答案
评论