没有反例的断言就代表结论

Question

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

1. A是一个。。。

2. B是。。。

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

1. A是一个。。。

2. B是。。。

3. 因此。。。

你同意吗？没有反例的Alloy断言是否代表结论("因此"语句(？

Answer 1

有两点会阻止我调用断言，对于那些没有找到反例的断言，"结论"：

• 没有发现反例的事实是为了正确看待反例的搜索范围有限的事实。总的来说，我想说的是，缺乏反例并不能真正证明任何超出其适用范围的东西。至多，这可能会给人一定程度的信心，即该断言确实可以在更广泛的范围内适用
• 根据你对结论的定义，"A因此B"。这在某种程度上暗示了a和B之间存在逻辑联系，但事实和断言之间并不总是如此。如果我的断言是同义反复呢？声称："我在我的模型中指定了这些事实，因此1=1"不是很奇怪吗？：-(