== De acordo com a semântica clássica ==
* '''Dualidade''' entre quantificadores<!--
--><p>[VIDEO]</p>
* '''Aninhamento''' de quantificadores<!--
--><p>[VIDEO]</p>
* Quantificadores de '''de contagem'''<!--
--><p>[VIDEO]</p>
* Quantificadores '''relativizados'''<!--
--><p>[VIDEO]</p>