notacja logiczna
 
Encyklopedia PWN
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.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia