notacja logiczna

notacja logiczna,

zbiór symboli, zastępujących zwłaszcza stałe i zmienne log., stosowanych zamiast wyrażeń mowy potocznej we wzorach logiki formalnej;

symbole zmiennych nazwowych mają zwykle postać wielkich liter alfabetu (A, B, C, ..., P, R itd.), zmienne zdaniowe są najczęściej oznaczane małymi literami (p, q, r itd.); n.l. jest stosowana w takich działach, jak: rachunek nazw, rachunek zdań, rachunek klas (zbiorów; zbiór), rachunek relacji, rachunek kwantyfikatorów, rachunek identyczności (tożsamość); we współczesnej n.l. używa się również wielu symboli zaczerpniętych z matematyki.