同値 (どうち) — (logical) equivalence | Kumi Dictionary