Words: logical notation
Part of speech: n
Definition: a notation used in logic.