Bere ondoren datorren proposizioa unibertsoaren elementu guztietarako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. ∀ du ikurra, eta guztiek, guztietarako, edozein edo bakoitza irakur daiteke.