>>144
論理式 D(x,y)∧D(x,z) を C(x,y,z) で表すとすると

C(x,y,z)∧(∀u(C(u,y,z)⇒D(u,x)))