precisely unless

接続詞

(mathematics, logic) implies a negative and is implied by a negative; i.e. B implies not-A and not-B implies A

日本語の意味

数学や論理学の文脈で、『precisely unless』は、命題Bが成立するなら命題Aは成立せず、命題Bが成立しないなら命題Aが成立する、という関係を表します。 / つまり、AはBの否定と同値という条件関係を意味します。

The algorithm terminates precisely unless it encounters a cycle in the state graph.

そのアルゴリズムは、状態グラフでサイクルに遭遇しない場合に限り終了します。

意味（1）

(mathematics, logic) implies a negative and is implied by a negative; i.e. B implies not-A and not-B implies A