Утверждение без контрпримеров представляет собой заключение?

Question

Итак, я создаю кучу подписей, предикатов и фактов Alloy. Я выражаю много отношений. Я пишу на английском языке некоторые утверждения, представляющие модель Alloy:

1. А - это ...

2. B - это ...

Затем я создаю утверждение Alloy. Никаких контрпримеров не найдено. Что является подходящим английским утверждением для утверждения? Я считаю, что утверждение представляет собой вывод:

1. А - это ...

2. B - это ...

3. Следовательно, ...

Вы согласны? Представляет ли утверждение Alloy без контрпримеров заключение (утверждение «следовательно»)?

Answer 1

Есть два момента, которые мешали бы мне называть утверждение, для которого контрпримеры, где не найдены, «заключение»:

• Тот факт, что не было найдено контрпримеров, означает перспективу того, что поиск контрпримеров был выполнен в ограниченном объеме. В целом, я бы сказал, что отсутствие контрпримеров на самом деле ничего не доказывает из того объема, в котором оно выполняется. В большинстве случаев это может дать определенную степень уверенности в том, что утверждение действительно может иметь место и в более широком контексте.
• У вас определение заключения "А, следовательно, Б". Как-то подразумевается, что между А и В существует логическая связь, которая не всегда имеет место между фактами и утверждениями. Что если моё утверждение - тавтология? Не было бы странно утверждать: «Я указал эти факты в своей модели, поэтому 1 = 1»? : -)