Wyrażenie "dla każdego" (lub "każdy", "dowolny", itp.) nazywamy kwantyfikatorem ogólnym

(lub kwantyfikatorem dużym) i zapisujemy   

Wyrażenie "istnieje" (lub "pewien", itp.) nazywamy  kwantyfikatorem szczegółowym

(lub kwantyfikatorem małym) i zapisujemy   

 zdanie prawdziwe   

Zaprzeczenie zdania:        

 zdanie fałszywe 

Zaprzeczenie zdania:   

 zdanie prawdziwe (np. x=1)

Zaprzeczenie zdania:   

 zdanie fałszywe

Zaprzeczenie zdania:   

 zdanie fałszywe (np. x=-1)

Zaprzeczenie zdania:   

 zdanie prawdziwe

Zaprzeczenie zdania: