prawdziwa, ani fałszywa. Natomiast prawdą jest, że dla wszelkich podstawień nazw na miejsce zmiennej x w tej funkcji powstawać będą jedynie zdania prawdziwe. Dla oznaczenia tej właściwości pewnej funkcji zdaniowej ze zmiennymi nazwowymi używa się w logice znaku zwanego kwantyfikatorem ogólnym, odnoszonym do zmiennej czy zmiennych występujących w danej funkcji. Kwantyfikator ogólny odnoszony do zmiennej x zapisuje się w postaci %x albo = x, (x) . Prawdą jest więc, że:<br>%x : Jeśli x jest żółte, to x jest kolorowe,<br>natomiast nie jest prawdą, że:<br>%x : Jeśli x jest kolorowe, to x jest żółte,<br>bo może być przecież tak, że pewien przedmiot jest kolorowy