As relações lógicas nas proposições podem ser ocasionadas pelos quantificadores todo e algum e a negação nenhum. Assim, quando se diz que "não é verdade que toda criança está na escola", é possível afirmar que
nenhuma criança está na escola.
não existe criança que esteja na escola.
pelo menos uma criança não está na escola.
não é verdade que alguma criança esteja fora escola.