収束（論理）JJapedia 編集部|更新日: 2026年7月28日 数学、コンピュータサイエンス、論理学において、収束とは、異なる一連の変換が有限の時間内に結論に達する（変換が停止する）こと、および到達した結論はそこに至る経路とは独立している（合流する）という考え方です。 より正式には、項書き換え変換の順序付き集合は、合流性があり終了する場合に収束すると言われる。[1] 参照 論理的等価性 論理的等価性 置き換えのルール 参考文献 ^ フランツ・バーダー、トビアス・ニプコウ（1998年）。用語の書き換えとそのすべて。ケンブリッジ大学出版局。ISBN 0-521-77920-0。 ヴte ヴte 関連するトピック関連数学関連コンピュータサイエンス関連論理学関連停止する）こと、および到達した結論はそこに至る経路とは独立している（
