(log.) skrótowe, symboliczne wyrażenie używane w zastępstwie zwrotów: "dla każdego x" (k. ogólny) i "dla pewnego x" lub "istnieje takie x, że..." (k. szczegółowy); termin k. wprowadził 1885 Ch.S. Peirce.
ZDAŃ RACHUNEK, PEIRCE, KWANTYFIKATORÓW RACHUNEK, LOGIKA FORMALNA, FREGE Gottlob, MOSTOWSKI, BOLZANO Bernard
- KWANTYFIKATORÓW RACHUNEK, rachunek predykatów,...
- NOTACJA LOGICZNA, zbiór symboli stosowanych...