logical notation

noun

1.
a notation used in logic.