Last Updated：2025/11/22

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

precisely unless

Source Word

precisely unless

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

Japanese Meaning

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

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

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

Sense（1）

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