没有反例的断言代表结论吗？

Question

因此，我创建了一堆Alloy签名，谓词和事实。我表达了很多关系。我用英语写了一些代表Alloy模型的陈述：

1. A是一个...

2. B是...

然后我创建一个Alloy断言。找不到反例。该断言的适当的英语陈述是什么？我相信该断言代表一个结论：

1. A是一个...

2. B是...

3. 因此，...

您同意吗？没有反例的Alloy声明是否代表结论（“因此”陈述）？

Answer 1

有两点使我不愿意调用断言，对于这两个反例，“结论”：

• 未找到反例的事实是，对反例的搜索是在有限的范围内进行的。通常，我想说的是，没有反例并不能证明所执行的范围之外的任何事情。至多它可以使该断言在更大范围内也同样适用。 / li>
• 根据您对结论的定义“ A因此B”。某种程度上暗示着A与B之间存在逻辑联系，事实与断言之间并非总是如此。如果我的主张是重言式怎么办？宣称：“我在模型中指定了这些事实，因此1 = 1”，会感到很奇怪吗？ ：-）