等値のとうちの<とう'ち>　の

äquivalentLogikäquipollent