Changes

Jump to navigation Jump to search
423 bytes added ,  02:59, 26 September 2020
criando página
== De acordo com a semântica clássica ==

* '''Dualidade''' entre quantificadores<!--
--><p>[VIDEO]</p>
* '''Aninhamento''' de quantificadores<!--
--><p>[VIDEO]</p>
* Quantificadores de '''contagem'''<!--
--><p>[VIDEO]</p>
* Quantificadores '''relativizados'''<!--
--><p>[VIDEO]</p>

== Para reflexão ==

*

== Veja também ==

* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]

== Links externos ==

*

Navigation menu