logical notation

英文釋義

  1. a notation used in logic.