The first operation, x → y, or Cxy, is called material implication.
第一种运算，x → y 或 Cxy，叫做实质蕴涵。