Substitution fol - est-il possible de substituer deux variables les uns avec les autres? par exemple $ theta = {x / y, y / x } $?

Question

Soit $ c = m (p, x, y) Leftarrow m (q, x, z), m (r, z, y) $.

Est-il possible de faire la substitution suivante?

$ D = c theta $ où $ theta = {q / r, r / q } $ st $ d = m (p, x, y) Leftarrow m (r, x, z), m (q , Z, y) $