「原因結果グラフ」で、原因Aが真であれば、結果Bが必ず真になる論理関係を何と呼ぶか。

原因と結果が1対1で連動する最も基本的な関係を恒等と呼ぶ。