(n)logical notationa notation used in logic.