logic - 不変量、トートロジーですか？

Question

そのため、アサーション Java API を読んでいるときに、不変条件という用語に出くわしました。私の理解では、ネット上の他の記事を読んだ後、不変条件はトートロジーです。私はそれを誤解しましたか？

Answer 1

プログラムが行うべきことと実際に行うことの違いを考えてみてください。プログラムが正しければ、すべてのアサーションはトートロジーです。プログラムに欠陥がある場合は、そうではありません。

Answer 2

トートロジーは、常に真であるステートメントです。不変条件は、特定のコンテキスト内で真であることを意図したステートメントです。

一部の不変条件はトートロジーではありません。たとえば、i各繰り返しに 1 を追加し、 のときに終了するプログラムされたループでは、ループの先頭でi=max不変条件のようなものを宣言できます。i < max条件は普遍的に真ではないため、これはトートロジーではありませiんmax。その意図は、特定の計算のコンテキストで特定のポイントに到達するたびに true になることです。

Answer 3

論理学では、トートロジーは、それ自体の定義によって真であるステートメントであり、したがって基本的に情報がありません。論理トートロジーは、引数またはステートメント内で循環推論を使用します。

不変条件とは、単に変化しないものです。